TIMESTAMP = 1770836341
SHA256 (ginac-1.8.10.tar.bz2) = 6cac1973a5325de0b9bcb8e392988ae95fbc37aa66c0f1f1d3b8e64c08cec1b9
SIZE (ginac-1.8.10.tar.bz2) = 1517978
