TIMESTAMP = 1747415145
SHA256 (ginac-1.8.9.tar.bz2) = 6cfd46cf4e373690e12d16b772d7aed0f5c433da8c7ecd2477f2e736483bb439
SIZE (ginac-1.8.9.tar.bz2) = 1173214