{
  rev = "1a253ca7ab123619bcf02e1503fd9a47d2c433e9";
  sha256 = "0gfbfn2l1hsalvxn201h55wfqk854ddd7r86c2xa5vkiw7qsn57h";
  revdate = "2019-10-27T15:07:48Z";
}