{
  rev = "b5f5c97f7d67a99b67731a8cfd3926f163c11857";
  sha256 = "1m9xb3z3jxh0xirdnik11z4hw95bzdz7a4p3ab7y392345jk1wgm";
  revdate = "2019-07-24T23:57:18Z";
}