{
  rev = "bed7b707f24613dae334de6e7bd8f4e3313fa249";
  sha256 = "1yvw9233fmhc89xqlxliy7nq612gg5z6kgr6jkagdvclkmg5jmzz";
  revdate = "2019-06-19T22:09:41Z";
}