{
  rev = "dd6f49522c7f6f4a303d9318cddf67ff38829b0a";
  sha256 = "1b0q52vm02300zdn4gnrz9ivhsra3iirp58r66d8hg271cpgd8ds";
  revdate = "2019-05-10T12:27:14Z";
}