TIMESTAMP = 1648058481
SHA256 (MiniZinc-libminizinc-2.6.2_GH0.tar.gz) = 0893bb0d37336fdc75c5f8864135e1abc571af422df9fbd41432776cedd3ebbc
SIZE (MiniZinc-libminizinc-2.6.2_GH0.tar.gz) = 12965958
