{
  rev = "a3d3d13a017d4a5b461311d6d477e94b36f29990";
  sha256 = "0d81kl7bywg60s1z61q7qa505qrqd2api1rhgjavpv1a577fspnc";
  revdate = "2019-10-05T01:27:27Z";
}