{
  rev = "733b5bef31f89cec092197961a1ef89a26fe1ee8";
  sha256 = "03r9cwr78jjdxyrd7jzs97q913gqmgzd6qx21fa5xkckaz4nppky";
  revdate = "2019-10-27T18:43:06Z";
}