{
  rev = "69fbe1b68274600f799cdbb16fe5948465d9a0da";
  sha256 = "0jk5zb1pyfawhf0g9ki411zjvk0xp4dzri76na4xfi7k1jxks1a4";
  revdate = "2019-10-04T19:18:16Z";
}