{
  rev = "188243bc9ed0d3bca8e9309d5387ee7d12b375f3";
  sha256 = "1jz46k4jdm2jsimnkhsninjfnvx2fz6c74svsp1rr1hal65g3l6l";
  revdate = "2019-07-09T19:04:38Z";
}