clasp
conflict-driven nogood learning answer set solver

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/clasp

general

source: clasp (source, interpreters)
version: 3.3.2-3
maint: Debian Science Maintainers (a), Thomas Krennwallner (u, dm)
std-ver: 4.0.1
VCS: Git (browse)

versions

o-o-bpo: 2.0.2-1~bpo60+1
oldstable: 3.1.0-1
stable: 3.2.1-3
testing: 3.3.2-3
unstable: 3.3.2-3
Ubuntu: 3.3.2-2

binaries

clasp (0 bugs: 0, 0, 0, 0)
conflict-driven nogood learning answer set solver

todo

Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.1.0 instead of 4.0.1).

problems

There were override disparities found in suite unstable:
- clasp: Override says interpreters - optional, .deb says interpreters - extra

news RSS

[2017-09-03] clasp 3.3.2-3 MIGRATED to testing (Britney)
[2017-08-29] Accepted 3.3.2-3 in unstable (medium) (Thomas Krennwallner)
[2017-08-21] Accepted 3.3.2-2 in unstable (medium) (Thomas Krennwallner)
[2017-08-18] Accepted 3.3.2-1 in unstable (medium) (Thomas Krennwallner)
[2017-06-20] clasp 3.3.0-1 MIGRATED to testing (Britney)
[2017-05-07] Accepted 3.3.0-1 in unstable (medium) (Thomas Krennwallner)
[2017-02-01] Accepted 3.2.2-1 in unstable (medium) (Thomas Krennwallner)
[2016-12-28] clasp 3.2.1-3 MIGRATED to testing (Britney)
[2016-12-17] Accepted 3.2.1-3 in unstable (medium) (Thomas Krennwallner)
[2016-12-15] clasp 3.2.1-2 MIGRATED to testing (Britney)
[2016-12-03] Accepted 3.2.1-2 in unstable (medium) (Thomas Krennwallner)
[2016-12-02] Accepted 3.2.1-1 in unstable (medium) (Thomas Krennwallner)
[2016-09-10] clasp 3.1.5-1 MIGRATED to testing (Britney)
[2016-09-04] Accepted 3.1.5-1 in unstable (medium) (Thomas Krennwallner)
[2016-05-07] clasp 3.1.4-2 MIGRATED to testing (Britney)
[2016-05-01] Accepted 3.1.4-2 in unstable (medium) (Thomas Krennwallner)
[2015-12-26] clasp 3.1.4-1 MIGRATED to testing (Britney)
[2015-12-20] Accepted 3.1.4-1 in unstable (medium) (Thomas Krennwallner)
[2015-10-10] clasp 3.1.3-2 MIGRATED to testing (Britney)
[2015-10-05] Accepted 3.1.3-2 in unstable (medium) (Thomas Krennwallner)
[2015-10-01] clasp 3.1.3-1 MIGRATED to testing (Britney)
[2015-09-26] Accepted 3.1.3-1 in unstable (medium) (Thomas Krennwallner)
[2015-05-17] clasp 3.1.2-1 MIGRATED to testing (Britney)
[2015-05-12] Accepted 3.1.2-1 in unstable (medium) (Thomas Krennwallner)
[2015-04-27] clasp 3.1.1-1 MIGRATED to testing (Britney)
[2014-11-26] Accepted 3.1.1-1 in unstable (medium) (Thomas Krennwallner)
[2014-08-29] clasp 3.1.0-1 MIGRATED to testing (Britney)
[2014-08-18] clasp 3.0.6-1 MIGRATED to testing (Britney)
[2014-08-18] Accepted 3.1.0-1 in unstable (low) (Thomas Krennwallner)
[2014-08-07] Accepted 3.0.6-1 in unstable (low) (Thomas Krennwallner)

bugs

all: 0
RC: 0
I&N: 0
M&W: 0
F&P: 0

links

patches

Debian: 3.1.0-1 3.2.1-3 3.3.2-3 3.3.2-3

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
SVN revision 3654 | Checkout SVN repository | Browse SVN repository
Last modified: 2017-09-03T14:38:35+00:00.