TIMESTAMP = 1782735638
SHA256 (asymptote-3.12.src.tgz) = eaec1e97463ef213a393c388d466a73478b0818f9403c962b91240659c9b8f1b
SIZE (asymptote-3.12.src.tgz) = 28607113