TIMESTAMP = 1792573070
SHA256 (asymptote-3.12.src.tgz) = eaec1e97463ef213a393c388d466a73478b0818f9403c962b91240659c9b8f1b
SIZE (asymptote-3.12.src.tgz) = 28607113
SHA256 (904bc6a85f3d5874aca688b30fea1f2ae7ed436a.patch) = 57cf2ded8fb19b71256c7927ae61533dc3bd12d51c94fbc4ff628dd91ff0f09d
SIZE (904bc6a85f3d5874aca688b30fea1f2ae7ed436a.patch) = 1263
