{
  rev = "707f4293667d4d8564ab0afc13128463c2ee7fd5";
  sha256 = "0dlnavim0qr607zknzrf1z2h2v8a6d3rqkrhysacg6p6ng2gk96r";
  revdate = "2019-06-30T16:04:09Z";
}