TIMESTAMP = 1706892856
SHA256 (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 151ec26165abfb13d709d89be92b3f9bbb5ba3873b8ecf9d88ac15f31042628f
SIZE (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 8029275