{
  rev = "67ad0e69ce2210a6bd2363314600ead779b31c6a";
  sha256 = "1b4x4i0d2vj4q53rsbpr3pij56yxqhkgqa56hc0s6s310gyyacbk";
  revdate = "2019-07-04T12:20:03Z";
}