aspcud
CUDF solver based on Answer Set Programming
NEW: Take a look at the new package tracker:
tracker.debian.org/pkg/aspcud
general
source
aspcud
(
source
,
admin
)
version
1:1.9.6-2
maint
Ralf Treinen
std-ver
4.6.1
VCS
Git
(
browse
)
versions
o-o-stable
1:1.9.4-2
oldstable
1:1.9.4-3
stable
1:1.9.6-2
testing
1:1.9.6-2
unstable
1:1.9.6-2
Ubuntu
1:1.9.6-2
binaries
aspcud
(
4 bugs
:
0
,
4
,
0
,
0
)
CUDF solver based on Answer Set Programming
todo
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.2
instead of
4.6.1
).
The
BTS
contains
patches fixing 1 bug
, consider including or untagging it.
testing migration
excuses
:
Migration status for aspcud (1:1.9.5-1 to 1:1.9.6-1): Waiting for test results or another package, or too young (no action required now - check later)
Issues preventing migration:
Too young, only 0 of 2 days old
news
RSS
[2022-11-20]
aspcud 1:1.9.6-2 MIGRATED to testing
(Britney)
[2022-11-16]
Accepted 1:1.9.6-2 in unstable (medium)
(Debian FTP Masters)
[2022-09-08]
aspcud 1:1.9.6-1 MIGRATED to testing
(Britney)
[2022-09-05]
Accepted 1:1.9.6-1 in unstable (medium)
(Debian FTP Masters)
[2021-12-02]
aspcud 1:1.9.5-1 MIGRATED to testing
(Britney)
[2021-11-29]
Accepted 1:1.9.5-1 in unstable (medium)
(Debian FTP Masters)
[2020-11-15]
aspcud 1:1.9.4-3 MIGRATED to testing
(Britney)
[2020-11-12]
Accepted 1:1.9.4-3 in unstable (medium)
(Debian FTP Masters)
[2018-12-28]
aspcud 1:1.9.4-2 MIGRATED to testing
(Britney)
[2018-12-25]
Accepted 1:1.9.4-2 in unstable (medium)
(Ralf Treinen)
[2017-09-29]
aspcud 1:1.9.4-1 MIGRATED to testing
(Britney)
[2017-09-24]
Accepted 1:1.9.4-1 in unstable (medium)
(Ralf Treinen)
[2017-09-16]
aspcud 1:1.9.1-3 MIGRATED to testing
(Britney)
[2017-09-10]
Accepted 1:1.9.1-3 in unstable (medium)
(Ralf Treinen)
[2015-06-28]
aspcud 1:1.9.1-2 MIGRATED to testing
(Britney)
[2015-06-17]
Accepted 1:1.9.1-2 in unstable (low)
(Ralf Treinen)
[2015-06-06]
aspcud 1:1.9.1-1 MIGRATED to testing
(Britney)
[2015-05-27]
Accepted 1:1.9.1-1 in unstable (low)
(Ralf Treinen)
[2014-06-27]
aspcud 1:1.9.0-2 MIGRATED to testing
(Britney)
[2014-06-21]
Accepted 1:1.9.0-2 in unstable (medium)
(Ralf Treinen)
[2014-03-09]
aspcud 1:1.8.0-3 MIGRATED to testing
(Britney)
[2014-03-05]
Accepted 1:1.9.0-1 in experimental (low)
(Ralf Treinen)
[2014-02-26]
Accepted 1:1.8.0-3 in unstable (low)
(Ralf Treinen)
[2014-01-26]
aspcud 1:1.8.0-2 MIGRATED to testing
(Britney)
[2014-01-15]
Accepted 1:1.8.0-2 in unstable (low)
(Ralf Treinen)
[2014-01-11]
Accepted 1:1.8.0-1 in unstable (low)
(Ralf Treinen)
[2013-12-23]
aspcud 2012.10.24-6 MIGRATED to testing
(Britney)
[2013-12-17]
Accepted 2012.10.24-6 in unstable (medium)
(Ralf Treinen)
[2013-10-20]
aspcud 2012.10.24-5 MIGRATED to testing
(Britney)
[2013-10-09]
Accepted 2012.10.24-5 in unstable (low)
(Ralf Treinen)
bugs
all
7
RC
1
I&N
5
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
1:1.9.4-3
1:1.9.6-2
1:1.9.6-2
1:1.9.6-2
Debian proposed
1