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

2015-09-25 Thread Thomas Krennwallner
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

2014-02-20 Thread Thomas Krennwallner
contains unneeded packages, but clasp 2 was fine solving > 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

Accepted clasp 3.3.3-2 (source) into unstable

2018-02-03 Thread Thomas Krennwallner
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 03 Feb 2018 13:42:01 +0100 Source: clasp Binary: clasp Architecture: source Version: 3.3.3-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description: clasp

Accepted gringo 5.2.2-2 (source) into unstable

2018-02-03 Thread Thomas Krennwallner
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 03 Feb 2018 15:17:29 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.2-3 (source) into unstable

2018-02-04 Thread Thomas Krennwallner
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 04 Feb 2018 09:22:41 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.2-4 (source) into unstable

2018-02-04 Thread Thomas Krennwallner
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 04 Feb 2018 21:35:05 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-4 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted gringo 5.2.2-5 (source) into unstable

2018-02-04 Thread Thomas Krennwallner
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 05 Feb 2018 07:39:21 +0100 Source: gringo Binary: gringo Architecture: source Version: 5.2.2-5 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description

Accepted clasp 3.3.3-3 (source) into unstable

2018-02-05 Thread Thomas Krennwallner
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 05 Feb 2018 20:22:21 +0100 Source: clasp Binary: clasp Architecture: source Version: 3.3.3-3 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Thomas Krennwallner Description: clasp

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

2016-02-02 Thread Thomas Krennwallner
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 Main