-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 12 Jan 2014 19:22:44 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 4.2.1-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 Closes: 735005 Changes: gringo (4.2.1-4) unstable; urgency=low . * Bug fix: "add ppc64el to architecture list for libtbb-dev to fix FTBFS", thanks to Logan Rosen (Closes: #735005). Checksums-Sha1: e1a292a63d0986fc7653c8060b525ab66e45380f 2041 gringo_4.2.1-4.dsc b1cd35c3ee187938644539d602318348f6bd323d 8893 gringo_4.2.1-4.debian.tar.gz 76acd742eecb26bdb49587a80ca205609b3e588f 908470 gringo_4.2.1-4_amd64.deb Checksums-Sha256: d066ff00c66ca4f7e1c088f1519082c0af9e7164a354378a30059b97eb8edbb1 2041 gringo_4.2.1-4.dsc 3d75b50e1024c77d5005b169cee1cb4cc8b5436b76e95db1c2a0b6a5d6b1dfb6 8893 gringo_4.2.1-4.debian.tar.gz 106d1840dc1ae305a8eb9d478fcecb23a5379e76464594ddf2a540c7b56fcac3 908470 gringo_4.2.1-4_amd64.deb Files: 02aab3448d0cd5d43fa59a7d7603ed82 2041 interpreters extra gringo_4.2.1-4.dsc 1ff27d0fe2b302a37aeae477c1ee6308 8893 interpreters extra gringo_4.2.1-4.debian.tar.gz 58800c4f12b93b165e596c32fe232296 908470 interpreters extra gringo_4.2.1-4_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJS0uF7AAoJECeX33SmZpqp4dYP/3tkRk3mEa7kg6p4loJXgc5I bj9KWGT9/HWWiZ9E3jnds33cOsJUjTM4EuOaW4l7gaEJPUsLRVb2Bob7KF4vQd2e BLxN7CxVTvOwjqFh1mYa2EsFVlYIlG/ECIzTcTtR1RdoMGUpo5yqljPcR2d8gP9t hAsoPjmuoXO/fqoEsXlt/m4dsk75jF0GI3iFtyCIicscU5czFyfir7H0yeZrRyIq g0lMVqN1nZqaQedzGUJWnpNm4x0y1saSX43w3Odv6NOj++940SqvEXzFsxF8JMA4 RUa4jZ8yM6AbVVMcoQ+UPv5U9rQwFxwYx0x1rNIOB4Mlt2ZULHbaq+zSI/Oadm6w wxTXs1sUV9b4CHJVu8+lLd9BfCU/8Jh7bUzuLZbhSa+Va45zHyyxksMAk7DIH9+p FHwtAxEXhh/2isbP9IMaMeGdGOGsEcJ8DBUyooZI/azvruHbsv65qn+5XnFfc8gy aWdq0RewRi3NJrajdl0q13oCESp47LtaBWp6ICGg2sl5SG4fka5z72R0aZ+Tiho9 tKrNVarUbwIDFvJ0JYku28a2+wRGrUimokerLI77CZpO2mMO3JgrWO+Ob2biX8P+ gqVsfNRh8OThaJ6Is/mFALB9mqVTaG+8plzqDAl2xBqR/y8DLfiBcT4+3U/tQaR/ hB9TkH6Dw9fo4G/QxluN =swba -----END PGP SIGNATURE-----
