{
  rev = "22669edadb8ff3478bdb51ddc140ef6e61e3d9ef";
  sha256 = "127k5i98km6mh8yw4vf8n44b29kc3n0169xpkdh7yr0rhv6n9cdl";
  revdate = "2019-10-26T20:56:01Z";
}