{
  rev = "a7a71bfa8261df6671b1a701e4dac3f106bb46ea";
  sha256 = "07pbgn371z5w557jm6qgfljmh5106fbn7amvyrrhh2xsc2c6q85h";
  revdate = "2019-07-11T05:29:27Z";
}