{
  rev = "e9b6380c1893d686992e0789d1dedc97f30ef779";
  sha256 = "15biyr422s5f2csw395fz9cikir9wffdwqq8y0i6ayzpymzsqbzs";
  revdate = "2019-08-08T10:25:31Z";
}