{
  rev = "20ab054b11d20c6d0da63917998af00c2f96d7c3";
  sha256 = "088122f9qnls1h3r5pzp80aiq149pks95ywzf72x2mqv6b33qp62";
  revdate = "2019-08-05T20:58:22Z";
}