{
  rev = "de33c437759e4f127ccc02ba2b8d520e23af9afe";
  sha256 = "0p12qg910rrl3gfqj363jwijji6w9fa1myldzznx6ffcnd1nqriy";
  revdate = "2019-10-26T12:52:03Z";
}