{
  rev = "32265d913653c81e54e8e17d4511aab9d4dfc73a";
  sha256 = "01dbh1x200llgqagkb0s3imb9gjppqz19v11kaqbvhirv8nbhvrv";
  revdate = "2019-07-09T15:50:02Z";
}