{
  rev = "b4d785cf390033ee0839ef7b374e8edd554f6f9e";
  sha256 = "1zars2pdh6wr4vizpwnm9wvcn4f12yipdbmkjm0q677zqzdqk2jj";
  revdate = "2019-10-08T16:42:40Z";
}