-
gringo (5.6.2-1) unstable; urgency=medium
* Team upload.
[ Andreas Tille ]
* New upstream version
* Standards-Version: 4.6.2 (routine-update)
* Reorder sequence of d/control fields by cme (routine-update)
* Add ${python3:Depends}
* Remove Python3 cache dir
* Provide symbols file fo amd64 only (to prevent regression for
#963054 and other potential issues)
* Depends: python3
* Fix versioned links to match SONAME
* Build-Depends: dh-sequence-python3
* Deactivate autopkgtests gringo1 and gringo4
[ Matthias Klose ]
* Fix build with Python 3.12. Closes: #1061316.
* Fix build with new catch2 version. Closes: #1054688.
* Fix build with GCC 13.
* Explicitly mention the build system.
[ Graham Inggs ]
* Add (Build-)Depends: python3-cffi.
* Reduce thread count for test_clingo_app.
* Skip hanging test_clingo_app for now.
-- Andreas Tille <email address hidden> Mon, 12 Feb 2024 09:02:55 +0100
-
gringo (5.4.1-3.1) unstable; urgency=low
* Non-maintainer upload.
* Build using the default gcc. (Closes: #1023682)
* Add patch from Lukas Märdian to use the system catch/catch2.
(Closes: #1017161)
* Fix the testsuite for Python no longer supporting 'rU' in open().
* Remove the symbols file. (Closes: #963054, #1015422)
-- Adrian Bunk <email address hidden> Sat, 19 Nov 2022 12:33:48 +0200
-
gringo (5.4.1-3) unstable; urgency=medium
* debian/symbols: fix symbols for g++-10 >= 10.2.1
* Bug fix: "non-standard gcc/g++ used for build (gcc-9)", thanks to
Matthias Klose (Closes: #978514).
-- Thomas Krennwallner <email address hidden> Mon, 28 Dec 2020 12:50:01 +0000
-
gringo (5.4.1-2) unstable; urgency=medium
* Upload to unstable
* debian/symbols: fix symbols for g++-10 >= 10.2.1
-- Thomas Krennwallner <email address hidden> Sun, 27 Dec 2020 17:29:03 +0000
-
gringo (5.4.0-2) unstable; urgency=medium
* Upload to unstable
* debian/symbols: fix symbols for missing architectures
-- Thomas Krennwallner <email address hidden> Fri, 03 Apr 2020 06:56:49 -0400
-
gringo (5.3.0-13) unstable; urgency=medium
* Upload to unstable
* debian/symbols: fix symbols for g++-9 >= 9.2.0 on armel and powerpc
-- Thomas Krennwallner <email address hidden> Wed, 11 Mar 2020 20:57:01 -0400
-
gringo (5.3.0-10) unstable; urgency=medium
* Fix FTBFS on buster.
* debian/control: add Build-Depends on g++-8 >= 8.2.0-21
* debian/symbols: add alpha and x32 symbols
-- Thomas Krennwallner <email address hidden> Sat, 02 Mar 2019 08:49:10 +0100
-
gringo (5.3.0-9) unstable; urgency=medium
* Upload to unstable.
-- Thomas Krennwallner <email address hidden> Fri, 01 Mar 2019 06:27:37 +0100
-
gringo (5.3.0-6) unstable; urgency=medium
* debian/symbols: fix symbols for g++-8 >= 8.2.0-10
* Upload to unstable.
-- Thomas Krennwallner <email address hidden> Fri, 14 Dec 2018 08:09:08 +0100
-
gringo (5.3.0-4) unstable; urgency=medium
* debian/tests/gringo{0,1,3,4}: fix integer atom mappings
* NEWS.Debian: fix link to aspif description
-- Thomas Krennwallner <email address hidden> Thu, 22 Nov 2018 07:26:25 +0100
-
gringo (5.3.0-3) unstable; urgency=medium
* debian/upstream/metadata: add DEP-12 upstream metadata
* debian/symbols: fix symbols for version 5.3.0 of libclingo.so.2
* Upload to unstable.
-- Thomas Krennwallner <email address hidden> Wed, 21 Nov 2018 04:54:38 +0100
-
gringo (5.2.3-5) unstable; urgency=medium
* debian/symbols: batchpatch alpha, mips, mips64el symbols for g++-8
-- Thomas Krennwallner <email address hidden> Thu, 08 Nov 2018 04:35:55 +0100
-
gringo (5.2.3-4) unstable; urgency=medium
* Bug fix: "Please update symbols for riscv64", thanks to Manuel
A. Fernandez Montecelo (Closes: #912269).
* debian/symbols: batchpatch symbols for g++-8
* Upload to unstable.
-- Thomas Krennwallner <email address hidden> Wed, 07 Nov 2018 04:07:00 +0100
-
gringo (5.2.3-2) unstable; urgency=medium
* debian/symbols: batchpatch symbols
-- Thomas Krennwallner <email address hidden> Tue, 03 Jul 2018 06:23:44 +0200
-
gringo (5.2.3-1) unstable; urgency=medium
* New upstream version 5.2.3
* debian/watch: force three-digit version
* debian/control: bump Standards-Version to 4.1.4
* debian/TODO.Debian: refresh TODO list
* gringo-makefile.patch: drop Makefile
* debian/symbols: update amd64 symbols
-- Thomas Krennwallner <email address hidden> Sat, 30 Jun 2018 13:27:28 +0200
-
gringo (5.2.2-6) unstable; urgency=medium
* Team upload
* Added build-dependency python3-distutils in order to fix FTBFS. Thanks
to Adrian Bunk for the patch (closes: #896791)
* Added debian/gbp.conf with pristine-tar=True
-- Ralf Treinen <email address hidden> Thu, 03 May 2018 08:30:23 +0200
-
gringo (5.2.2-5) unstable; urgency=medium
* fix FTBFS with gringo-python3-utf8.patch
* debian/rules: report ctest logs in case of error
-- Thomas Krennwallner <email address hidden> Mon, 05 Feb 2018 07:39:21 +0100
-
gringo (5.2.2-4) unstable; urgency=medium
* setup build environment for python3
+ debian/control: setup Build-Depends for python3
+ debian/rules: force PYTHON_EXECUTABLE to /usr/bin/python3
* FTBFS: dh_auto_test needs LD_LIBRARY_PATH for libclingo
-- Thomas Krennwallner <email address hidden> Sun, 04 Feb 2018 21:35:05 +0100
-
gringo (5.2.2-3) unstable; urgency=medium
* add dep8 testsuite
+ debian/rules: build, run, and output upstream tests
+ debian/tests: add dep8 tests
* debian/symbols: add ia64, update templinst archs
-- Thomas Krennwallner <email address hidden> Sun, 04 Feb 2018 09:22:41 +0100
-
gringo (5.2.2-2) unstable; urgency=medium
* update debian/control and debian/compat
+ update Vcs-Git and Vcs-Browser for salsa
+ bump Standards-Version to 4.1.3
+ bump debhelper compatibility version to 11
* debian/symbols: update amd64 symbols
-- Thomas Krennwallner <email address hidden> Sat, 03 Feb 2018 15:17:29 +0100
-
gringo (5.2.2-1) unstable; urgency=medium
* New upstream version 5.2.2
* drop upstream applied gringo-remove-wrong-assertion.patch
* debian/symbols: add arm64 kfreebsd-amd64 kfreebsd-i386 symbols
pkgkde-symbolshelper batchpatch -v 1
-- Thomas Krennwallner <email address hidden> Fri, 10 Nov 2017 08:08:58 +0100
-
gringo (5.2.1-4) unstable; urgency=medium
* debian/symbols: fix FTBFS on armel
-- Thomas Krennwallner <email address hidden> Sat, 04 Nov 2017 14:55:24 +0100
-
gringo (5.2.1-3) unstable; urgency=medium
* add patch from upstream commit 02c6d85 to fix wrong assertion
* debian/control: Build-Depends to cmake >= 3.1.0
-- Thomas Krennwallner <email address hidden> Sat, 04 Nov 2017 11:14:23 +0100
-
gringo (5.2.1-2) unstable; urgency=medium
* Use pkgkde-symbolshelper to manage C++ symbols
* debian/rules: use pkgkde_symbolshelper dh addon
* debian/control: Build-Depends on pkg-kde-tools
* debian/symbols: use pkgkde-symbolshelper to create C++ symbols
-- Thomas Krennwallner <email address hidden> Fri, 03 Nov 2017 06:42:20 +0100
-
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 <email address hidden> 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:
'*(Gringo::{anonymous}::Object (*)(Gringo::{anonymous}::Reference,
Gringo::{anonymous}::Reference))Gringo::{anonymous}::createId' is
not a valid template argument for type
'Gringo::{anonymous}::Object
(&)(Gringo::{anonymous}::Reference,
Gringo::{anonymous}::Reference)'", thanks to Lucas Nussbaum
(Closes: #871100).
- debian/control: Build-Depends on g++-6
- debian/rules: set CONFIGPARMS to CXX='g++-6'
* debian/copyright: use https instead of http
* debian/control: Bump Standards-Version to 4.0.1
-- Thomas Krennwallner <email address hidden> Thu, 17 Aug 2017 07:18:37 +0200
-
gringo (5.1.0-4) unstable; urgency=medium
* fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
_FPU_GETCW and friends are undefined on this arch
-- Thomas Krennwallner <email address hidden> Tue, 20 Dec 2016 05:10:36 +0100
-
gringo (5.1.0-3) unstable; urgency=medium
* debian/rules: fix FTBFS on architectures that require -latomic
-- Thomas Krennwallner <email address hidden> Fri, 16 Dec 2016 08:13:33 +0100
-
gringo (5.1.0-2) unstable; urgency=medium
* debian/rules: fix C++11 threads
- link with libatomic on architectures that need it
- disable threads and define BROKEN_STD_EXCEPTION_PTR on armel
* gringo-broken-std-exception_ptr.patch: add support for armel
-- Thomas Krennwallner <email address hidden> Thu, 15 Dec 2016 06:49:16 +0100
-
gringo (5.1.0-1) unstable; urgency=medium
* New upstream version 5.1.0
* debian/copyright: update copyright year and github source
* debian/control
- Build-Depends on g++ >= 4:6.1.1 replaces libtbb-dev
- point Homepage to https://www.potassco.org
- use https for Vcs-*
- add Breaks clasp (<< 3.2.1-1)
* debian/rules
- build lpconvert
- drop libtbb-dev and use c++11 multi-threading
- disable threads on powerpc,powerpcspe,m68k,mips,mipsel,sh4
* drop already applied upstream patches: gringo-include-math.patch,
gringo-solve-multi.patch, gringo-translate-minmax.patch
* gringo-fix-body-literals-as-auxiliary.patch: add upstream patch
cherry-picked from d6cfb89df6bbf138ca3e259d71ca7050b322b5d5
-- Thomas Krennwallner <email address hidden> Sun, 11 Dec 2016 13:12:35 +0100
-
gringo (4.5.4-4) unstable; urgency=medium
* Bug fix: "please make the build reproducible", thanks to
Reiner Herrmann (Closes: #844096).
-- Thomas Krennwallner <email address hidden> Wed, 07 Dec 2016 08:27:20 +0100
-
gringo (4.5.4-3) unstable; urgency=medium
* Fix gringo-multi-solver.patch: this fixes an FTBFS on architectures
that have WITH_THREAD=0, i.e., all architectures except amd64 and
ppc64.
-- Thomas Krennwallner <email address hidden> Mon, 02 May 2016 07:18:34 +0200
-
gringo (4.5.4-2) unstable; urgency=medium
* Bug fix: "FTBFS: error: 'pow' is not a member of 'std'", thanks to
Martin Michlmayr (Closes: #822383).
* Add patch to fix random python multithreading segfaults (upstream bug 117)
* Add patch to fix #min/#max translation bug (upstream bug 119)
* Build with liblua5.3
* Bump Standards-Version to 3.9.8
-- Thomas Krennwallner <email address hidden> Sun, 01 May 2016 08:47:29 +0200
-
gringo (4.5.4-1) unstable; urgency=medium
* Imported Upstream version 4.5.4
-- Thomas Krennwallner <email address hidden> Sat, 19 Dec 2015 14:07:05 +0100
-
gringo (4.5.3-1) unstable; urgency=medium
* Imported Upstream version 4.5.3
-- Thomas Krennwallner <email address hidden> Sat, 26 Sep 2015 09:31:03 +0200
-
gringo (4.5.1-1) unstable; urgency=medium
* Imported Upstream version 4.5.1
* Add reify.1 manpage
-- Thomas Krennwallner <email address hidden> Mon, 13 Jul 2015 09:01:56 +0200
-
gringo (4.5.0-1) unstable; urgency=medium
* Bump Standards-Version to 3.9.6.
* Imported Upstream version 4.5.0
* debian/control: Add Breaks: aspcud (<= 1.9.0-2). Add reify description.
* debian/copyright: Update copyright information, remove outdated files.
* debian/docs: Remove NOTES.
* debian/install: Install reify.
* debian/rules: Build reify.
-- Thomas Krennwallner <email address hidden> Sat, 11 Jul 2015 09:36:10 +0200
-
gringo (4.4.0-1) unstable; urgency=low
* New upstream release.
* debian/control: Remove Suggests on potassco-guide.
* debian/control: Fix Vcs fields to use anonscm.debian.org.
* Setup git repository to use git-buildpackage.
* Import upstream sources with git-import-orig --pristine-tar.
-- Thomas Krennwallner <email address hidden> Mon, 18 Aug 2014 17:10:34 +0200
-
gringo (4.3.0-2) unstable; urgency=low
* Bug fix: "non-standard gcc/g++ used for build (gcc-4.8)", thanks to
Matthias Klose (Closes: #751317).
* Build with system-wide liblua5.2-dev.
-- Thomas Krennwallner <email address hidden> Thu, 12 Jun 2014 09:16:31 +0200
-
gringo (4.3.0-1) unstable; urgency=low
* New upstream release.
-- Thomas Krennwallner <email address hidden> Wed, 26 Feb 2014 13:06:29 +0100
-
gringo (4.2.1-4) unstable; urgency=low
* Bug fix: "add ppc64el to architecture list for libtbb-dev to fix
FTBFS", thanks to Logan Rosen (Closes: #735005).
-- Thomas Krennwallner <email address hidden> Sun, 12 Jan 2014 19:22:44 +0100
-
gringo (4.2.1-3) unstable; urgency=low
* debian/control: Breaks aspcud <= 2012.10.24-6 after discussion with
upstream.
Remove spurious Build-Depends on libboost-filesystem-dev and
libboost-system-dev.
-- Thomas Krennwallner <email address hidden> Wed, 18 Dec 2013 09:42:59 +0100
-
gringo (4.2.1-2) unstable; urgency=low
* debian/control: FTBFS on ia64 sparc powerpc, Build-Depends is now
g++-4.8 >= 4.8.0.
* debian/rules: Set CXX to g++-4.8.
-- Thomas Krennwallner <email address hidden> Tue, 17 Dec 2013 07:07:54 +0100
-
gringo (4.2.1-1) unstable; urgency=low
gringo 4.2 adds support for {i,o,}clingo again.
* New upstream release.
* debian/watch: Back to watching all releases of gringo.
* debian/rules: Add scons, python, tbb, and hardening support.
* debian/install: Install gringo and clingo.
* debian/gringo.links: Symlink clingo binary and manpage to {i,o}clingo.
* debian/gringo.manpages: Remove iclingo manpage.
* debian/control: Build-Depends on bison, scons, g++ >= 4.8.0,
libpython2.7-dev, libtbb-dev.
Bump Standards-Version to 3.9.5.
-- Thomas Krennwallner <email address hidden> Mon, 16 Dec 2013 16:28:42 +0100
-
gringo (3.0.5-1) unstable; urgency=low
* New upstream release.
* debian/copyright: Update copyright years.
* debian/compat: Bump to version 9.
* debian/control:
- Remove DM-Upload-Allowed.
- Build-Depends on debhelper >= 9.
* debian/watch: Only watch upstream gringo >= 3.
* debian/patches/gringo-clang-gcc.patch debian/patches/gringo-cond.patch
debian/patches/gringo-domain-fwd-decl.patch
debian/patches/gringo-unpool-pred.patch debian/patches/series: Remove
already applied patches.
-- Thomas Krennwallner <email address hidden> Tue, 21 May 2013 19:04:24 +0200
-
gringo (3.0.4-4) unstable; urgency=low
* Apply upstream patches from subversion r6200 and r6237 for fixing
potassco bugs 75 and 76, resp.
* debian/patches/gringo-cond.patch: New file originally from
http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-cond.diff?format=raw.
* debian/patches/gringo-unpool-pred.patch: New file originally from
http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-unpool-pred.diff?format=raw.
* debian/control: Bump Standards-Version to 3.9.4.
-- Thomas Krennwallner <email address hidden> Thu, 22 Nov 2012 10:40:56 +0100
-
gringo (3.0.4-3) unstable; urgency=low
* Bug fix: "please build-depend on unversionend boost libraries", thanks
to Ralf Treinen (Closes: #672933).
-- Thomas Krennwallner <email address hidden> Wed, 23 May 2012 15:25:09 +0200
-
gringo (3.0.4-2) unstable; urgency=low
* debian/patches/gringo-clang-gcc.patch: New file originally from
https://potassco.svn.sourceforge.net/svnroot/potassco/tags/gringo-3.0.4/patches/patch-clang.diff.
* Bug fix: "ftbfs with GCC-4.7", thanks to Matthias Klose (Closes:
#667193).
* debian/control: Bump Standards-Version to 3.9.3.
-- Thomas Krennwallner <email address hidden> Tue, 10 Apr 2012 16:48:52 +0200
-
gringo (3.0.4-1) unstable; urgency=low
* New upstream release.
-- Thomas Krennwallner <email address hidden> Thu, 26 Jan 2012 14:59:59 +0100
-
gringo (3.0.3-7) unstable; urgency=low
* debian/copyright: Fix comma-separated-files-in-dep5-copyright,
obsolete-field-in-dep5-copyright and unversioned-copyright-format-uri
lintian warnings.
* Bug fix: "FTBFS: clone_allocator.hpp:34:27: error: invalid use of
incomplete type <struct Domain>", thanks to Lucas Nussbaum
(Closes: #652787).
* debian/patches/gringo-domain-fwd-decl.patch: New file.
* debian/control: Build-Depends on re2c to recreate parser.cpp from
parser.r2c, add boost version libboost-*N.MM-dev.
* debian/rules: Add override_dh_auto_configure and remove parser.cpp and
converter.cpp to force recreation of re2c lexer files.
-- Thomas Krennwallner <email address hidden> Sun, 25 Dec 2011 18:44:20 +0100
-
gringo (3.0.3-6) unstable; urgency=low
* control: Setup as Debian Science project.
- Set Maintainer to Debian Science Maintainers and Uploaders to Thomas
Krennwallner.
- Set DM-Upload-Allowed to yes.
- Convert bzr repository to git and use Vcs-Git and Vcs-Browser
accourdingly.
- Build-Depends on debhelper >= 8.0.0.
* rules: Add override_dh_auto_build to get rid off
gringo-makefile.patch.
* patches/gringo-makefile.patch,patches/series: Remove
gringo-makefile.patch.
-- Thomas Krennwallner <email address hidden> Mon, 05 Sep 2011 13:21:51 +0200
-
gringo (3.0.3-4) unstable; urgency=low
* control: Combine gringo, clingo, and iclingo binary packages into gringo. + Conflicts and Replaces clingo and iclingo. * copyright: Convert to DEP-5 format and add missing licenses. * rules: Add override_dh_installchangelogs for CHANGES file. * install: Install gringo, clingo and iclingo. * Refresh gringo-makefile.patch; do not install anything here. -- Thomas Krennwallner <email address hidden> Tue, 22 Feb 2011 09:38:26 +0100
-
gringo (3.0.3-3) unstable; urgency=low
* Initial upload (Closes: #605879) -- Thomas Krennwallner <email address hidden> Sun, 05 Dec 2010 18:01:28 +0100