{
  rev = "e19f48d1e4cea6bbb8998466553fffda4bd13251";
  sha256 = "0hpxajrylwlcrpv645rbm6xbda9sgiy7b8bg2ayrjl8llf32gvms";
  revdate = "2019-08-19T14:35:30Z";
}