TIMESTAMP = 1606629815
SHA256 (MiniZinc-libminizinc-2.5.3_GH0.tar.gz) = 07982723009fcb50ae190bf17277e8c91e6279f319521f571d253ba27e2c2b1b
SIZE (MiniZinc-libminizinc-2.5.3_GH0.tar.gz) = 12586537
