-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
-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
-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
-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
-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
-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
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
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
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