TIMESTAMP = 1601134257
SHA256 (asymptote-2.67.src.tgz) = 8a1e574b81140b3fc1f5be659468bf90a313255a5a548ddd9fd11d4155e72d9b
SIZE (asymptote-2.67.src.tgz) = 4668696