{
  rev = "9d0842db484a9adf734bea3254f4ed400bc7113e";
  sha256 = "1ak8hfhz0bn7a5miq0p72csqr9zq0zw6i3zbk7cca6pi3wwk5blg";
  revdate = "2019-08-19T08:00:30Z";
}