-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 01 Nov 2017 15:30:25 +0100 Source: gringo Binary: gringo Architecture: source amd64 Version: 5.2.1-1 Distribution: unstable Urgency: medium 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: 880287 Changes: gringo (5.2.1-1) unstable; urgency=medium . * New upstream version 5.2.1 * debian/TODO.Debian: list todo items * debian/copyright: gringo switched to MIT, and so does the packaging * debian/compat: bump debhelper compat level to 10 * debian/control: use cmake instead of scons - force g++-7 - bump Standards-Version to 4.1.1 - fix Homepage URI * debian/patches: drop various upstream applied patches - gringo-alpha-fpu-getcw.patch - gringo-broken-std-exception_ptr.patch - gringo-fix-body-literals-as-auxiliary.patch - reproducible-build.patch * debian/install: add libclingo library * debian/gringo.links: add ldconfig symlinks for libclingo.so.1.0 * debian/symbols: add libclingo.so.1 symbols * debian/rules: use cmake without rpath and force g++-7 * Bug fix: "FTBFS: cat: build/release.log: No such file or directory", thanks to Lucas Nussbaum (Closes: #880287). Checksums-Sha1: 5622abe4b5c19d9e674e68c67f1a373853282437 2062 gringo_5.2.1-1.dsc 3b967c398dbb5420c0380c291a32ad473466fcfb 2641332 gringo_5.2.1.orig.tar.gz 5fdba08ae0de544b3f354c7913b2220c2797146e 11460 gringo_5.2.1-1.debian.tar.xz 6109b5df75471a6bfda0a8f436e2d7354e771228 23244512 gringo-dbgsym_5.2.1-1_amd64.deb 5862ba81621d0f606df2f6e2ac3c799fc9823e6a 7566 gringo_5.2.1-1_amd64.buildinfo 45871866eba3942a870d9683ddeef7e9dba38d32 2187600 gringo_5.2.1-1_amd64.deb Checksums-Sha256: b670b586aca453f08c58150499e57cfcefdc3a0376ea9e2a022b844ae2cf0c47 2062 gringo_5.2.1-1.dsc b486b0adbd0a2acdfe55856036039318844ccb1e3510f2796caf03c5ee455378 2641332 gringo_5.2.1.orig.tar.gz 5c1de81de7036fedb49dac7843aece6fde3e7ed92679a1cd90194b6c70206d8f 11460 gringo_5.2.1-1.debian.tar.xz 710008906767b8414faa9df1dabec8f843a93acb9368f32b18d134e967f36cfa 23244512 gringo-dbgsym_5.2.1-1_amd64.deb 9c886415fc77dcd46f6583f06bde8758742280c13026e65bd01b5a8e29b3eae1 7566 gringo_5.2.1-1_amd64.buildinfo 50baa4ca7ea8b30042866c31340fa6c616bb334b7dcbd71276d198e541521f2d 2187600 gringo_5.2.1-1_amd64.deb Files: c4bbb3a862960db243da93c1f3e57ed5 2062 interpreters optional gringo_5.2.1-1.dsc ef2cd7a36bdcc7598bd6f83e6e827be2 2641332 interpreters optional gringo_5.2.1.orig.tar.gz 3b0231a8b16b2e6ce25a58df1399aad4 11460 interpreters optional gringo_5.2.1-1.debian.tar.xz ec1a7ccf048873877eb3ac1d9adc6836 23244512 debug optional gringo-dbgsym_5.2.1-1_amd64.deb ffff5d562c08133cb661ea11e98c8e5d 7566 interpreters optional gringo_5.2.1-1_amd64.buildinfo 23d24d58605169bf8dfd6de927b92c95 2187600 interpreters optional gringo_5.2.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAln524AACgkQJ5ffdKZm mqn1hA//U9rNwjfle7r6xVDlHmUELr0npGOYb9XQp8f532EAOnCnmXc83bKwPizK D5ceFpCJ9qbPhv6eKS/Hd9GVodDKLDbM9gAgYKYoLUWomGlLgi8jLyg7YZrPw/5J wDheX6woRuVf46Z4n8aKBiOPTUaeAFkgW1mUxULsjOUdq4M5mF5YW90ulu1oTxYs mdnz50QotYtcGZ+R7g37yQSfefUh7fftJDxdeXoVtTT1jo10ZBwvVopNVBDQ3m2f 7T2lP3PsZb+wppFBY9Og1W0pTgNiyuUc4EFMKuZxTrVjg7Y+2qBVXveXfRiq17dI RDK0pJnZmTf5nTRDDTBnLHywvIhAfEPYanvUPto11AxxxkNE1JMHA1kezoY5ekIt L8nmbrFOqIC+MBMNLYfkx/wOYNxZdjXCMtMeEoTLkUHuGvtg+C+Wr7hy8ZfJfEuy yztgx4Wf1W3k43XxY9J33HQUJkrdGPa6jxekPEB6ByWCF9rWt1ZrQALpD5IRZc36 YLZjt+D0xWsl2iFB0413ycj5+i4AR0YAnGUpJliLqBGdUBgS6pNDeAtGu1Z5Aute Po3sbj4xr+5znjczsZTqTsY7CDAnTGQGjdrdbQZK3gQLRdjgZc1BVgzlrB9tVOem y3Mbtl61Bk8M4NGe9GjwSXo3yCJh8jtpJCD2rB6TtrH88lqqnRE= =gJTi -----END PGP SIGNATURE-----
