TIMESTAMP = 1616977123
SHA256 (MiniZinc-libminizinc-2.5.5_GH0.tar.gz) = c6c81fa8bdc2d7f8c8d851e5a4b936109f5d996abd8c6f809539f753581c6288
SIZE (MiniZinc-libminizinc-2.5.5_GH0.tar.gz) = 12593468