apt-cudf - CUDF solver integration for APT

Property Value
Distribution Debian 10 (Buster)
Repository Debian Main i386
Package filename apt-cudf_5.0.1-12_i386.deb
Package name apt-cudf
Package version 5.0.1
Package release 12
Package architecture i386
Package type deb
Category admin
Homepage http://www.mancoosi.org/software/
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 802.74 KB
Installed size 3.27 MB
apt-cudf provides integration among the APT package manager and CUDF solvers,
allowing APT to rely on external (CUDF-based) dependency solvers to plan
package installation, upgrade, and removal.
CUDF is a distribution-independent, standard format to describe dependency
solving scenarios, as faced by package managers in popular package-based
GNU/Linux distributions. APT is a well-known package manager for Debian-based
distributions, which is able to delegate dependency solving to external
solvers, by the means of the External Dependency Solving Protocol (EDSP).
apt-cudf provides the glue between the EDSP protocol and CUDF solvers,
enabling any installed CUDF solver to be used as an external solver for APT.
Several CUDF solvers are available in Debian. They all provide the cudf-solver
virtual package.


Package Version Architecture Repository
apt-cudf_5.0.1-12_amd64.deb 5.0.1 amd64 Debian Main
apt-cudf - - -


Name Value
aspcud -
cudf-solver -
libbz2-1.0 -
libc6 >= 2.28
perl:any -
zlib1g >= 1:1.1.4


Type URL
Mirror ftp.br.debian.org
Binary Package apt-cudf_5.0.1-12_i386.deb
Source Package dose3

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install apt-cudf deb package:
    # sudo apt-get install apt-cudf




2019-01-29 - Ralf Treinen <treinen@debian.org>
dose3 (5.0.1-12) unstable; urgency=medium
* Standards-Version 4.3.0 (no change)
* Fix whitespace in debian/{changelog,control}
* libdose3-ocaml-dev: Recommends ocaml-findlib
2018-06-03 - Mehdi Dogguy <mehdi@debian.org>
dose3 (5.0.1-11) unstable; urgency=medium
* Team upload
* Add a patch to build with ocaml-re 1.7.3 and constraint minimal
required version for ocaml-re in d/control accordingly.
* Update Vcs-* fields
* Refresh patches
2018-04-21 - Ralf Treinen <treinen@debian.org>
dose3 (5.0.1-10) unstable; urgency=medium
* Added a test case for dose-builddebcheck with versioned provides and
a versioned build-dependency, taken from James Clarkes bug report
* Patch 0009-Fix-and-constraints-against-virtual-packages.patch: fix
cudf encoding of versioned and unversioned virtual packages. Thanks a
lot to James Clarke for the patch! (closes: #896084)
* Patch typo-plural: fix some occurrences of "does not exists"
(closes:  #869846).
* Refreshed patch deb-drop-b-d-arch
* Standards-Version 4.1.4:
- Changed Priority from extra to optional
- d/copyright: https in format url
2017-07-19 - Ralf Treinen <treinen@debian.org>
dose3 (5.0.1-9) unstable; urgency=medium
* patch virtual_provides: packages that provide the same virtual package
in different versions, or that provide the same versioned virtual package
as a real package, are co-installable (closes: #867104, #864906).
* add a test-case for bug  #867104
* dose-doc: set Multi-Arch=foreign
* add build-dependency on ocamlbuild
* standards-version 4.0.0 (no change)
2017-01-17 - Ralf Treinen <treinen@debian.org>
dose3 (5.0.1-8) unstable; urgency=medium
* Patches taken from upstream (thanks, Josch!)
- architecture-tuples: replace architecture triples by tuples.
(closes: #843409)
- architectures-dpkg-1.18.15: Update embedded cputable and tupletable
to dpkg 1.18.15
- deb-drop-d-b-arch: add support for --deb-drop-b-d-arch (closes: #850943)
2016-11-03 - Ralf Treinen <treinen@debian.org>
dose3 (5.0.1-7) unstable; urgency=medium
* use pic options only on native architectures.
2016-10-27 - Ralf Treinen <treinen@debian.org>
dose3 (5.0.1-6) unstable; urgency=medium
* New patch ocaml-4.02.3+gcc-6.2.0 as provided by Josch: fix FTBFS. This
patch should probably be removed when we transition to ocaml 4.03.
2016-10-26 - Ralf Treinen <treinen@debian.org>
dose3 (5.0.1-4) unstable; urgency=medium
* Revert the change introduced by 5.0.1-3, since it makes the
autobuilders fail.
2016-10-25 - Ralf Treinen <treinen@debian.org>
dose3 (5.0.1-3) unstable; urgency=medium
* Added build-dependency "ocamlbuild|ocaml-nox(<<4.03)", in view of the
transition to ocaml 4.03 which does no longer include ocamlbuild.
2016-10-16 - Ralf Treinen <treinen@debian.org>
dose3 (5.0.1-2) unstable; urgency=medium
[ Johannes Schauer ]
* Backport more commits from upstream to fix remaining bugs considering
- the handling of Essential:yes packages:
- library bugs that affect packages using libdose3-dev:
[ Ralf Treinen ]
* Patch input-xz-files: accept input from xz-compressed files.
Add dependency on xz-utils.

See Also

Package Description
apt-dater-host_1.0.1-1_all.deb host helper application for apt-dater
apt-dater_1.0.4-2_i386.deb terminal-based remote package update manager
apt-doc_1.8.2_all.deb documentation for APT
apt-dpkg-ref_5.3.1+nmu2_all.deb APT, Dpkg Quick Reference sheet
apt-file_3.2.2_all.deb search for files within Debian packages (command-line interface)
apt-forktracer_0.5_all.deb utility for tracking non-official package versions
apt-listbugs_0.1.28_all.deb tool which lists critical bugs before each APT installation
apt-listchanges_3.19_all.deb package change history notification tool
apt-listdifferences_1.20190206_all.deb source differences notification tool
apt-mirror_0.5.4-1_all.deb APT sources mirroring tool
apt-move_4.2.27-5_i386.deb maintain Debian packages in a package pool
apt-rdepends_1.3.0-6_all.deb recursively lists package dependencies
apt-show-source_0.11_all.deb Shows source-package information
apt-show-versions_0.22.11_all.deb lists available package versions with distribution
apt-src_0.25.2_all.deb manage Debian source packages