Publishing details

• Published on 2012-01-08
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync

Changelog

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 <struct Domain>", 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 <email address hidden>  Sun, 25 Dec 2011 18:44:20 +0100

Builds

• amd64
• armel
• armhf
• i386
• powerpc

Built packages

• gringo grounding tools for (disjunctive) logic programs

Package files

• gringo_3.0.3-7.debian.tar.gz (7.1 KiB)
• gringo_3.0.3-7.dsc (2.0 KiB)
• gringo_3.0.3-7_amd64.deb (1.5 MiB)
• gringo_3.0.3-7_armel.deb (1.2 MiB)
• gringo_3.0.3-7_armhf.deb (1.2 MiB)
• gringo_3.0.3-7_i386.deb (1.5 MiB)
• gringo_3.0.3-7_powerpc.deb (1.5 MiB)
• gringo_3.0.3.orig.tar.gz (524.6 KiB)