-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 22 Nov 2012 10:40:56 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 3.0.4-4
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
Changes:
gringo (3.0.4-4) unstable; urgency=low
.
* Apply upstream patches from subversion r6200 and r6237 for fixing
potassco bugs 75 and 76, resp.
* debian/patches/gringo-cond.patch: New file originally from
http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-cond.diff?format=raw.
* debian/patches/gringo-unpool-pred.patch: New file originally from
http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-unpool-pred.diff?format=raw.
* debian/control: Bump Standards-Version to 3.9.4.
Checksums-Sha1:
e05c80a88fd5844e7107828cbdf49173fafcca3e 2033 gringo_3.0.4-4.dsc
cd3e3f9b780520d246a54aa61f71265ae84cf1b1 9912 gringo_3.0.4-4.debian.tar.gz
2b035c7da1559e4cc5d753ef80298c4bd6725349 1590108 gringo_3.0.4-4_amd64.deb
Checksums-Sha256:
4183c9da89941c152668ca6f7dc7effba006fb07b79b8087bafbaaeaf30b3a95 2033 gringo_3.0.4-4.dsc
67806a0ba0515311772c66abd0cb753aff0bdcca05028b371abd1d6db426de7d 9912 gringo_3.0.4-4.debian.tar.gz
0c3292ac52911da1f24066c39cb5a9ed1f56f1cd1cf40664f4d541df082a99df 1590108 gringo_3.0.4-4_amd64.deb
Files:
91d318050b18c59b05e3d3974ecd1c7f 2033 interpreters extra gringo_3.0.4-4.dsc
1674722af95a432fcd38bcfc9584c2c7 9912 interpreters extra gringo_3.0.4-4.debian.tar.gz
999ec6d305a2aa4dfb28915d665841ac 1590108 interpreters extra gringo_3.0.4-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJQrfQ1AAoJECeX33SmZpqp4JoP/RrVFr9k4BPKAr9U/hY8Op3+
V2Tr7SGohPPJ1GqbfFT+pvGg4o806EZz2u+MJnFtNMfL8PhTiyyyRitK98g6hZBY
ZAFu34OM4dJqpJNvu83Kdx7vhTQkYUR2409lJirdIib047ubFbL1Uh+zrD0jiBbd
cyQnJEoNvj3VPNmReg5zE9gTsNlWwh6qygTFEOjLoFdOoukmAEGmUytMgv8xfks+
GVXejaEOueCDy73mib736CIQnlgBbRjvwYDTlCL7h1frZqDBauVHGq2nsX0bcxMi
LXQimfBNGIRdvVH06/dm3855nYWQmrCCvPAvwegPP7WbKuk3bBGF9mRVFd14ByDS
ERvvuanwMlEARdyzn19gZ4zvkPLhVKIwyX29bVgMRah/LOP7bhSnZOJTBVR2fl8q
tH8AHC3CuWZ5Mx3hOrv/PV45zmYha5tv06FvYD8Y9Wxgwixfr7E0HcSkYDVrzExX
pq4A5ZkP14HNn49hIX9F5Ci2EsGbze7TqIVJrzdEuW/em/n5PHoI3Hfbxirvdz4r
+OBVFj6xzT+FrQNGnXZCzXeqPsDl0QJCR5NWTLLqruuB0aEo5M/V0F0JewPlz4kA
BsaHUq6MWwV3q7EPiqEUVSG2fsfnkfwxjGptTceHfioqg1zR3mwcLj0F/0BpPdCF
s97BbxiuF0gsIr5HReQx
=UG/Q
-----END PGP SIGNATURE-----
