SHA256 (ginac-1.7.2.tar.bz2) = JLdbYcXLJyU041s/LP1k8FOyiu50Aq9LDlaexN4h2Lc=
SIZE (ginac-1.7.2.tar.bz2) = 1056339
