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.5-4.2
maint
Debian Science Maintainers
(
a
)
,
Thomas Krennwallner
(u, dm)
std-ver
4.5.1
VCS
Git
(
browse
)
versions
o-o-stable
3.2.1-3
oldstable
3.3.4-2
stable
3.3.5-4
testing
3.3.5-4.1
unstable
3.3.5-4.2
Ubuntu
3.3.5-4
binaries
clasp
(
1 bugs
:
0
,
0
,
1
,
0
)
conflict-driven nogood learning answer set solver
todo
Incorporate and acknowledge the changes from the non maintainer upload.
Build log checks
report
1 warning
about this package.
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.6.1
instead of
4.5.1
).
A new upstream version is available:
3.3.7
, you should consider packaging it.
The
BTS
contains
patches fixing 1 bug
, consider including or untagging it.
news
RSS
[2022-12-11]
clasp 3.3.5-4.2 MIGRATED to testing
(Britney)
[2022-12-03]
Accepted 3.3.5-4.2 in unstable (low)
(Debian FTP Masters)
[2022-10-02]
clasp 3.3.5-4.1 MIGRATED to testing
(Britney)
[2022-09-29]
Accepted 3.3.5-4.1 in unstable (medium)
(Debian FTP Masters)
[2020-12-30]
clasp 3.3.5-4 MIGRATED to testing
(Britney)
[2020-12-28]
Accepted 3.3.5-4 in unstable (medium)
(Debian FTP Masters)
[2020-12-27]
Accepted 3.3.5-3 in unstable (medium)
(Debian FTP Masters)
[2020-12-26]
Accepted 3.3.5-2 in experimental (medium)
(Debian FTP Masters)
[2020-03-18]
clasp 3.3.5-1 MIGRATED to testing
(Britney)
[2020-03-16]
clasp 3.3.4-4 MIGRATED to testing
(Britney)
[2020-03-15]
Accepted 3.3.5-1 in unstable (medium)
(Debian FTP Masters)
[2020-03-13]
Accepted 3.3.4-4 in unstable (medium)
(Debian FTP Masters)
[2020-03-12]
Accepted 3.3.4-3 in unstable (medium)
(Debian FTP Masters)
[2018-11-07]
clasp 3.3.4-2 MIGRATED to testing
(Britney)
[2018-11-04]
Accepted 3.3.4-2 in unstable (medium)
(Thomas Krennwallner)
[2018-07-02]
clasp 3.3.4-1 MIGRATED to testing
(Britney)
[2018-06-30]
Accepted 3.3.4-1 in unstable (medium)
(Thomas Krennwallner)
[2018-02-11]
clasp 3.3.3-3 MIGRATED to testing
(Britney)
[2018-02-06]
Accepted 3.3.3-3 in unstable (medium)
(Thomas Krennwallner)
[2018-02-03]
Accepted 3.3.3-2 in unstable (medium)
(Thomas Krennwallner)
[2017-11-17]
clasp 3.3.3-1 MIGRATED to testing
(Britney)
[2017-11-12]
Accepted 3.3.3-1 in unstable (medium)
(Thomas Krennwallner)
[2017-11-09]
clasp 3.3.2-4 MIGRATED to testing
(Britney)
[2017-11-04]
Accepted 3.3.2-4 in unstable (medium)
(Thomas Krennwallner)
[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)
bugs
all
1
RC
0
I&N
0
M&W
1
F&P
0
links
homepage
changelog
/
copyright
buildd:
logs
,
checks
,
clang
tests
(
log
)
lintian
popcon
debtags
screenshots
RDF meta-data
browse source code
patches
Debian
3.3.4-2
3.3.5-4
3.3.5-4.1
3.3.5-4.2
Derivatives
here
Debian proposed
1