Accepted gringo 5.2.1-1 (source amd64) into unstable
-----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-----
Reply to: