Your message dated Tue, 15 Oct 2024 15:00:14 +0000
with message-id <e1t0j1y-009c2p...@fasolo.debian.org>
and subject line Bug#1074772: fixed in gecode-snapshot 6.2.0+git20240207-1
has caused the Debian Bug report #1074772,
regarding ITP: gecode-snapshot -- low-level modelling language for constraint
problems
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 ow...@bugs.debian.org
immediately.)
--
1074772: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1074772
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Kari Pahula <k...@debian.org>
X-Debbugs-Cc: debian-de...@lists.debian.org
* Package name : gecode-snapshot
Version : 6.2.0+gitYYYYMMDD
Upstream Contact: Guido Tack <t...@gecode.org>, Mikael Zayenz Lagerkvist
<lagerkv...@gecode.org>
* URL : https://www.gecode.org/
* License : MIT/X (and others)
Programming Lang: C++
Description : low-level modelling language for constraint problems
FlatZinc is a low-level modelling language for constraint
problems. It is designed to be easily interfaceable to constraint
solvers (like Gecode). For more information on FlatZinc, please refer
to the MiniZinc pages of the G12 project <https://www.minizinc.org/>.
Source package name would be gecode-snapshot and it'll likely have a
single binary package, gecode-flatzinc.
Gecode is already in Debian, this is get an updated version of
FlatZinc available for MiniZinc. Gecode hasn't had a release since
2019 and I need to use it as a library as well. Fuller description of
the situation can be found at
https://lists.debian.org/debian-devel/2024/06/msg00312.html
Hopefully gecode-snapshot can be removed in the future when Gecode's
had a release again.
--- End Message ---
--- Begin Message ---
Source: gecode-snapshot
Source-Version: 6.2.0+git20240207-1
Done: Kari Pahula <k...@debian.org>
We believe that the bug you reported is fixed in the latest version of
gecode-snapshot, 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 1074...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Kari Pahula <k...@debian.org> (supplier of updated gecode-snapshot 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 05 Jul 2024 11:06:52 +0300
Source: gecode-snapshot
Binary: gecode-flatzinc gecode-flatzinc-dbgsym
Architecture: source amd64
Version: 6.2.0+git20240207-1
Distribution: unstable
Urgency: medium
Maintainer: Kari Pahula <k...@debian.org>
Changed-By: Kari Pahula <k...@debian.org>
Description:
gecode-flatzinc - constraint problem modelling language
Closes: 1074772
Changes:
gecode-snapshot (6.2.0+git20240207-1) unstable; urgency=medium
.
* Initial release (Closes: #1074772)
* Repackage Gecode with git snapshot to get a newer flatzinc without
touching the library part
* Build Gecode as static library only and use it to build FlatZinc
Checksums-Sha1:
e709eabea64cd7f430d31b105b604326d3a7e716 1919
gecode-snapshot_6.2.0+git20240207-1.dsc
5a828bed7310cb09f16ae94197e6208f4053e0e6 3989284
gecode-snapshot_6.2.0+git20240207.orig.tar.xz
6654c9aa12b0159b7671cad83943552703d6e793 13400
gecode-snapshot_6.2.0+git20240207-1.debian.tar.xz
7dd404546091a2d6e4af8712800d2a48a2bfbe57 57979044
gecode-flatzinc-dbgsym_6.2.0+git20240207-1_amd64.deb
1723d9f45597453423835b20f743e2195c689e77 2888168
gecode-flatzinc_6.2.0+git20240207-1_amd64.deb
4d2420684f4059fcc6c3c489a39808cfe212544d 12187
gecode-snapshot_6.2.0+git20240207-1_amd64.buildinfo
Checksums-Sha256:
aa2801057c0a569173330fbf6ac977bd041a683c30a2d07fb30c89769e378a97 1919
gecode-snapshot_6.2.0+git20240207-1.dsc
29fc5f51b252627eea5264f396489519f0d56df27da222a956efbf37495efedc 3989284
gecode-snapshot_6.2.0+git20240207.orig.tar.xz
d460fb7476a0d58d5e1e640689657a33762c96b2b4f38f0adde165423904e235 13400
gecode-snapshot_6.2.0+git20240207-1.debian.tar.xz
6997d0663fa603020430178f079d8ffe61f5c171ba38ccc169b4f8e0fb9158a1 57979044
gecode-flatzinc-dbgsym_6.2.0+git20240207-1_amd64.deb
0dc42add989a893cc3cda8fe1e251fa0ee1c3db1adbe75ad3e1af2f759bf0cc0 2888168
gecode-flatzinc_6.2.0+git20240207-1_amd64.deb
4036fa438e985333322aa888753358591a589cbf18fc4cf30b5742963dd4d54f 12187
gecode-snapshot_6.2.0+git20240207-1_amd64.buildinfo
Files:
3f03f7c750777283bcdacc400d87bd1c 1919 libs optional
gecode-snapshot_6.2.0+git20240207-1.dsc
872798313acf9d370b5f8f6e7157ee1b 3989284 libs optional
gecode-snapshot_6.2.0+git20240207.orig.tar.xz
5cd45408fbfa97fcf864821a5c19a376 13400 libs optional
gecode-snapshot_6.2.0+git20240207-1.debian.tar.xz
7c8f765906de4eaab21cdc03c363830c 57979044 debug optional
gecode-flatzinc-dbgsym_6.2.0+git20240207-1_amd64.deb
b683dd663d723f7016f660ab42e0f988 2888168 devel optional
gecode-flatzinc_6.2.0+git20240207-1_amd64.deb
8c27ac6d98ad8e58049bb5ac1a2825c7 12187 libs optional
gecode-snapshot_6.2.0+git20240207-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAmaHq0QACgkQhAhn7p2P
Jlx5xA/+OtcsIZervCSEAl9jibJuueL8CQicajmspwhsUsbOI7P5s+xS8pilVLi/
Lmj8huZzixNiYHkUu8+QbabR42hX1r4WUYnk+skRZvMq5QvEfQaZ6hTacwB8/JTL
avDxNvOoEaiLNgG73P0AJY2rMI0xwBr1Sy2j93VnQXnn/KMlksnD2rXAhPnkD8I1
WNhok4b+DQIt1zVU69XZERmspjhsrq0soFVeCINwP1iEipH2d/9tVwZ5h4EKLNs6
0Jr/J24foIzN6RGV5T2raeUoiTTyp55/bplBEbrGWpI+PZfL2P34WKCwPjgxb259
YBKOfGMCoOHuM2zudYkLcDYOfrG9cSKQgDlrHlowAr0zfONhxcf/hKdrrA+5pluw
PzewPSMVnwVYFjGXdmKZ6okjOD3KYd7WLzP2I36BEI1Oetxmp+qaAc6sOuV8Vuq/
V9cKjyPiLUvTWTcGN61F0EBFzfM1TuO43viXeKEsvYsJKs4aNbc02jKRdfbFkvNz
JmYQtugscyh9L+hIATzlbd//cNfEOBaiwxK3XfBe0lHwYJzy7Gx/YD5GJ4LUOc3C
0v79SlLakCWweTAhOt542kZsPAE6vTTJXwqyb8b9+WSiNNh+j8CTmylJ8S1EdN5v
xou4SkizoEMB64CrT6xHPG6hsg+mMnv1JVFqGsIvwRDnMabU314=
=G5Ja
-----END PGP SIGNATURE-----
pgp2mIrehRKyZ.pgp
Description: PGP signature
--- End Message ---
