{
  rev = "91c0c4a943342ddc7fbed0777a654ac2b83185ca";
  sha256 = "1v394jxhvpkk9c9kl5lmanbhyj3wag9bpmqa6qz8gx92xn7ns9dm";
  revdate = "2019-08-07T23:53:59Z";
}