{
  rev = "4cd2cb43fb3a87f48c1e10bb65aee99d8f24cb9d";
  sha256 = "1d6rmq67kdg5gmk94wx2774qw89nvbhy6g1f2lms3c9ph37hways";
  revdate = "2019-10-23T18:19:15Z";
}