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. -- Thomas Krennwallner Mon, 18 Aug 2014 17:10:34 +0200 gringo (4.3.0-2) unstable; urgency=low * Bug fix: "non-standard gcc/g++ used for build (gcc-4.8)", thanks to Matthias Klose (Closes: #751317). * Build with system-wide liblua5.2-dev. -- Thomas Krennwallner Thu, 12 Jun 2014 09:16:31 +0200 gringo (4.3.0-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Wed, 26 Feb 2014 13:06:29 +0100 gringo (4.2.1-4) unstable; urgency=low * Bug fix: "add ppc64el to architecture list for libtbb-dev to fix FTBFS", thanks to Logan Rosen (Closes: #735005). -- Thomas Krennwallner Sun, 12 Jan 2014 19:22:44 +0100 gringo (4.2.1-3) unstable; urgency=low * debian/control: Breaks aspcud <= 2012.10.24-6 after discussion with upstream. Remove spurious Build-Depends on libboost-filesystem-dev and libboost-system-dev. -- Thomas Krennwallner Wed, 18 Dec 2013 09:42:59 +0100 gringo (4.2.1-2) unstable; urgency=low * debian/control: FTBFS on ia64 sparc powerpc, Build-Depends is now g++-4.8 >= 4.8.0. * debian/rules: Set CXX to g++-4.8. -- Thomas Krennwallner Tue, 17 Dec 2013 07:07:54 +0100 gringo (4.2.1-1) unstable; urgency=low gringo 4.2 adds support for {i,o,}clingo again. * New upstream release. * debian/watch: Back to watching all releases of gringo. * debian/rules: Add scons, python, tbb, and hardening support. * debian/install: Install gringo and clingo. * debian/gringo.links: Symlink clingo binary and manpage to {i,o}clingo. * debian/gringo.manpages: Remove iclingo manpage. * debian/control: Build-Depends on bison, scons, g++ >= 4.8.0, libpython2.7-dev, libtbb-dev. Bump Standards-Version to 3.9.5. -- Thomas Krennwallner Mon, 16 Dec 2013 16:28:42 +0100 gringo (3.0.5-1) unstable; urgency=low * New upstream release. * debian/copyright: Update copyright years. * debian/compat: Bump to version 9. * debian/control: - Remove DM-Upload-Allowed. - Build-Depends on debhelper >= 9. * debian/watch: Only watch upstream gringo >= 3. * debian/patches/gringo-clang-gcc.patch debian/patches/gringo-cond.patch debian/patches/gringo-domain-fwd-decl.patch debian/patches/gringo-unpool-pred.patch debian/patches/series: Remove already applied patches. -- Thomas Krennwallner Tue, 21 May 2013 19:04:24 +0200 gringo (3.0.4-4) unstable; urgency=low * Apply upstream patches from subversion r6200 and r6237 for fixing potassco bugs 75 and 76, resp. * debian/patches/gringo-cond.patch: New file originally from http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-cond.diff?format=raw. * debian/patches/gringo-unpool-pred.patch: New file originally from http://sourceforge.net/p/potassco/code/6291/tree/tags/gringo-3.0.4/patches/patch-unpool-pred.diff?format=raw. * debian/control: Bump Standards-Version to 3.9.4. -- Thomas Krennwallner Thu, 22 Nov 2012 10:40:56 +0100 gringo (3.0.4-3) unstable; urgency=low * Bug fix: "please build-depend on unversionend boost libraries", thanks to Ralf Treinen (Closes: #672933). -- Thomas Krennwallner Wed, 23 May 2012 15:25:09 +0200 gringo (3.0.4-2) unstable; urgency=low * debian/patches/gringo-clang-gcc.patch: New file originally from https://potassco.svn.sourceforge.net/svnroot/potassco/tags/gringo-3.0.4/patches/patch-clang.diff. * Bug fix: "ftbfs with GCC-4.7", thanks to Matthias Klose (Closes: #667193). * debian/control: Bump Standards-Version to 3.9.3. -- Thomas Krennwallner Tue, 10 Apr 2012 16:48:52 +0200 gringo (3.0.4-1ubuntu1~oneiric1) oneiric; urgency=low * Upload to ppa:~tkren/asp. -- Thomas Krennwallner Fri, 27 Jan 2012 08:08:04 +0100 gringo (3.0.4-1) unstable; urgency=low * New upstream release. -- Thomas Krennwallner Thu, 26 Jan 2012 14:59:59 +0100 gringo (3.0.3-7) unstable; urgency=low * debian/copyright: Fix comma-separated-files-in-dep5-copyright, obsolete-field-in-dep5-copyright and unversioned-copyright-format-uri lintian warnings. * Bug fix: "FTBFS: clone_allocator.hpp:34:27: error: invalid use of incomplete type ", thanks to Lucas Nussbaum (Closes: #652787). * debian/patches/gringo-domain-fwd-decl.patch: New file. * debian/control: Build-Depends on re2c to recreate parser.cpp from parser.r2c, add boost version libboost-*N.MM-dev. * debian/rules: Add override_dh_auto_configure and remove parser.cpp and converter.cpp to force recreation of re2c lexer files. -- Thomas Krennwallner Sun, 25 Dec 2011 18:44:20 +0100 gringo (3.0.3-6) unstable; urgency=low * debian/control: Setup as Debian Science project. - Set Maintainer to Debian Science Maintainers and Uploaders to Thomas Krennwallner. - Set DM-Upload-Allowed to yes. - Convert bzr repository to git and use Vcs-Git and Vcs-Browser accordingly. - Build-Depends on debhelper >= 8.0.0. * debian/rules: Add override_dh_auto_build to get rid off debian/patches/gringo-makefile.patch. * debian/patches/gringo-makefile.patch debian/patches/series: Remove debian/patches/gringo-makefile.patch. -- Thomas Krennwallner Mon, 05 Sep 2011 13:21:51 +0200 gringo (3.0.3-5~natty1) natty; urgency=low * debian/watch: Fix lintian debian-watch-contains-dh_make-template. * debian/control: Lower Priority to extra and bump Standards-Version to 3.9.2. -- Thomas Krennwallner Fri, 29 Apr 2011 07:11:12 +0200 gringo (3.0.3-4) unstable; urgency=low * debian/control: Combine gringo, clingo, and iclingo binary packages into gringo. + Conflicts and Replaces clingo and iclingo. * debian/copyright: Convert to DEP-5 format and add missing licenses. * debian/rules: Add override_dh_installchangelogs for CHANGES file. * debian/install: Install gringo, clingo and iclingo. * Refresh debian/patches/gringo-makefile.patch; do not install anything here. -- Thomas Krennwallner Tue, 22 Feb 2011 09:38:26 +0100 gringo (3.0.3-3) unstable; urgency=low * Initial upload (Closes: #605879) -- Thomas Krennwallner Sun, 05 Dec 2010 18:01:28 +0100 gringo (3.0.3-2) unstable; urgency=low * Upload to mentors.debian.net. -- Thomas Krennwallner Sat, 20 Nov 2010 09:43:35 +0100 gringo (3.0.3-1~maverick1) maverick; urgency=low * New upstream release. * Fix changelog entries. -- Thomas Krennwallner Fri, 12 Nov 2010 05:53:36 +0100 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. -- Thomas Krennwallner Sun, 10 Oct 2010 08:50:01 +0200 gringo (3.0.2-1) lucid; urgency=low * New upstream release. -- Thomas Krennwallner Mon, 04 Oct 2010 22:03:12 +0200 gringo (3.0.1-2) lucid; urgency=low * Build with system-wide liblua5.1-dev. -- Thomas Krennwallner Wed, 28 Jul 2010 06:15:10 +0200 gringo (3.0.1-1) lucid; urgency=low * New upstream release. -- Thomas Krennwallner Tue, 27 Jul 2010 06:00:34 +0200 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. -- Thomas Krennwallner Sun, 06 Jun 2010 18:18:22 +0200 gringo (2.0.5-5) lucid; urgency=low * Added watch file. * Added Vcs-Bzr to control. -- Thomas Krennwallner Tue, 01 Jun 2010 14:47:13 +0200 gringo (2.0.5-4) lucid; urgency=low * Set Architecture of all binary packages to "any". -- Thomas Krennwallner Fri, 28 May 2010 09:21:58 +0200 gringo (2.0.5-3) lucid; urgency=low * Set Architecture of all binary packages to "all". -- Thomas Krennwallner Fri, 28 May 2010 07:04:46 +0200 gringo (2.0.5-2) lucid; urgency=low * Moved to Ubuntu PPA. -- Thomas Krennwallner Wed, 26 May 2010 00:33:32 +0200 gringo (2.0.5-1) unstable; urgency=low * Initial release. -- Thomas Krennwallner Thu, 04 Mar 2010 19:47:14 +0100