[gringo] 11/11: gringo 5.2.1-1 changelog
Thomas Krennwallner
tkren-guest at moszumanska.debian.org
Wed Nov 1 16:16:05 UTC 2017
This is an automated email from the git hooks/post-receive script.
tkren-guest pushed a commit to branch devel
in repository gringo.
commit ffea893194051449531d1aa40f83ae4a1ee3e389
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date: Wed Nov 1 15:31:13 2017 +0100
gringo 5.2.1-1 changelog
* 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).
---
debian/changelog | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index 1f544f2..b9b34f2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,27 @@
+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).
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at> Wed, 01 Nov 2017 15:30:25 +0100
+
gringo (5.1.0-5) unstable; urgency=medium
* Bug fix: "FTBFS: libgringo/src/python.cc:348:46: error:
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git
More information about the debian-science-commits
mailing list