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-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-3
  • oldstable: 1:1.9.6-2
  • stable: 1:1.9.6-2
  • testing: 1:1.9.6-2
  • unstable: 1:1.9.6-2
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]
binaries
  • aspcud (4 bugs: 0, 4, 0, 0)
action needed
Marked for autoremoval on 26 October due to gringo: #1112751, #1112978 high
Version 1:1.9.6-2 of aspcud is marked for autoremoval from testing on Sun 26 Oct 2025. It is affected by #1112751. The removal of aspcud will also cause the removal of (transitive) reverse dependencies: aac-tactics, belenios, ben, botch, calendar, camlbz2, camlp5, camlp5-buildscripts, camomile, ceilometer-instance-poller, coq, coq-bignums, coq-corn, coq-deriving, coq-dpdgraph, coq-elpi, coq-equations, coq-ext-lib, coq-extructures, coq-gappa, coq-hammer, coq-hierarchy-builder, coq-hott, coq-interval, coq-iris, coq-libhyps, coq-math-classes, coq-menhirlib, coq-mtac2, coq-quickchick, coq-record-update, coq-reduction-effects, coq-reglang, coq-relation-algebra, coq-simple-io, coq-stdpp, coq-unicoq, coq-unimath, coqeal, coqprime, coquelicot, diffoscope, dochelp, dose3, eliom, elpi, fio, flocq, guestfs-tools, haxe, headache, hol-light, ironic-python-agent, js-of-ocaml, js-of-ocaml-ocamlbuild, jsonm, kdiskmark, lablgtk3, laby, lambda-term, ledit, libguestfs, libnbd, liquidsoap, lwt, lwt-log, lwt-ssl, mathcomp-algebra-tactics, mathcomp-analysis, mathcomp-bigenough, mathcomp-finmap, mathcomp-multinomials, mathcomp-real-closed, mathcomp-zify, meta-ocaml, meta-unison, mlpost, morbig, morsmall, nbdkit, node-carto, node-hsluv, not-ocamlfind, nproc, nss-passwords, nurpawiki, obus, ocaml-alcotest, ocaml-asn1-combinators, ocaml-astring, ocaml-atd, ocaml-backoff, ocaml-base64, ocaml-batteries, ocaml-bos, ocaml-ca-certs, ocaml-charinfo-width, ocaml-cohttp, ocaml-conduit, ocaml-containers, ocaml-crowbar, ocaml-crunch, ocaml-cry, ocaml-cstruct, ocaml-csv, ocaml-decimal, ocaml-digestif, ocaml-domain-local-await, ocaml-domain-name, ocaml-dscheck, ocaml-duration, ocaml-eqaf, ocaml-expect, ocaml-fmt, ocaml-fpath, ocaml-gen, ocaml-gettext, ocaml-gmap, ocaml-hex, ocaml-hmap, ocaml-inotify, ocaml-iomux, ocaml-ipaddr, ocaml-iter, ocaml-kdf, ocaml-linenoise, ocaml-logs, ocaml-lwt-dllist, ocaml-markup, ocaml-mdx, ocaml-merlin, ocaml-mew-vi, ocaml-mirage-crypto, ocaml-mirage-kv, ocaml-mirage-kv-mem, ocaml-mirage-ptime, ocaml-monolith, ocaml-mtime, ocaml-multicore-bench, ocaml-multicore-magic, ocaml-multicoretests, ocaml-odoc, ocaml-ohex, ocaml-oseq, ocaml-patch, ocaml-pbkdf, ocaml-psq, ocaml-ptime, ocaml-qcheck, ocaml-qtest, ocaml-randomconv, ocaml-rresult, ocaml-saturn, ocaml-sedlex, ocaml-spdx-licenses, ocaml-ssl, ocaml-stringext, ocaml-thread-table, ocaml-topkg, ocaml-unix-errno, ocaml-uri, ocaml-usb, ocaml-uucd, ocaml-uucp, ocaml-uunf, ocaml-uuseg, ocaml-version, ocaml-websocket, ocaml-x509, ocamldap, ocamlformat, ocamlgraph, ocamlviz, ocplib-simplex, ocsigenserver, ocsipersist, ocurl, omd, opam, opam-0install-cudf, opam-file-format, openstreetmap-carto, orpie, ott, oz, paramcoq, pgocaml, poke, poke-elf, ppx-deriving-yojson, ppx-yojson-conv, ppx-yojson-conv-lib, qemu-web-desktop, react, reactivedata, reprotest, sail-ocaml, simplesnap, ssreflect, supermin, tyxml, unison-2.53, utop, uuidm, uutf, virt-p2v, virt-top, virt-v2v, virtnbdbackup, why3, wyrd, yojson, zed, zeroinstall-injector, zfs-auto-snapshot, zfs-linux, zfsnap, zsnapd. 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-09-29 20:01
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-09-29 20:00
version in VCS is newer than in repository, is it time to upload? normal
vcswatch reports that this package seems to have a new changelog entry (version 1:1.9.6-3, distribution UNRELEASED) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:
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-09-28 21:04
1 open merge request in Salsa normal
There is 1 open merge request for this package on Salsa. You should consider reviewing and/or merging these merge requests.
Created: 2025-09-23 Last update: 2025-09-23 20:32
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
[rss feed]
  • [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: 7
  • RC: 0
  • I&N: 5
  • M&W: 1
  • F&P: 1
  • patch: 1
links
  • homepage
  • lintian
  • buildd: logs, 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.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