{
  rev = "e3a3917d3afb66fc8ba3eebb7aed603d3b7ce844";
  sha256 = "1f38jr70w6mjbjfqx8krywqwqasjrr2psn23gyjldjsldc4mdwc8";
  revdate = "2019-07-14T15:13:55Z";
}