lp:debian/jessie/gringo

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

17. By Thomas Krennwallner on 2014-08-18

* 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.

16. By Thomas Krennwallner on 2014-06-12

* 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.

15. By Thomas Krennwallner on 2014-02-26

New upstream release.

14. By Thomas Krennwallner on 2014-01-12

Bug fix: "add ppc64el to architecture list for libtbb-dev to fix
FTBFS", thanks to Logan Rosen (Closes: #735005).

13. By Thomas Krennwallner on 2013-12-18

debian/control: Breaks aspcud <= 2012.10.24-6 after discussion with
upstream.
Remove spurious Build-Depends on libboost-filesystem-dev and
libboost-system-dev.

12. By Thomas Krennwallner on 2013-12-17

* 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.

11. By Thomas Krennwallner on 2013-12-16

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.

10. By Thomas Krennwallner on 2013-05-21

* 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.

9. By Thomas Krennwallner on 2012-11-22

* 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.

8. By Thomas Krennwallner on 2012-05-23

Bug fix: "please build-depend on unversionend boost libraries", thanks
to Ralf Treinen (Closes: #672933).