{
  rev = "58b2584863201f32d1a4770a1d5cde5e57b300c6";
  sha256 = "1i2jy7mygaqq7dh394v9acgb54nkm9lhq8ka7bd4yyqq5851b9sd";
  revdate = "2019-08-08T23:34:59Z";
}