Register | Log in

aspcud

CUDF solver based on Answer Set Programming

Choose email to subscribe with

general

source: aspcud (main)
version: 1:1.9.6-2
maintainer: Ralf Treinen (DMD)
arch: any
std-ver: 4.6.1
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

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

versioned links

1:1.9.4-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
1:1.9.4-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
1:1.9.6-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

aspcud (4 bugs: 0, 4, 0, 0)

action needed

1 bug tagged patch in the BTS normal

The BTS contains patches fixing 1 bug, consider including or untagging them.

Created: 2025-01-06 Last update: 2025-05-17 02:30

Build log checks report 1 warning low

Build log checks report 1 warning

Created: 2020-11-13 Last update: 2020-11-13 09:00

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.2 instead of 4.6.1).

Created: 2022-12-17 Last update: 2025-02-27 13:25

news

[2022-11-20] aspcud 1:1.9.6-2 MIGRATED to testing (Debian testing watch)
[2022-11-16] Accepted aspcud 1:1.9.6-2 (source) into unstable (Ralf Treinen)
[2022-09-08] aspcud 1:1.9.6-1 MIGRATED to testing (Debian testing watch)
[2022-09-05] Accepted aspcud 1:1.9.6-1 (source) into unstable (Ralf Treinen)
[2021-12-02] aspcud 1:1.9.5-1 MIGRATED to testing (Debian testing watch)
[2021-11-29] Accepted aspcud 1:1.9.5-1 (source) into unstable (Ralf Treinen)
[2020-11-15] aspcud 1:1.9.4-3 MIGRATED to testing (Debian testing watch)
[2020-11-12] Accepted aspcud 1:1.9.4-3 (source) into unstable (Ralf Treinen)
[2018-12-28] aspcud 1:1.9.4-2 MIGRATED to testing (Debian testing watch)
[2018-12-25] Accepted aspcud 1:1.9.4-2 (source) into unstable (Ralf Treinen)
[2017-09-29] aspcud 1:1.9.4-1 MIGRATED to testing (Debian testing watch)
[2017-09-24] Accepted aspcud 1:1.9.4-1 (source) into unstable (Ralf Treinen)
[2017-09-16] aspcud 1:1.9.1-3 MIGRATED to testing (Debian testing watch)
[2017-09-10] Accepted aspcud 1:1.9.1-3 (source) into unstable (Ralf Treinen)
[2015-06-28] aspcud 1:1.9.1-2 MIGRATED to testing (Britney)
[2015-06-17] Accepted aspcud 1:1.9.1-2 (source amd64) into unstable (Ralf Treinen)
[2015-05-27] Accepted aspcud 1:1.9.1-1 (source amd64) into unstable (Ralf Treinen)
[2014-06-27] aspcud 1:1.9.0-2 MIGRATED to testing (Debian testing watch)
[2014-06-21] Accepted aspcud 1:1.9.0-2 (source amd64) (Ralf Treinen)
[2014-03-09] aspcud 1:1.8.0-3 MIGRATED to testing (Debian testing watch)
[2014-03-05] Accepted aspcud 1:1.9.0-1 (source amd64) (Ralf Treinen)
[2014-02-26] Accepted aspcud 1:1.8.0-3 (source amd64) (Ralf Treinen)
[2014-01-26] aspcud 1:1.8.0-2 MIGRATED to testing (Debian testing watch)
[2014-01-15] Accepted aspcud 1:1.8.0-2 (source amd64) (Ralf Treinen)
[2014-01-11] Accepted aspcud 1:1.8.0-1 (source amd64) (Ralf Treinen)
[2013-12-23] aspcud 2012.10.24-6 MIGRATED to testing (Debian testing watch)
[2013-12-17] Accepted aspcud 2012.10.24-6 (source amd64) (Ralf Treinen)
[2013-10-20] aspcud 2012.10.24-5 MIGRATED to testing (Debian testing watch)
[2013-10-09] Accepted aspcud 2012.10.24-5 (source amd64) (Ralf Treinen)
[2013-07-10] aspcud 2012.10.24-4 MIGRATED to testing (Debian testing watch)

1
2

bugs [bug history graph]

all: 6
RC: 0
I&N: 5
M&W: 1
F&P: 0
patch: 1

links

homepage
lintian
buildd: logs, checks, reproducibility, cross
popcon
browse source code
edit tags
other distros
screenshots
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 1:1.9.6-2

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers

Report problems to the tracker.debian.org pseudo-package in the Debian BTS.

Documentation — Bugs — Git Repository — Contributing