{
  rev = "e97c2c3639119831ced4f6b9f704b096c2075973";
  sha256 = "000f96pf9n8mmq11gj8yhbc56z80g79ccla2and5wk8gg47nblix";
  revdate = "2019-10-23T09:36:50Z";
}