Package Details: clasp 3.1.4-1

Git Clone URL: https://aur.archlinux.org/clasp.git (read-only)
Package Base: clasp
Description: A conflict-driven nogood learning answer set solver.
Upstream URL: http://potassco.sourceforge.net/
Licenses: GPL3
Groups: potassco
Submitter: None
Maintainer: vbmithr
Last Packager: vbmithr
Votes: 39
Popularity: 1.826023
First Submitted: 2012-02-07 09:54
Last Updated: 2016-03-14 15:08

Latest Comments

vbmithr commented on 2016-03-06 02:17

Sure, go ahead.

While you're at it, do the same for gringo and aspcud. And why not opam, also :)

catalin.hritcu commented on 2015-12-12 11:07

Nevermind, the script is supposed to show packages that depend on libstdc++, and that's the case both before and after the rebuild (https://bbs.archlinux.org/viewtopic.php?id=206101). Sorry for the noise.

catalin.hritcu commented on 2015-12-12 10:42

This package shows up on the list of packages that need to be rebuit after the recent switch to C++ dual ABI.
https://lists.archlinux.org/pipermail/arch-dev-public/2015-December/027597.html
Unfortunately this happens to me even after rebuilding and reinstalling the package, which is very puzzling to me.

vbmithr commented on 2014-03-26 13:38

Or maybe disown.

vbmithr commented on 2014-03-01 21:49

Please upgrade.