{
  rev = "c4196cca9acd1c51f62baf10fcbe34373e330bb3";
  sha256 = "0jsisiw8yckq96r5rgdmkrl3a7y9vg9ivpw12h11m8w6rxsfn5m5";
  revdate = "2019-09-15T21:40:11Z";
}