{
  rev = "6c0ed987eeda0e5ea0891878988d652f4b7b3ef0";
  sha256 = "1arhswjcvflr52ax471hl4m7dyk5xr1da0638rn6ivan5m6k11ii";
  revdate = "2019-07-19T17:40:33Z";
}