{
  rev = "7818f30cc4b6b282ecd361a5e62d1c99ec8c0c78";
  sha256 = "13dvckd0c8q2739p4nygh9v8b2h57796kq7jwpi4bqx6h6hibi84";
  revdate = "2019-10-13T08:21:49Z";
}