package dose3-extra

  1. Overview
  2. Docs
Dose-extra libraries and tools (part of Mancoosi tools)


Dune Dependency






The dose-extra suite provides libraries for handling package meta-data, and various tools for analyzing package relationships in a large package repository.

  • dose-builddebcheck checks, given a collection of source package stanzas and a collection of binary package stanzas of Debian packages, whether the build-dependencies of each source package can be satisfied by the binary packages.
  • dose-distcheck checks for every package of a distribution whether it is possible to satisfy its dependencies and conflicts within this distribution.
  • ceve, a general metadata parser supporting different input formats (Debian, rpm, and others) and different output formats.
  • dose-outdated, a Debian-specific tool for finding packages that are not installable with respect to a package repository, and that can only be made installable again by fixing the package itself.
  • dose-challenged, a Debian-specific tool for checking which packages will certainly become uninstallable when some existing package is upgraded to a newer version.
  • dose-deb-coinstall, a Debian-specific tool for checking whether a set of packages can be installed all together.

Published: 22 Jul 2021




The dose Git report uses submodules to reference external repositories. In

    cudf/         points to the cudf Git repo of mancoosi-tools
    tests/        points to the dose-testdata Git repo of mancoosi-tools

After cloning the dose Git repo, just use the following to populate the

    git submodule update --init

See the git submodules documentation for more usage information [1,2].


Note that the submodules are configured using the public git clone URL of
external repositories (i.e. instead of
git+ssh:// This is to allow people checking out the
dose code to easily retrieve the submodules. The drawback is that by default
you cannot push your changes via those URLs. Just add a separate git+ssh remote
and push to it.

 -- Stefano Zacchiroli <>  Sun, 27 Nov 2011 17:51:30 +0100

Dependencies (7)

  1. parmap >= "1.1"
  2. camlzip >= "1.08"
  3. camlbz2 >= "0.7.0"
  4. extlib >= "1.7.8"
  5. dose3 = version
  6. ocaml >= "4.03"
  7. dune >= "2.7"

Dev Dependencies (6)

  1. odoc with-doc
  2. conf-dpkg with-test
  3. conf-python3-yaml with-test
  4. conf-python-3 with-test
  5. ounit with-test
  6. ocaml with-test & < "5.0"

Used by





Innovation. Community. Security.