{
  rev = "a60a0a468cddeb2de8cb83264e1874ab3f46fbd5";
  sha256 = "1d8sjl4yfavynhcg9j7ckzmpf43cwapxd1r54njzizx8y5a4idva";
  revdate = "2019-09-17T20:48:18Z";
}