gringo.git
11 years agogringo (4.4.0-1) unstable; urgency=low
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]

11 years agoImport 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.orig.tar.gz

[dgit import orig gringo_4.4.0.orig.tar.gz]

11 years agoImport gringo_4.4.0-1.debian.tar.xz
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]