Your message dated Wed, 23 May 2012 14:50:58 +0000
with message-id <[email protected]>
and subject line Bug#672933: fixed in gringo 3.0.4-3
has caused the Debian Bug report #672933,
regarding gringo: please build-depend on unversionend boost libraries
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.)
--
672933: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=672933
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: gringo
Version: 3.0.4-2
Severity: wishlist
Hi, gringo is currently build-depending on
libboost-filesystem1.48-dev,
libboost-system1.48-dev,
it would be better to depend on unversionend boost packages if possible, like
libboost-filesystem-dev,
libboost-system-dev
since this is more robust against future evolutions of boost packages
(and boost is evolving quite fast). Upstream INSTALL says that one
needs any version of boost >1.37 so I guess this should be possible.
-Ralf.
--- End Message ---
--- Begin Message ---
Source: gringo
Source-Version: 3.0.4-3
We believe that the bug you reported is fixed in the latest version of
gringo, which is due to be installed in the Debian FTP archive:
gringo_3.0.4-3.debian.tar.gz
to main/g/gringo/gringo_3.0.4-3.debian.tar.gz
gringo_3.0.4-3.dsc
to main/g/gringo/gringo_3.0.4-3.dsc
gringo_3.0.4-3_amd64.deb
to main/g/gringo/gringo_3.0.4-3_amd64.deb
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.
Thomas Krennwallner <[email protected]> (supplier of updated gringo 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: Wed, 23 May 2012 15:25:09 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 3.0.4-3
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Thomas Krennwallner <[email protected]>
Description:
gringo - grounding tools for (disjunctive) logic programs
Closes: 672933
Changes:
gringo (3.0.4-3) unstable; urgency=low
.
* Bug fix: "please build-depend on unversionend boost libraries", thanks
to Ralf Treinen (Closes: #672933).
Checksums-Sha1:
c1d0fca89073fce4d35d8812ca599a60fd6ed8c8 2033 gringo_3.0.4-3.dsc
a1ddee985feae64d1236668552a35723d851e23a 9079 gringo_3.0.4-3.debian.tar.gz
1cc1a52132acea58d5b14f130ae27b1afe55930d 1591394 gringo_3.0.4-3_amd64.deb
Checksums-Sha256:
9c82cdb06733857175953a38fca4f9210b6d783172fea6c2e0d36515f922729e 2033
gringo_3.0.4-3.dsc
868f949435ff19feb00a3d31098256fdc1aceb7caec360a00b655910dbfccce9 9079
gringo_3.0.4-3.debian.tar.gz
41f6b06eacc468ee60be7b35308811a4f9a9f8cf0a9e2bdecf5ffcafb693f32e 1591394
gringo_3.0.4-3_amd64.deb
Files:
f5bacbf05ab7e530d32cd22cd7c4857d 2033 interpreters extra gringo_3.0.4-3.dsc
f3dd7f8eb3d5a225e756e3c364e22a1d 9079 interpreters extra
gringo_3.0.4-3.debian.tar.gz
1235319c36ce54ed1ebe62e4c49b3b58 1591394 interpreters extra
gringo_3.0.4-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJPvO4fAAoJECeX33SmZpqp35kP/281dqx9tGwT47NCLvaDz+zn
9WZ1fkQi7QecRc6O8p3799457ZFjaUUuopoEnwLx9roDVbaINTugJl/PTB1EARsL
EtrsF2q6O4RF7xJ4CMIuiYv31AqpJwx3MQtwz4NAOytUhVCntFCpNLlhceSOOFkS
pHtKs0nXW+yQ4dBiVyZFVX7p2RZdWXIVN7P0Bf+Fjb8d/Ks/np9Q7lRWgemIMiKZ
h/Qun2OnumfJH6PqE5rvZaBJnQIZP0AUvKLGmmag0c8EjYNML11v1aPz6+Loefeh
wMpybkJabvNSbFhG2xPiKKlkHykWLygf3D0bOmA8Y2rIP+ozLqru1OT9wnCZ0+7x
mmAamAoEwluORlIe++k0JGCJrveqVaOmIyJ7FYkpLqg32a6h0KxnOMLGAQqjeXPC
GBcbtTTokz0vGyFirJskzBggvvcMRX0lxp2itTV+uYNRXBXqkKiIknGK7TJJyEcv
wW6MXbVTyI3Jnnn2gtlW8DG3m5YpuiCaMzOphJMeXjXnhlp4eddudYjySEsW4CfJ
E2oX1ibAxovaU9DqAYzySaOxJV2cJH6TVzCOZMIwl5h54RMdtJPWY/dRGfft6inj
tg6JWO1k/GYfn/dsE30H2qN40G/DgrmOdZWdVYG3uOk9dZ4sLZ8IRzkXPE5SCXk0
8AY0s5hI0CFTbrjTcJ4q
=vUlA
-----END PGP SIGNATURE-----
--- End Message ---
