{
  rev = "9752f420ffb1dd8b9cbc692d9f90cbe2cca343d9";
  sha256 = "1ng0xc4bmpd7krysfdn3hcwsmfdmzj9ij8hbbsnccq8lh9h1ksnd";
  revdate = "2019-07-01T15:33:04Z";
}