Your message dated Sun, 23 Aug 2026 09:04:37 +0000
with message-id <[email protected]>
and subject line Bug#1138584: fixed in minizinc-ide 2.10.0-1
has caused the Debian Bug report #1138584,
regarding minizinc-ide: Unnecessary Build-Depends: qtwebengine5-dev
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1138584: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1138584
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: minizinc-ide
Version: 2.8.5-1
Severity: normal
Since v2.6.0, qtwebengine5-dev is no longer used during build.
Please remove the B-D.
--- End Message ---
--- Begin Message ---
Source: minizinc-ide
Source-Version: 2.10.0-1
Done: Kari Pahula <[email protected]>
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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Kari Pahula <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
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 <[email protected]>
Changed-By: Kari Pahula <[email protected]>
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-----
pgpmAugDR4UYs.pgp
Description: PGP signature
--- End Message ---
