Accepted clasp 3.3.3-3 (source) into unstable

org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.3.3-3) unstable; urgency=medium . * debian/rules: check DEB_BUILD_PROFILES against nocheck Ch

Accepted gringo 5.2.2-5 (source) into unstable

org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.2-5) unstable; urgency=medium . * fix FTBFS with gringo-python3-utf8.patch * debian/rules: report ctest logs in case of err

Accepted gringo 5.2.2-4 (source) into unstable

org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.2-4) unstable; urgency=medium . * setup build environment for python3 + debian/control: setup Build-Depends for python3

Accepted gringo 5.2.2-3 (source) into unstable

org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.2-3) unstable; urgency=medium . * add dep8 testsuite + debian/rules: build, run, and output upstream tests + debian/tes

Accepted gringo 5.2.2-2 (source) into unstable

org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: gringo - grounding tools for (disjunctive) logic programs Changes: gringo (5.2.2-2) unstable; urgency=medium . * update debian/control and debian/compat + update Vcs-Git and Vcs-Browser for salsa

Accepted clasp 3.3.3-2 (source) into unstable

org> Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at> Description: clasp - conflict-driven nogood learning answer set solver Changes: clasp (3.3.3-2) unstable; urgency=medium . * update debian/control and debian/compat + update Vcs-Git and Vcs-Browser for salsa + bu

Bug#812847: coala: FTBFS: scanner.cpp:662:9: error: no match for 'operator='

On Wed Jan 27, 2016 09:02:05AM +0100, Chris Lamb wrote: > Source: coala > Version: 1.0.1-5 > Severity: serious > Justification: fails to build from source > User: reproducible-bui...@lists.alioth.debian.org > Usertags: ftbfs > X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org > > Dear

Bug#799989: clasp: FTBFS: Error: TBB library path not set or 'libtbb.{so, dylib}' not found!

Dear Chris, On Fri Sep 25, 2015 08:04:44AM +0100, Chris Lamb wrote: > clasp fails to build from source in unstable/amd64: > > ./configure.sh --config=hardening --prefix=/usr --with-mt > TBB_INCLUDE=/usr/include TBB_LIB=/usr/lib > Checking for TBB include path.../usr/include > Checking for

Bug#739628: clasp: 3.0 cannot solve some problems solved by 2.1.4

it, so 3.0 should handle it as well. I've forwarded your bug report to the clasp and aspcud upstream maintainers (in CC). Best, -- Thomas Krennwallner University assistant . TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria . T