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.4-3
  • maintainer: Ralf Treinen (DMD)
  • arch: any
  • std-ver: 4.5.0
  • 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.0-2
  • oldstable: 1:1.9.1-2
  • stable: 1:1.9.4-2
  • testing: 1:1.9.4-3
  • unstable: 1:1.9.4-3
versioned links
  • 1:1.9.0-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 1:1.9.1-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 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]
binaries
  • aspcud (2 bugs: 0, 2, 0, 0)
action needed
A new upstream version is available: 1.9.5 high
A new upstream version 1.9.5 is available, you should consider packaging it.
Created: 2021-01-12 Last update: 2021-01-25 17:04
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.5.1 instead of 4.5.0).
Created: 2020-11-17 Last update: 2020-11-17 05:41
news
[rss feed]
  • [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)
  • [2013-06-29] Accepted aspcud 2012.10.24-4 (source amd64) (Ralf Treinen)
  • [2013-06-04] aspcud 2012.10.24-3 MIGRATED to testing (Debian testing watch)
  • [2013-05-24] Accepted aspcud 2012.10.24-3 (source amd64) (Ralf Treinen)
  • [2013-05-22] aspcud 2012.10.24-2 MIGRATED to testing (Debian testing watch)
  • [2013-05-10] Accepted aspcud 2012.10.24-2 (source amd64) (Ralf Treinen)
  • [2012-11-04] Accepted aspcud 2012.10.24-1 (source amd64) (Ralf Treinen)
  • 1
  • 2
bugs [bug history graph]
  • all: 2
  • RC: 0
  • I&N: 2
  • M&W: 0
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian
  • buildd: logs, checks, clang, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
  • debci
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 1:1.9.4-3

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing