{
  rev = "420d0d534c9f03abc4d634a7d3d7629caf29b4b6";
  sha256 = "12dwb96i4pbny5s64k6k4f8k936xa41zvcjhv54wv0ax471ymls7";
  revdate = "2018-11-07T20:03:51Z";
}