dose3 4.1-3 source package in Ubuntu
Changelog
dose3 (4.1-3) unstable; urgency=medium * Fix META file: debian.cm{,x}a needs pef.cm{,x}a. The latter must appear first in the META file. * Add patch to correclty compute max_int on 32bits architectures (Closes: #810513). Thanks to Julian Andres Klode for the patch. -- Mehdi Dogguy <email address hidden> Sat, 09 Jan 2016 20:01:04 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- ocaml
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
dose3_4.1-3.dsc | 2.5 KiB | 6d25709affda246855f1c14c3660d86307053958b586f7bff9c06225ef51ff8f |
dose3_4.1.orig.tar.gz | 274.3 KiB | 2f4aac77326277ca369e1be8372dd95fd6231bc379d57dfcda5f1baafbaa5a9c |
dose3_4.1-3.debian.tar.xz | 19.0 KiB | c273a687192947b5d1c8611205ebf0899ff6a980a4eb771405c1f6a210c9fe5e |
Available diffs
- diff from 4.1-2 to 4.1-3 (1.1 KiB)
No changes file available.
Binary packages built by this source
- apt-cudf: CUDF solver integration for APT
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.
- dose-builddebcheck: Checks whether build-dependencies can be satisfied
This software 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 whether dependencies of packages can be satisfied
This software checks for every package of a distribution whether it
is possible to satisfy its dependencies and conflicts within this
distribution. It comes in several versions:
- dose-debcheck for Debian packages
- dose-rpmcheck for rpm packages
- dose-eclipsecheck for OSGi plugins
- dose-extra: Extra QA tools from the Dose3-library
This package contains extra tools for analyzing meta-data of software
packages:
- 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-coinstall, a Debian-specific tool for checking whether a set of
packages can be installed all together.
The tools dose-distcheck and dose-builddebcheck are packaged in their
own resepective packages.
- libdose3-ocaml: OCaml libraries for package dependencies (runtime files)
Dose3 is a framework consisting of several OCaml libraries for analysing
the metadata of software packages (like Packages files of Debian suites).
.
Though not tied to any particular distribution, Dose3 constitutes a
pool of libraries which enable analyzing packages coming from various
distributions.
.
Besides basic functionalities for querying and setting package
properties, dose3 also implements algorithms for solving more complex
problems (monitoring package evolutions, correct and complete
dependency resolution, repository-wide uninstallability checks).
.
This package contains only the shared runtime stub libraries.
- libdose3-ocaml-dev: OCaml libraries for package dependencies (development files)
Dose3 is a framework consisting of several OCaml libraries for analysing
the metadata of software packages (like Packages files of Debian suites).
.
Though not tied to any particular distribution, Dose3 constitutes a
pool of libraries which enable analyzing packages coming from various
distributions.
.
Besides basic functionalities for querying and setting package
properties, dose3 also implements algorithms for solving more complex
problems (monitoring package evolutions, correct and complete
dependency resolution, repository-wide uninstallability checks).
.
This package contains the development stuff you need to use dose3 for
the development of programs.