{
  rev = "bf6d462fb1c128ec7062e2901e76f4259bc5b1f6";
  sha256 = "06yhwhhw31sa105xaiw6l4ccnlyplfngazbb1fish7b275snd6qr";
  revdate = "2019-10-25T15:44:01Z";
}