{
  rev = "b94e80c3464aabac61d594ff4b0273ffacd94127";
  sha256 = "1j0q6ri5zvh4phhxhng2cdgnjag7am8l7rx7i84i8pmk9sl65w3g";
  revdate = "2019-09-10T12:26:45Z";
}