{
  rev = "374e70978e2e3619aef82d56c974ed32ee1cfb7c";
  sha256 = "0sskqb5hlwcbpcjvfgxr61qzn5gq74aim6y8f676n5512414bd40";
  revdate = "2019-08-15T13:29:52Z";
}