{
  rev = "833624fdcd610a9aea911a3e9cc30b13eac48691";
  sha256 = "162k8hlgn9dicgca4nsi11hlcmc5iws5bmfpd1i52gxdi02hzifb";
  revdate = "2019-10-08T13:00:38Z";
}