{
  rev = "724926ea6ae119956dc7b1e39c2e30c1e3657676";
  sha256 = "1aprrnhr4j1dlm2cj8c1vrpkj9hz473nb9rf2qkgcvl7kr3vmmhd";
  revdate = "2019-08-07T07:25:37Z";
}