TIMESTAMP = 1596594247
SHA256 (ginac-1.7.11.tar.bz2) = 96529ddef6ae9788aca0093f4b85fc4e34318bc6704e628e6423ab5a92dfe929
SIZE (ginac-1.7.11.tar.bz2) = 1077491