TIMESTAMP = 1703218580
SHA256 (MiniZinc-libminizinc-2.8.2_GH0.tar.gz) = e8b5c037e1d9711803e05ef6eaf416d5ed080f57cc0867d3c6ec3b1304bfd375
SIZE (MiniZinc-libminizinc-2.8.2_GH0.tar.gz) = 8026563
