{
  rev = "7f7ebb5367751c9c6eb82226c9168cf6e809d16c";
  sha256 = "0rm3n8466x6s9jgsjb1xnks9lz3v9a9d7s7l1rxabxmw619cpk1l";
  revdate = "2019-10-19T15:19:35Z";
}