{
  rev = "cdab5c9a42b27bb7e0e7894bbd2675637a06ad7e";
  sha256 = "1di4qscrmx9npkr1d5jk97a2z2hxfy53l4sc0qy1saz8kgfjv797";
  revdate = "2019-08-01T17:25:04Z";
}