{
  rev = "7a2dee73770131ab9cf0d049972d8956807950b3";
  sha256 = "0rfi58gr0gjcz1sxcsdzf2vqq74bpd6wx37w72258w6wl351dig9";
  revdate = "2019-07-15T11:38:23Z";
}