{
  rev = "b506acd5fd77d0e553f0d8d43aaa620ae317d7e4";
  sha256 = "03f86c6qfvfqmciaypfn9af5bljhrag2zlxdqh3s8wfa8mlp9497";
  revdate = "2019-08-06T15:33:51Z";
}