summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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 [Thu, 12 Mar 2020 00:57:01 +0000 (00:57 +0000)]
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
[dgit import unpatched gringo 5.3.0-13]
Thomas Krennwallner [Thu, 12 Mar 2020 00:57:01 +0000 (00:57 +0000)]
Import gringo_5.3.0-13.debian.tar.xz
[dgit import tarball gringo 5.3.0-13 gringo_5.3.0-13.debian.tar.xz]
Thomas Krennwallner [Sun, 11 Nov 2018 07:56:35 +0000 (07:56 +0000)]
Import gringo_5.3.0.orig.tar.gz
[dgit import orig gringo_5.3.0.orig.tar.gz]
projects / gringo.git / log