{
  rev = "e0f382af842f88adbf728a9c370195e566a883e8";
  sha256 = "0qavm6hc1zcz7hb1c6d4jn3vagjyjirshzb4gsx02ni85iqz58wm";
  revdate = "2019-08-23T22:18:25Z";
}