TIMESTAMP = 1629405569
SHA256 (ginac-1.8.1.tar.bz2) = f1695dbd6b187061ef3fba507648c9d6dba438f733b058c16f9278cbdcf5e1ab
SIZE (ginac-1.8.1.tar.bz2) = 1128166