TIMESTAMP = 1736134935
SHA256 (ginac-1.8.8.tar.bz2) = 330f57d0ed79dbd8f9c46ca4b408439b8b30e2ea061e3672d904c5dab94ecad6
SIZE (ginac-1.8.8.tar.bz2) = 1154686
