{
  rev = "54f385241e6649128ba963c10314942d73245479";
  sha256 = "0bd4v8v4xcdbaiaa59yqprnc6dkb9jv12mb0h5xz7b51687ygh9l";
  revdate = "2019-08-23T15:05:01Z";
}