summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Thomas Krennwallner [Tue, 20 Dec 2016 04:10:36 +0000 (04:10 +0000)]
Merge gringo (5.1.0-4) import into refs/heads/workingbranch
Thomas Krennwallner [Sat, 17 Dec 2016 06:27:31 +0000 (07:27 +0100)]
alpha FTBFS: _FPU_GETCW is undefined
Forwarded: https://github.com/potassco/clasp/pull/3
===================================================================
Gbp-Pq: Name gringo-alpha-fpu-getcw.patch
Thomas Krennwallner [Wed, 14 Dec 2016 07:37:15 +0000 (08:37 +0100)]
add support for architectures with broken std::exception_ptr std::exception_ptr is currently not supported on armel, see libstdc++ bug https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58938
Forwarded: not-needed
===================================================================
Gbp-Pq: Name gringo-broken-std-exception_ptr.patch
Roland Kaminski [Wed, 16 Nov 2016 11:12:52 +0000 (12:12 +0100)]
bugfix: correctly mark body literals as auxiliary in all cases
Origin: upstream, https://github.com/potassco/clingo/commit/
d6cfb89df6bbf138ca3e259d71ca7050b322b5d5
Bug: https://sourceforge.net/p/potassco/mailman/message/
35493632/
Gbp-Pq: Name gringo-fix-body-literals-as-auxiliary.patch
Reiner Herrmann [Wed, 7 Dec 2016 07:08:36 +0000 (08:08 +0100)]
Sort source files for deterministic linking order
Origin: vendor, https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844096;msg=5
Bug-Debian: https://bugs.debian.org/844096
===================================================================
Gbp-Pq: Name reproducible-build.patch
Thomas Krennwallner [Wed, 7 Dec 2016 06:50:31 +0000 (07:50 +0100)]
Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages
===================================================================
Gbp-Pq: Name gringo-manpages.patch
Thomas Krennwallner [Tue, 20 Dec 2016 04:10:36 +0000 (04:10 +0000)]
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
[dgit import unpatched gringo 5.1.0-4]
Thomas Krennwallner [Tue, 20 Dec 2016 04:10:36 +0000 (04:10 +0000)]
Import gringo_5.1.0-4.debian.tar.xz
[dgit import tarball gringo 5.1.0-4 gringo_5.1.0-4.debian.tar.xz]
Thomas Krennwallner [Sun, 11 Dec 2016 12:12:35 +0000 (12:12 +0000)]
Import gringo_5.1.0.orig.tar.gz
[dgit import orig gringo_5.1.0.orig.tar.gz]
Thomas Krennwallner [Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)]
Add gringo.1, clingo.1, and iclingo.1 manpages.
===================================================================
Gbp-Pq: Name gringo-manpages.patch
Thomas Krennwallner [Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)]
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.
[dgit import unpatched gringo 4.4.0-1]
Thomas Krennwallner [Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)]
Import gringo_4.4.0.orig.tar.gz
[dgit import orig gringo_4.4.0.orig.tar.gz]
Thomas Krennwallner [Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)]
Import gringo_4.4.0-1.debian.tar.xz
[dgit import tarball gringo 4.4.0-1 gringo_4.4.0-1.debian.tar.xz]
projects / gringo.git / log