[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1074772: marked as done (ITP: gecode-snapshot -- low-level modelling language for constraint problems)

Your message dated Tue, 15 Oct 2024 15:00:14 +0000
with message-id <E1t0j1y-009C2p-21@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 owner@bugs.debian.org
immediately.)


-- 
1074772: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1074772
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Kari Pahula <kaol@debian.org>
X-Debbugs-Cc: debian-devel@lists.debian.org

* Package name    : gecode-snapshot
  Version         : 6.2.0+gitYYYYMMDD
  Upstream Contact: Guido Tack <tack@gecode.org>, Mikael Zayenz Lagerkvist <lagerkvist@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 <kaol@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 1074772@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 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 ftpmaster@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 <kaol@debian.org>
Changed-By: Kari Pahula <kaol@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-----

Attachment: pgp55RFXrx9ov.pgp
Description: PGP signature


--- End Message ---
Reply to: