{
  rev = "bae83ee4e31a4daeb9ecfd069153003c8612e026";
  sha256 = "17iqf7d345sii7yw31rf7gns1w3fmyz3fs3lw31xgwajz9xkjdr0";
  revdate = "2019-09-19T21:07:38Z";
}