TIMESTAMP = 1717466106
SHA256 (MiniZinc-libminizinc-2.8.5_GH0.tar.gz) = cd8aa35532191864ba5a79f8755e0e24c329b1b887305f89d5f7b33eca9f96db
SIZE (MiniZinc-libminizinc-2.8.5_GH0.tar.gz) = 8050297
