TIMESTAMP = 1656370768
SHA256 (MiniZinc-libminizinc-2.6.4_GH0.tar.gz) = f1f5adba23c749ddfdb2420e797d7ff46e72b843850529978f867583dbc599ca
SIZE (MiniZinc-libminizinc-2.6.4_GH0.tar.gz) = 12975175