TIMESTAMP = 1658909077
SHA256 (asymptote-2.81.src.tgz) = 768eba48c877373a810d991d482f88480643291aae68fa2abc3aa3d5a7ed0073
SIZE (asymptote-2.81.src.tgz) = 15062426
SHA256 (fa28442195bd99b9bac87e3ff752953ac57ee172.patch) = 88d733ec69d5c0b03a866ef20d4e6f3cf308ebd048143d2ce34dcaaaf1fa357b
SIZE (fa28442195bd99b9bac87e3ff752953ac57ee172.patch) = 667