{
  rev = "d98a165de78027202b8b12521bae472a6a47741d";
  sha256 = "0vy4wm8k0i6hmsxiwqknxwsinms42x4yzdj72ymd1ip8y1na6sga";
  revdate = "2019-07-02T12:38:07Z";
}