{
  rev = "480a31ea4e1a3aadbd053ee2a581cad5d4356876";
  sha256 = "1kvwi9yhb9r66bv6rygpxrpyh79ljg1zimk2qd36dk3mq96p8fz4";
  revdate = "2019-10-11T20:43:13Z";
}