[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