{
  rev = "bef773ed53f3d535792d7d7ff3ea50a3deeb1cdd";
  sha256 = "0jhkh6gjdfwk398lkmzb16dgg6h6xyq5l7bh3sa3iw46byfk5i16";
  revdate = "2019-09-29T08:27:14Z";
}