TIMESTAMP = 1581692950
SHA256 (Normaliz-Normaliz-v3.8.4_GH0.tar.gz) = 4aa76a4b367dc37c808e4e376ed5e875f5ad2c211a948c101e8b02a485fb4915
SIZE (Normaliz-Normaliz-v3.8.4_GH0.tar.gz) = 8005040