{
  rev = "d1188a91030a1b03ebf890c00f0f5e8d52c050ac";
  sha256 = "00vcz7wlm5qn29xjq90s22rkrc2kw8g5ca8mgz3hxazgns4xgf55";
  revdate = "2019-06-04T15:46:59Z";
}