{
  rev = "13076d0c10613e9ae73e61dd82b24ae9a6529667";
  sha256 = "0qb3nxm9af9xm5kbylglvv6hffiad78n8w4rar8bwdpk2nrgbpwd";
  revdate = "2019-07-24T16:38:20Z";
}