{
  rev = "d567c486ca5ac5f0c83bb0264c325204a479a5bb";
  sha256 = "11v6bp26nprrv5gncf6iyvviajdm72zvn2gdk0ww0y5y0lzpz00s";
  revdate = "2019-07-06T07:41:40Z";
}