TIMESTAMP = 1676175413
SHA256 (ginac-1.8.6.tar.bz2) = 00b320b1116cae5b7b43364dbffb7912471d171f484d82764605d715858d975b
SIZE (ginac-1.8.6.tar.bz2) = 1152914
