{
  rev = "c32580e04d0ebc93dbd439f77a2158b96cdc8dce";
  sha256 = "100b78wvnb3qwd2lrhnh5d0llvn71lfjpkjryry5gbz5v20a63z7";
  revdate = "2019-10-07T21:06:02Z";
}