TIMESTAMP = 1789676843
SHA256 (MiniZinc-libminizinc-2.10.1_GH0.tar.gz) = 089ea94698cea94ed8396be77559b82d828437a808f5e37d10bccc9f1d39dd33
SIZE (MiniZinc-libminizinc-2.10.1_GH0.tar.gz) = 8571096