lp:debian/stretch/gringo

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

20. By Thomas Krennwallner on 2015-09-26

Imported Upstream version 4.5.3

19. By Thomas Krennwallner on 2015-07-13

* Imported Upstream version 4.5.1
* Add reify.1 manpage

18. By Thomas Krennwallner on 2015-07-11

* Bump Standards-Version to 3.9.6.
* Imported Upstream version 4.5.0
* debian/control: Add Breaks: aspcud (<= 1.9.0-2). Add reify description.
* debian/copyright: Update copyright information, remove outdated files.
* debian/docs: Remove NOTES.
* debian/install: Install reify.
* debian/rules: Build reify.

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.