Your message dated Tue, 27 Aug 2024 04:34:21 +0000
with message-id <[email protected]>
and subject line Bug#1079024: fixed in minizinc 2.8.5+dfsg1-1
has caused the Debian Bug report #1079024,
regarding Please update to newer minizinc version
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.)
--
1079024: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1079024
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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-----
--- End Message ---
--- Begin Message ---
Source: minizinc
Source-Version: 2.8.5+dfsg1-1
Done: Kari Pahula <[email protected]>
We believe that the bug you reported is fixed in the latest version of
minizinc, 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 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: SHA256
Format: 1.8
Date: Tue, 27 Aug 2024 07:04:43 +0300
Source: minizinc
Architecture: source
Version: 2.8.5+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Kari Pahula <[email protected]>
Changed-By: Kari Pahula <[email protected]>
Closes: 1079024
Changes:
minizinc (2.8.5+dfsg1-1) unstable; urgency=medium
.
* New upstream release. (Closes: #1079024)
* Build a release build.
* Standards-Version 4.7.0 (no changes necessary).
* Add Breaks on incompatible old (gecode) flatzinc package.
Checksums-Sha1:
d3f7ec13048de309d0538706ebae6573101c785f 1814 minizinc_2.8.5+dfsg1-1.dsc
1688bc5a6f9702354cf70776ca22925d192cc8dc 980040
minizinc_2.8.5+dfsg1.orig.tar.xz
6254abadb74ed4857e56d5090d7225360952f6bb 11584
minizinc_2.8.5+dfsg1-1.debian.tar.xz
87fe93db1aceff3b3ff0fba5ada9aaed0f6af236 12693
minizinc_2.8.5+dfsg1-1_source.buildinfo
Checksums-Sha256:
9fe5a49c786f6bfe2bb7a1cf8c90ec1767b731cde5dc6136b03e7c653b4a980c 1814
minizinc_2.8.5+dfsg1-1.dsc
dcb82ba534faeb236f2fdf1c5a2c76011962bf4a84f22d94ee63dde26b8eb835 980040
minizinc_2.8.5+dfsg1.orig.tar.xz
168c96908b4d34a12cecfde09e3cb46656ba4ddf388cf0af377e59e53da96490 11584
minizinc_2.8.5+dfsg1-1.debian.tar.xz
1b71805a39556777cbccde3f3784d8f59b7c466e392fa7594c53646f43b58125 12693
minizinc_2.8.5+dfsg1-1_source.buildinfo
Files:
12acdd2a6d3a7d7ac64248c00cfdb3b2 1814 devel optional minizinc_2.8.5+dfsg1-1.dsc
35174d4383732d10722de60b14e04e43 980040 devel optional
minizinc_2.8.5+dfsg1.orig.tar.xz
fb9f03d575d8de7333654976c4c9b57d 11584 devel optional
minizinc_2.8.5+dfsg1-1.debian.tar.xz
3dec57ef8c517bedab29d04c8b371578 12693 devel optional
minizinc_2.8.5+dfsg1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAmbNULEACgkQhAhn7p2P
Jlwb6xAAjz6e6QRWIuz8eSuPL4kqaKqFzmutvzWOjUaCEmKRPzG2Km2/rnesF82M
cMk7E1mORO6N6I19roCcWLM695FgXDGu0x2fqfACqvyDcVsIqSqxnY5AXr/jse4e
4whL+0JMXoiP2DbELvuDf8hcm8XDWEBSn70UIeI3L53O/1KNB1dUdQWBD7e5Jaqt
uc4koPuPrVKYMFc1YWxDpdRnuClUv7vwOc4ri+W68aDMs5D878hrmpZNjGQvMwT7
Sp0CEKIqTWO8lSdpDt3pIjhkUcSVyutyW9xmhS/AhHURUysAi2CkAyBKnn+xmL9x
heT609eJ7+77zYi6TaFnxaxJRKRxYdiKzhYGwGT1qjHa1u6tEPhzcpB0os3/TOHb
onGyNMEG8nesj/PkQS6c6EcByo4RlM+X0Jps+mdyNZDiuL3tpdBTy+O1wnbvUtx7
4CuPT2D1swcNQfs2TfOpfw0BRO9TYcAyzvrp8qrdENs4Ju3HN5HwCywAFpDSR2h8
pVAsk0mB9OcCLYVQw1g2Yj5UdpYNSbZkCzkyKgO5s87JJ+B7FtCepbF98dixTbyf
6k8Pbx5pgWxQoNW5BBJm7z5b1BqIMJ/kl7I8+jwggkuD4AG/VMD0h5PMzUb7uSkz
gRAH5EttoLMloSBk0ebTuznXtKkOjgRCUpiETVmGmYNk00oJkXE=
=sQSp
-----END PGP SIGNATURE-----
pgpVHVYSrIQ1Q.pgp
Description: PGP signature
--- End Message ---
