TIMESTAMP = 1648141792
SHA256 (ginac-1.8.3.tar.bz2) = 77c71a586adf6fc0b5dab573434f30cff1579153cd77c6eba02292e178f7a490
SIZE (ginac-1.8.3.tar.bz2) = 1144324
