We believe that the bug you reported is fixed in the latest version of
minizinc-ide, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1136693@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Kari Pahula <kaol@debian.org> (supplier of updated minizinc-ide package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Sun, 23 Aug 2026 10:03:12 +0300
Source: minizinc-ide
Architecture: source
Version: 2.10.0-1
Distribution: unstable
Urgency: medium
Maintainer: Kari Pahula <kaol@debian.org>
Changed-By: Kari Pahula <kaol@debian.org>
Closes: 1136693 1138584
Changes:
minizinc-ide (2.10.0-1) unstable; urgency=medium
.
* New upstream release.
* Standards-Version 4.7.4.
* Remove priority field from debian/control.
* Replace debian/compat with a dependency on debhelper-compat (= 13).
* Bump debhelper dependency to (>= 13).
* Build with Qt6 and replace qt5-qmake dep with qmake6 (Closes: #1136693)
* Remove unneeded dep qtwebengine5-dev (Closes: #1138584)
* Bump libqt5websockets5-dev dep to qt6-websockets-dev.
* Use dh --buildsystem=qmake6 and drop dependency on qtchooser.
Checksums-Sha1:
35bbb87d20e62bd5296433080d0645ae07b7c367 1944 minizinc-ide_2.10.0-1.dsc
741d98cd0bf624276260e856ebc5315b2b14e602 835691 minizinc-ide_2.10.0.orig.tar.gz
63fc40c492374f809e9612226cf0302c5ae2fe74 9392 minizinc-ide_2.10.0-1.debian.tar.xz
ad9c918a82021b2113d06fb6b9d34835dd5624ff 11583 minizinc-ide_2.10.0-1_source.buildinfo
Checksums-Sha256:
a97838c2c8dfd0b9ca75a1f3bfa98be03120beedbe8f13498b297d433672750c 1944 minizinc-ide_2.10.0-1.dsc
a6a83499da3c14d548e9f6b066b4d571ee9d289748e80adfe82d7839f7be1759 835691 minizinc-ide_2.10.0.orig.tar.gz
e33b76a8a53896edfbc96cec45a94722d766cc979ccb23c60bd39ad65358b40e 9392 minizinc-ide_2.10.0-1.debian.tar.xz
2a6a1bcd7a482e4d4395448bf545182615c7ff3a2d4a1f64d876ac7f16d7002d 11583 minizinc-ide_2.10.0-1_source.buildinfo
Files:
ac0338af1091f480524248b5789e9ca0 1944 devel optional minizinc-ide_2.10.0-1.dsc
33193f3fa696bc179df1ddcdbc0b8e80 835691 devel optional minizinc-ide_2.10.0.orig.tar.gz
62fd8d806fe83370198e122545f5c37a 9392 devel optional minizinc-ide_2.10.0-1.debian.tar.xz
5196523c39b49aaeeb12110595167a57 11583 devel optional minizinc-ide_2.10.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAmqKsTYACgkQhAhn7p2P
JlzZZBAAj0fKl7f4o0NFFf5/WLVg+X5IAoOb4psMDackfPioWVtCtex5h+rKiE7/
AE1mmAs5Yqq9ASKbWK/UMBlNut+Z73FBI5iQG1MzHbgCxSSGf+c4sWPVjil/yKTD
HEY1VMUDmzxk35WzVFjnGTCpIWDsWExi3TxT1dy7z9f0Z7qzgob/TlpwuJFjs2r9
T/CvHiLeAmIgfiuabClvDN+x8NvzcglD1VUkhVB+klxjzzNLTBAVhtrFfYM8+GJi
QZX/SOxp7V97JPKcmIetVw+mSaPzXKu3DwfBByi2Cb9e/t9o13+OZuHG6/rjvUrC
lAgm3YL4lSzmmtrL0sgprEJRn/79BQtH6uoOK3S6d9UV+hfNwcqjq056lTPEEJt5
HZUDb3ILCx+Ik4GaZOQh4KOr/Esm7VcIxnTNN6ji6gf/mJUn5uYEgqaAjP0x/4wz
PY/OksEU2ryQ2DX483UKA5csMhiByw2nBuP/b/tuyChOH1rxY/Uc7n+5nbmxFsmN
fh/l+9RYWwzLlJ5Us4PiyI6Gnv4M7SbZCHWo1RFJzjy7BP8qqx8zM+2yah3xbtsv
CGEazkbrYnL+cUs5nJeHErIQeIhRdS+Dwks0b4dvAszvRzvuVx8WWUvVYKY2LL/G
SuqWRRNBUah/rgVUBGBHjehyxs2aGX3zVqZ/GGrDoskjfQ67MbQ=
=Z3+t
-----END PGP SIGNATURE-----