{
  rev = "bb056174146ae01448e0281ea204d2ddd60ebe3c";
  sha256 = "1cfsrp2yarpqs101n0fg0vwml60gf9zp62xpsz9r8pjbpyip5snf";
  revdate = "2019-07-18T01:00:09Z";
}