gringo (3.0.3-4) unstable; urgency=low
* control: Combine gringo, clingo, and iclingo binary packages into gringo.
+ Conflicts and Replaces clingo and iclingo.
* copyright: Convert to DEP-5 format and add missing licenses.
* rules: Add override_dh_installchangelogs for CHANGES file.
* install: Install gringo, clingo and iclingo.
* Refresh gringo-makefile.patch; do not install anything here.
gringo (3.0.3-3) unstable; urgency=low
* Initial upload (Closes: #605879)
gringo (3.0.3-2) unstable; urgency=low
* Upload to mentors.debian.net.
gringo (3.0.3-1~maverick1) maverick; urgency=low
* New upstream release.
* Fix changelog entries.
gringo (3.0.2-2~maverick1) maverick; urgency=low
* Tag distro-series.
* Fix Standards-Version and Priority.
* Suggest potassco-guide.
* Fix missing changelog.
* Add additional authors to copyright.
gringo (3.0.2-1) lucid; urgency=low
* New upstream release.
gringo (3.0.1-2) lucid; urgency=low
* Build with system-wide liblua5.1-dev.
gringo (3.0.1-1) lucid; urgency=low
* New upstream release.
gringo (2.0.5-6) lucid; urgency=low
* Switch to dpkg-source 3.0 (quilt) format.
* Fix lintian warning debhelper-but-no-misc-depends: add ${misc:Depends} to potassco-guide.
gringo (2.0.5-5) lucid; urgency=low
* Added watch file.
* Added Vcs-Bzr to control.
gringo (2.0.5-4) lucid; urgency=low
* Set Architecture of all binary packages to "any".
gringo (2.0.5-3) lucid; urgency=low
* Set Architecture of all binary packages to "all".
gringo (2.0.5-2) lucid; urgency=low
* Moved to Ubuntu PPA.
gringo (2.0.5-1) unstable; urgency=low
* Initial release.
-- Ubuntu Archive Auto-Sync <email address hidden> Wed, 04 May 2011 09:29:11 +0000
