{
  rev = "225a2623911af45d94a8c7f0b1278d67dec165b8";
  sha256 = "06zr6ixs75maq70g6cphacwnhx8rq19572jh6j3h66zf7ym9glxg";
  revdate = "2019-07-18T09:13:32Z";
}