TIMESTAMP = 1515624929
SHA256 (pari-2.9.4.tar.gz) = 4f9cdc739630a039c0fcc9afac2e5647659c4a709dcc6f7a69d5908cd4a82647
SIZE (pari-2.9.4.tar.gz) = 3851772
