{
  rev = "d4a3c5ba156bf73d9884dd8b4f6f609b14980659";
  sha256 = "0rw3d53x31mf64lxa0pn812q735rs70h34rn4yj5s7j0iwizac33";
  revdate = "2019-08-13T06:00:03Z";
}