: Code : gringo package : Debian

Debian
gringo package

Name	Status	Last Modified	Last Commit
lp:debian/gringo	1 Development	2015-09-26 09:31:03 UTC 2015-09-26	20. Imported Upstream version 4.5.3 Author: Thomas Krennwallner Revision Date: 2015-09-26 09:31:03 UTC Imported Upstream version 4.5.3
lp:debian/stretch/gringo	1 Development	2015-09-26 09:31:03 UTC 2015-09-26	20. Imported Upstream version 4.5.3 Author: Thomas Krennwallner Revision Date: 2015-09-26 09:31:03 UTC Imported Upstream version 4.5.3
lp:debian/jessie/gringo	1 Development	2014-08-18 17:10:34 UTC 2014-08-18	17. * New upstream release. * debian/cont... Author: Thomas Krennwallner Revision Date: 2014-08-18 17:10:34 UTC * 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.
lp:debian/wheezy/gringo	1 Development	2012-05-23 15:25:09 UTC 2012-05-23	8. Bug fix: "please build-depend on unve... Author: Thomas Krennwallner Revision Date: 2012-05-23 15:25:09 UTC Bug fix: "please build-depend on unversionend boost libraries", thanks to Ralf Treinen (Closes: #672933).