TIMESTAMP = 1727939911
SHA256 (MiniZinc-MiniZincIDE-2.8.7_GH0.tar.gz) = 9c50315557e5ad1214e6274b76a58467e5276df97da8146370de4567f4fdee97
SIZE (MiniZinc-MiniZincIDE-2.8.7_GH0.tar.gz) = 835185
SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 9534c07bdc76c030bcb036a97902983e5b3d81775615b4427f41bae799f85128
SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5217