{
  rev = "b1a7defa0087db7b984f568c79634316bb6bf1eb";
  sha256 = "0np5207884x98b318x2g1g2mvmvkmws68w5mpz7d034gyvkvd7a9";
  revdate = "2019-06-28T14:27:42Z";
}