projects / gringo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 8bf208b b2c25b4)
gringo (4.4.0-1) unstable; urgency=low
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)
commit1aaec54519963bc2aba0432ae08401abb808adb1
tree007e634e1dd4dc06a67a8ea8f7bfb4ae10e7f5b1tree | snapshot
parent8bf208ba3d66e307019c267db527aac84af7d844commit | diff
parentb2c25b42b44d0fd86dd26a15d4299c9e31608001commit | diff
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]
13 files changed:
debian/changelog | | blob
debian/compat | | blob
debian/control | | blob
debian/copyright | | blob
debian/docs | | blob
debian/gringo.links | | blob
debian/gringo.manpages | | blob
debian/install | | blob
debian/patches/gringo-manpages.patch | | blob
debian/patches/series | | blob
debian/rules | | blob
debian/source/format | | blob
debian/watch | | blob
Unnamed repository; edit this file 'description' to name the repository.