-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 17 Dec 2013 07:07:54 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.2.1-2
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 (4.2.1-2) unstable; urgency=low
.
* debian/control: FTBFS on ia64 sparc powerpc, Build-Depends is now
g++-4.8 >= 4.8.0.
* debian/rules: Set CXX to g++-4.8.
Checksums-Sha1:
d583a156679f769d6bcb32c84699b92498a230fa 2096 gringo_4.2.1-2.dsc
e986d69e9a49207786ce31f860a4daecb7411f88 8656 gringo_4.2.1-2.debian.tar.gz
8d0d526efd3d83c05e97f3205865ffcf7a5e0afa 908860 gringo_4.2.1-2_amd64.deb
Checksums-Sha256:
53ba068598a645a9cd1a51adc0048b40d7f90dff997e870e0b21a2a250c1022e 2096 gringo_4.2.1-2.dsc
995ddd57189d16ea7fde9e9fb55e263db966d5374337acf71685b0629316e3d5 8656 gringo_4.2.1-2.debian.tar.gz
9ba477a1dcf0cc2a25c6c25982b1f15d25544250d9df29e0b919b7f1a782f7d7 908860 gringo_4.2.1-2_amd64.deb
Files:
14a829e737a0848d2c5d0648df3147ec 2096 interpreters extra gringo_4.2.1-2.dsc
0748349ab95fbca8959b2b4e154fc3cf 8656 interpreters extra gringo_4.2.1-2.debian.tar.gz
05c37e15767183c9c279edf0f9c19322 908860 interpreters extra gringo_4.2.1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCAAGBQJSr+z/AAoJECeX33SmZpqpkR8QAJGY7FgE8VP4MH3swQyNIhum
ZOTfH4k1rCJYDaLRcGgXCe+/JUZ2vXCdUTtDli/nyPIn0+PUJvnnPtjT6/rK8Kx3
u+DfTD92ck7jAv7wkoEgbhS0Jfza1uDVFbmjaIBA4raeSPIVV0myan6hvrmwh9bH
/d1LfiMx4cwnlDqz24ErRKwiixh1islr9XVK9Yt2HIvqg7qzoZwdt50942jfEGvr
mA/YMeSYpjKngCH4FQ1D1mjyNwg/A8gaEI6HrQ2nV6DgiyrAv0m3UxTQlMhr510w
7/xaoO5dGpfiYyy0hi07lGj+ZwdT7JZ2/IGW50jHqGlJJKNcHvpEuzvZt7agUV/Q
6BNPscznicN61QJ5LbqU0bywF7p91z7vUIYfTBLEHD4A+42CcjJYpnQStdk4zgde
06YC2ouN9lJmcxb2DNnYWqHQSod9oZ9JIcsETf1/Bpjt6Ceo4Cs1ABAPkfc+BVKe
Nm39rwCh1wYGpHk/wE7xTH3fYjltndBpNo3KOOKtuqItiYnwnrLvqveWTVns2ai+
ApiJCZYQNO43FApCFOeoqJMcwHZsXfDI9C5gA1yOJXmHGQxJnaTT5shPh0DP0sme
lTtZtl9k0zmHhEpuZ1rqku4OEbX7ASSUUopV0YQMG10cIunqLwc+buWe1cRUqE9j
l+A+NfuuqjGVhp4+Ob+M
=oAXN
-----END PGP SIGNATURE-----
