TIMESTAMP = 1789678310
SHA256 (MiniZinc-MiniZincIDE-2.10.1_GH0.tar.gz) = 6a9cf6acbf569f5c7624af754315888c035a1b926dbeefb28a4dfa135886ea22
SIZE (MiniZinc-MiniZincIDE-2.10.1_GH0.tar.gz) = 865948
