summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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]