{
  rev = "442298f329e007ca723779d3e248b8fbec151ec5";
  sha256 = "0vbpjnssg1r5vfz19p3wjylgvxz0l5ngd46ybb1zdc85wwxsg9rm";
  revdate = "2019-07-17T16:27:13Z";
}