TIMESTAMP = 1691956120
SHA256 (ginac-1.8.7.tar.bz2) = 71ff4f2d8a00e6f07ce8fee69b76dcc1ebbb727be6760b587c1fbb5ccf7b61ea
SIZE (ginac-1.8.7.tar.bz2) = 1153952
