Package: minizinc Version: 2.8.3+dfsg1-1 Severity: normal -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512
Upstream is at 2.8.5, and there is a number of bugfixes in newer releases. https://github.com/MiniZinc/libminizinc/issues/833#event-13924659991 Question: minizinc is built with assertions. Is that intentional? Suggesion: could you please either add the salsa link in debian package, or move the repo hosting the packaging to salsa? (Also, or-tools needs a rebuild, it is uninstallable.) Roman. - -- System Information: Debian Release: trixie/sid APT prefers unstable APT policy: (990, 'unstable'), (500, 'unstable-debug'), (1, 'experimental-debug'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 6.10.4-amd64 (SMP w/32 CPU threads; PREEMPT) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages minizinc depends on: ii chuffed-flatzinc 0.13.1-1+b1 ii flatzinc 6.2.0-5.1+b1 ii jq 1.7.1-3 ii libc6 2.39-7 ii libgcc-s1 14.2.0-2 ii libgecode49t64 6.2.0-5.1+b1 ii libgecodegist49t64 6.2.0-5.1+b1 ii libstdc++6 14.2.0-2 ii python3-demjson 3.0.5-1 minizinc recommends no packages. minizinc suggests no packages. - -- no debconf information -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEE+UikBxeiu50LOdFYgbqkFMWfZdAFAmbCzlQACgkQgbqkFMWf ZdBPOw//fafo8qWI7BzcWGIQxMh0knitkKcmKh3RaE4PEcOjanP7xLa34U62Fyqo k6Ll+GpTwWNsUdFOF9NdVSP0xuiI/Ob1JhNHJIsmvdsVFgxQfQbUd5ApTMiuP2uH gRfPHMiRBKQyGIdX9cCHcfLSbqOxrRXfPb1UtxB9W+sjDyt40Qp7zFSGk+EaYJBb UL5Gs52yaedf/fqBNlCQZihDM+BJgxVB7nSUBhBHSDZYmp3KAUDUYSzkR8k2APUL mWf26MlaeB4fQowI4CZFJxAxy3L/Tancks7LJ8UY3gnJw/5ioG7CyBp2jD8HFbNN 96JUFk34+1o2x+Gm1V384Pxw6bEjZg/zwcTnbZy4hnWVT8ytre9wG514leOH4uZm Gss1QwduJ3mgL/FE17YokBMOZRgLKK9P7FK25tLtTu2/xbUq08V8Xndh0RpU0mfF 3ZqZ7mxBCoQJDkuARC4xPycK3T/3IlebslGPifTmA59i7BvyqFGHkKNcs7ZRi/tM U3KZCyHuTPs40xvYCOZ7/2O80/Mg/7f9OuKy8Uky6vj8r3raCzcAt0kB1+Pm5E+5 TAt+C5Xwhrc/Dn8DHoNtQ9NSG+tnQs3TCpmg53SzY8y5pVzGs5rk8AC0cziKWDH4 qDCI/BCL2GZY4LHdkVZtJulFhevCAsWgxs5lw5EWzCGMR0z9E64= =d0Ih -----END PGP SIGNATURE-----