{
  rev = "76ef089f52b20a2def3dd1f8a8564af165050dcb";
  sha256 = "1znzf6pj29d7yj6vp1g7fqkmjmn1bqlz3izf48b2q78xa1fnffyk";
  revdate = "2019-07-21T16:33:32Z";
}