gecode-flatzinc_6.2.0+git20240207-2_amd64.deb
gecode-flatzinc_6.2.0+git20240207-2_arm64.deb