{
  rev = "9233128b7c90537cb2157139a7ed1a3d0fbdfd8e";
  sha256 = "0g1v93dihx9rf0i8y4rv1hj0nlnd0ss8s3llj6ggh7l69sfhfbbx";
  revdate = "2019-10-05T20:43:09Z";
}