{
  rev = "72f4aa0e1fec3fdc4ac266937c3590dc1283485c";
  sha256 = "0fa6rx9322kx75idcfy6fhqxqyvjg0nn77pdsyf2jh67q6999608";
  revdate = "2019-08-22T06:00:43Z";
}