TIMESTAMP = 1727937266 SHA256 (MiniZinc-libminizinc-2.8.7_GH0.tar.gz) = 91413c9788d45eb77ecb1da9657c00744312cca4fd5e71ca2583c35a32a3be62 SIZE (MiniZinc-libminizinc-2.8.7_GH0.tar.gz) = 8059507