{
  rev = "533acbe679b2eb1abfcac31aa6bfadd5cffe265d";
  sha256 = "1bhzzzapf15z8b2h8cz6a0vzx8xl1jqaqv8b4mhm2h42vkah3zrx";
  revdate = "2019-10-12T19:58:05Z";
}