gringo_5.2.1-1_amd64.changes ACCEPTED into unstable

Debian FTP Masters ftpmaster at ftp-master.debian.org
Wed Nov 1 16:04:14 UTC 2017



Accepted:

-----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 at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at 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-----


Thank you for your contribution to Debian.



More information about the debian-science-maintainers mailing list