Debian Package Tracker
Register | Log in
Subscribe

aspcud

CUDF solver based on Answer Set Programming

Choose email to subscribe with

general
  • source: aspcud (main)
  • version: 1:1.9.6-3
  • maintainer: Ralf Treinen (DMD)
  • arch: any
  • std-ver: 4.7.2
  • 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-3
  • oldstable: 1:1.9.6-2
  • stable: 1:1.9.6-2
  • testing: 1:1.9.6-3
  • unstable: 1:1.9.6-3
versioned links
  • 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]
  • 1:1.9.6-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • aspcud (4 bugs: 0, 4, 0, 0)
action needed
Marked for autoremoval on 01 November due to gringo: #1112978 high
Version 1:1.9.6-3 of aspcud is marked for autoremoval from testing on Sat 01 Nov 2025. It depends (transitively) on gringo, affected by #1112978. You should try to prevent the removal by fixing these RC bugs.
Created: 2025-09-26 Last update: 2025-10-02 23:00
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-10-02 23:30
4 new commits since last upload, is it time to release? normal
vcswatch reports that this package seems to have new commits in its VCS but has not yet updated debian/changelog. You should consider updating the Debian changelog and uploading this new version into the archive.

Here are the relevant commit logs:
commit 3d0956d373d11ef25dd4c4c8cd0bc0d02c334f63
Author: Ralf Treinen <treinen@debian.org>
Date:   Tue Sep 30 01:12:15 2025 +0200

    upload to unstable

commit dfd90a4f46127d965fd1ee008f9b273273a37aa0
Author: Ralf Treinen <treinen@debian.org>
Date:   Sun Sep 28 20:23:31 2025 +0200

    bump cmake version

commit a366949a07bc69fd9badef58f08f4abda1297c48
Author: Ralf Treinen <treinen@debian.org>
Date:   Sun Sep 28 20:55:47 2025 +0200

    bump standards version

commit 7ab20b8ae6b7eb264d9552949b73e76de83e2ef1
Author: Ralf Treinen <treinen@debian.org>
Date:   Sun Sep 28 20:23:31 2025 +0200

    bump cmake version
Created: 2025-09-28 Last update: 2025-10-02 03:31
debian/patches: 1 patch to forward upstream low

Among the 1 debian patch available in version 1:1.9.6-3 of the package, we noticed the following issues:

  • 1 patch where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.
Created: 2025-09-30 Last update: 2025-09-30 09:33
news
[rss feed]
  • [2025-10-02] aspcud 1:1.9.6-3 MIGRATED to testing (Debian testing watch)
  • [2025-09-29] Accepted aspcud 1:1.9.6-3 (source) into unstable (Ralf Treinen)
  • [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)
  • 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, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debian patches
  • debci
ubuntu Ubuntu logo [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