Accepted gringo 3.0.3-7 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 25 Dec 2011 18:44:20 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 3.0.3-7
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
gringo - grounding tools for (disjunctive) logic programs
Closes: 652787
Changes:
gringo (3.0.3-7) unstable; urgency=low
.
* debian/copyright: Fix comma-separated-files-in-dep5-copyright,
obsolete-field-in-dep5-copyright and unversioned-copyright-format-uri
lintian warnings.
* Bug fix: "FTBFS: clone_allocator.hpp:34:27: error: invalid use of
incomplete type <struct Domain>", thanks to Lucas Nussbaum
(Closes: #652787).
* debian/patches/gringo-domain-fwd-decl.patch: New file.
* debian/control: Build-Depends on re2c to recreate parser.cpp from
parser.r2c, add boost version libboost-*N.MM-dev.
* debian/rules: Add override_dh_auto_configure and remove parser.cpp and
converter.cpp to force recreation of re2c lexer files.
Checksums-Sha1:
9a6585deed7f73ff42476465ee7b91ff96499f93 2041 gringo_3.0.3-7.dsc
9cd9d0d5999e91b766049b668e01d3affc83e6e6 7287 gringo_3.0.3-7.debian.tar.gz
014125b3b60a2bfc63c0965a10646fa19a6d07a9 1571792 gringo_3.0.3-7_amd64.deb
Checksums-Sha256:
4184af152b23a000f211bf447c8e05b3dacaf3e6b0df4fc3456b941cc1eea50e 2041 gringo_3.0.3-7.dsc
d7bb04a77e32d84bf24a9887291b69c9a8478f9c301778e3bb3be10acf9f7617 7287 gringo_3.0.3-7.debian.tar.gz
193da0237ce050d9ed553173d13a82fcca12b8a4cf681322a0dcb698f403461d 1571792 gringo_3.0.3-7_amd64.deb
Files:
d0256867082970779e15032f02f39b51 2041 interpreters extra gringo_3.0.3-7.dsc
fb49d99662897b3a440d2058dd911cd6 7287 interpreters extra gringo_3.0.3-7.debian.tar.gz
754bc595b002561752b6a937fa9674a2 1571792 interpreters extra gringo_3.0.3-7_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJO92GCAAoJECeX33SmZpqpEVQP/2yN9V3PCKSeYL0GeMGCHOpV
NG+5FxFXmrK80SM5CfCzARnotBSJAmi5be3vD+p5PHbDoRRNuwI9eEFQFNii4eka
xf+nYrmgPkAfxof1ZJRGVCvayT+T+aLIGt/1gokdEmzds+9xpx4tsGiwbBxe9V7k
WnBDaWBbfHHH/FKHZtVUiAlTCDxuv/DYSOd2pt9a2Ek3I0JsGt7tY9jweNE9f8S2
F+uLvk54pOS8yQ7joeivaPEPuFRe/Q2GXisxCFbXNGOa9KQldADrarYj3UhuINkB
f5byKnZaWNDziQd+S1NWOTs2fq6dspEvnnFF9e7r+X2tWl/29n8FcTty3zC9fvr4
RIRJsheVQ1l2PnP2V3u1Sqj+/VjEtUsK+CpVX7BLxh0sHvOXAtT3exgAu/VTOJPl
6+Ha2gwZTwuNitpLSsJ/cdCYkagGAm/kc++UBoylLwwMj7YLxNbUPbv7XWbrQ0fD
xm2mT0a3s7AsmJKP6mvjRVNujfE/SwIq/v/ZDZPpWObcdr+bIKbiZYbC5YIuajQ3
qeO3thRrJ5IC0UojLMqL8dU5RTni5tgXSz2/Pv3mb7BoyuzJBdHE3rN4NUA0EE85
6DIYgvEBSUu1XPjIs8ChjhO4Ng/p5vmaMFObR2JWhwdGflOKQG44kE/HoHwfGjuT
rHIFQZWspjSqWVfUxWN+
=mwR3
-----END PGP SIGNATURE-----
Accepted:
gringo_3.0.3-7.debian.tar.gz
to main/g/gringo/gringo_3.0.3-7.debian.tar.gz
gringo_3.0.3-7.dsc
to main/g/gringo/gringo_3.0.3-7.dsc
gringo_3.0.3-7_amd64.deb
to main/g/gringo/gringo_3.0.3-7_amd64.deb
Reply to: