summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Thomas Krennwallner [Fri, 3 Apr 2020 10:56:49 +0000 (11:56 +0100)]
gringo (5.4.0-2) unstable; urgency=medium
* Upload to unstable
* debian/symbols: fix symbols for missing architectures
[dgit import unpatched gringo 5.4.0-2]
Thomas Krennwallner [Fri, 3 Apr 2020 10:56:49 +0000 (11:56 +0100)]
Import gringo_5.4.0-2.debian.tar.xz
[dgit import tarball gringo 5.4.0-2 gringo_5.4.0-2.debian.tar.xz]
Thomas Krennwallner [Mon, 30 Mar 2020 10:25:20 +0000 (11:25 +0100)]
Import gringo_5.4.0.orig.tar.gz
[dgit import orig gringo_5.4.0.orig.tar.gz]
projects / gringo.git / log