TIMESTAMP = 1663903388
SHA256 (ginac-1.8.4.tar.bz2) = 27ce16aedfe74651b223bdb9246c00596b7ff9bf727a0d3a473f467000dac492
SIZE (ginac-1.8.4.tar.bz2) = 1151539
