{
  rev = "a085e6495c79d36c0cb578f3f7f667a73d83bfd8";
  sha256 = "00f88j566lzj3cvr2y77wpiijv32dfrj3zsbfs3pv7dlka86dwqf";
  revdate = "2019-09-12T11:56:36Z";
}