{
  rev = "d484f2b7fc0834a068e8ace851faa449a03963f5";
  sha256 = "0jk93ikryi2hqc30l2n5i4vlgmklrlzb8cf7b3sg1q3k70q344jn";
  revdate = "2019-09-20T20:58:43Z";
}