{
  rev = "426338a39e5bc228e3b585a615a6b6f06e8f2d17";
  sha256 = "05qi96j58xqxjiighay1d39rfanxcpn6vlynj23mb5dymxvlaq9n";
  revdate = "2019-07-11T14:18:46Z";
}