package dose3

  1. Overview
  2. Docs
Dose library (part of Mancoosi tools)

Install

Dune Dependency

Authors

Maintainers

Sources

dose3-6.1.tar.gz
md5=dedc2f58f2c2b59021f484abc6681d93
sha512=603462645bac190892a816ecb36ef7b9c52f0020f8d7710dc430e2db65122090fdedb24a8d2e03c32bf53a96515f5b51499603b839680d0a7a2146d6e0fb6e34

CHANGES.html

CHANGES

dose3 (6.1) UNRELEASED; urgency=low
  * reintroduce pod2man for manpages instead of pandoc
  * bump dune version to 2.7

 -- Pietro Abate <pietro.abate@nomadic-labs.com>  Tue 09 Feb 2021 09:28:43 AM CET

dose3 (6.0.2) UNRELEASED; urgency=low
  * make compile with OCaml >= 4.03
  * Remove grep-dctrl and add new debGrep tool
  * ensure the same result on 32 and 64 bits archs
  * publish docs on https://irill.gitlab.io/dose3

 -- Pietro Abate <pietro.abate@nomadic-labs.com>  Tue 02 Feb 2021 09:57:57 AM CET

dose3 (6.0.1) UNRELEASED; urgency=low
  * fix CHANGES entry for 6.0
  * ocamlgraph >=2.0
  * removed use of cppo

 -- Johannes Schauer Marin Rodrigues <josch@mister-muffin.de>  Sat, 23 Jan 2021 11:34:32 +0100

dose3 (6.0) UNRELEASED; urgency=low
 * new build system
 * add gitlab-ci
 * camlbz2 >=0.7.0
 * rename opam submodule to opam2
 * ship testcases
 * replace dpkg triplettable support by new dpkg tupletable
 * add --deb-drop-b-d-arch to buildcheck, distcheck and coinstall
 * support for versioned provides
 * support mccs in apt-cudf
 * accept input from xz-compressed files
 * port Python script from py2 to py3
 * support M-A:same conflicts with virtual packages

 -- Pietro Abate <pietro.abate@nomadic-labs.com>  Tue 19 Jan 2021 10:12:01 PM CET

dose3 (5.0) UNRELEASED; urgency=low
 * finally implement keep_package/version/feature properly. The globalid
   index that was used to optionally encode the global constraints is
   now disappeared. This simplify the interface of the solver.
 * massive refactoring. Change of API . All functions in Depsolver*
   accept a new paramenter "global_constraints" that is a vpkgformula
   enconding all packages that must be co-installed by by default with
   each request. This is used to properly encode debian essential packages
   without abusing 'Keep_package as before.
 * Depsolver_int.{solve,init_solver_unit,init_solver_cache} have a new optional
   argument 'explain'. When false, reduce the memory footprint.
 * Depsolver.{check_request,check_request_using} accept a new parameter dummy
   that can be used to pass arbitrary contraints as a cudf.package that is going
   to be coinstalled as part of the request and filtered out in the result.
 * improvements to the documentation and test units
 * add --compare to ceve when used with pef://
 * improvements to distcheck --lowmem
 * StdOptions.lastest now returns an integer to consider only the last n versions
   of each package
 * API change : CudfAdd.latest
 * API change : CudfAdd.inttovar -> CudfAdd.inttopkg
 * API change : add parameter to check_request and check_request_using
 * apt-cudf : package up or downgrades are expressed in a single
   "Install" request and that these do not show up as a "Remove" request anymore.
 * StdOptions.DistribOptions.add_options are now different for each input ( ex.
   StdOptions.DistribOptions.add_debian_options )uu
 * Debian.Printer.pp_* functions are now methods of the Debian.package class

 -- Pietro Abate <pietro.abate@inria.fr>  Thur, 06 Jun 2016 13:13:06 +0200

dose3 (4.3) UNRELEASED; urgency=low
 * Fix exitcode problem with apt-cudf
 * Add new comparison functions to parse npm like versions
 * Make ocamlgraph a hard dependency of dose.
 * Switch to ocamlgraph based explanation graphs by default
 * add {foregin,native}-architecture field to distcheck output
 * add essential cudf property only if really needed. Assuming default otherwise.
 * bump output-version to 1.2
 * add --lowmem option to distcheck (slow, but consumes less memory)
 * remove build-essential field from buildcheck
 * add --deb-drop-b-d-indep and --deb-profiles to ceve
 * API Change. Debian.Debutil.debvpkg is replaced by Pef.Pefcudf.pefvpkg
 * API Change. Depsolver_int.solve has a addition argument "explain"
 * add new option to ditcheck and ceve --compare to specify a comparison
   function to be used with the pef format.

 -- Pietro Abate <pietro.abate@inria.fr>  Thur, 21 Apr 2016 13:13:06 +0200

dose3 (4.2) UNRELEASED; urgency=low

 * Fix META file and other compilation problems (notably on 32 bits architectures)
 * Add back the "Enhances" field in the debian printer
 * the new yaml format also drops the architecture suffix in the package and
   unsat-dependency fields
 * Add new function Depsolver.is_consistent and Debian.Debcudf.get_real_name
 * Expose Diagnostic.request and Diagnostic.result
 * Update the yaml output of outdated (no more cudf-related cruft in package names)
 * bump yaml output-version to 1.1

 -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr>  Thur, 14 Jan 2016 13:13:06 +0200

dose3 (4.1) UNRELEASED; urgency=low
  * New optimization criteria parser. apt-cudf now accepts only optimization criterias in
    misc2012 format.
  * the extended MISC 2012 syntax extends the count criteria allowing the
    following additional forms:
      count(selector,field:=/plain/)
      count(selector,field:~/regex/)
  * Update Documentation
  * Modules are renamed (compiled with -pack) :
    Versioning.Debian
    Versioning.Semver
  * API change : Debian.Debcudf.get_real_version tables now returns
    a tuple (name, version) . Name is the original Debian name without
    encoding ( "src:" , ":$arch" , "--virtual-" ).
  * Implement versioned provides
  * strict dependency ocamlgraph >= 1.8.6
  * strict dependency extlib >= 1.7.0
  * new cudf property for deb/edsp types
    native is 1 if the pkg architecture is equal to the native architecture,
    0 otherwise. This can be used to maximise the number of packages
    belonging to the native architecture ( +sum(solution,active) )
  * better parsing and error reporting
  * More Module refactoring (algo/deb/pef/opam)

 -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr>  Tue, 01 Dec 2015 13:13:06 +0200

dose3 (4.0) UNRELEASED; urgency=low
  * Minor Bugs
  * Add opam module
  * Major refactoring of parsing functions Pef/Deb/Opam

 -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr>  Mon, 29 June 2015 13:13:06 +0200


dose3 (4.0-rc3) UNRELEASED; urgency=low
  * Minor Bugs

 -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr>  Mon, 29 June 2015 13:13:06 +0200

dose3 (4.0-rc2) UNRELEASED; urgency=low
  * Add new module Versioning to group all the comparison functions
  * Add a new comparison schema (http://semver.org/)
  * Add new two new ceve output formats: deb and debsrc

 -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr>  Fri, 26 June 2015 13:13:06 +0200

dose3 (4.0-rc1) UNRELEASED; urgency=low
  * Remove dependency to camlp4. Add build dependency to cppo
  * Add option --dot to create explanation graphs in dot format
  * add 'out-version' field to yaml format
  * Debian Essential packages are now kept into account while
    generating strong dependencies. You must pass
    --deb-ignore-essential to restore the previous behaviour
  * Add --latest to challenged
  * Add new format PEF : package export format
  * Drop eclipse format (superceded by PEF)
  * Drop cv format (superceded by PEF)
  * Ceve can read source packages
  * Add grep-able one line explanations (success/failure) to distcheck
  * Switch architecture and name around in cudf representation for debian packages
  * Add new function to detect unsused dependencies/conflicts
  * API change : Diagnostic.request, Depsolver.request, StdLoaders.load_list,
    Debcudf.init_tables,
  * add debsrc input format to ceve

 -- Pietro Abate <pietro.abate@pps.univ-paris-diderot.fr>  Wed, 24 June 2015 13:13:06 +0200

dose3 (3.3) UNRELEASED; urgency=low

  * Clearly forgot to update this file ...

dose3 (3.2.1) UNRELEASED; urgency=low

  * Support for debian multi-arch format
  * Add deb-coinstall to check the coinstallation of multiple debian packages
  * Numerous bug fixes to buildcheck
  * Drop PCRE in favour of Ocaml Re library
  * New framework to run unit-tests
  * Support for EDSP 0.5 (backward compatibility with EDSP 0.4)
  * bump dependency to cudf 0.7
  * bump dependency to ocamlgraph 1.8.5

 -- Pietro Abate <pietro.abate@pps.jussieu.fr>  Wed, 14 May 2014 13:13:06 +0200

dose3 (3.1.4) UNRELEASED; urgency=low

  * Add new option to deb-buildcheck (--defaultedMAforeign)
  * Add Graphml printer to Defaultgraphs
  * Apt-cudf: Always print packages that were specified in the request
  * Add external solver API (CudfSolver)
  * Consider build-indep by default when loading dependencies from debian
    source packages

 -- Pietro Abate <pietro.abate@pps.jussieu.fr>  Fri, 9 Nov 2012 09:00:00 +0200

dose3 (3.1) UNRELEASED; urgency=low

  * Speed up compilation
  * Add multi-arch support and cross-compilation options to deb-buildcheck
  * Add --trim to ceve
  * Add multi-arch unit-tests
  * Fix Hold and Essential handling in edsp
  * Add --latest to deb-buildcheck
  * Add --checkonly to deb-buildcheck

 -- Pietro Abate <pietro.abate@pps.jussieu.fr>  Thu, 4 Oct 2012 09:00:00 +0200

dose3 (3.0.2-hotfix) UNRELEASED; urgency=low

  * Fix debian bug #685171 and regression
  * Fix candidate selection problem in apt-cudf
  * Update manpage for deb-buildcheck

 -- Pietro Abate <pietro.abate@pps.jussieu.fr>  Thu, 4 Oct 2012 09:00:00 +0200

dose3 (3.0.2) UNRELEASED; urgency=low

  * Fix  performance regression introduced in version 3.0

 -- Pietro Abate <pietro.abate@pps.jussieu.fr>  Wed, 25 Jun 2012 09:00:00 +0200

dose3 (3.0) UNRELEASED; urgency=low

  * Fix the encoding of debian essential packages
  * Fix META file
  * Add more tests for all shipped applications

 -- Pietro Abate <pietro.abate@pps.jussieu.fr>  Wed, 13 Jun 2012 16:55:51 +0200

dose3 (2.9.16) UNRELEASED; urgency=low

  * Add CHANGES and CREDITS files
  * add distributions specific options (ex : --deb-<option>)
  * Change the behaviour of the edos solver to honor "Keep package" annotations
  * Change the default behaviour of distcheck to always consider debian essential
    packages. The old behaviour can be restored using --deb-ignore-essential
  * Add --minimal to distcheck to restrict the installation set of a package $p$
    only to packages in the dependency cone of $p$. By default all packages marked
    as "Keep" are part of installation set.
  * Add Debian multi-arch translation to cudf.
  * Add debian specific options to filter dependencies and packages based on the
    allowed architectures (APT::Architecture , APT::Architectures::)
  * add opencsw format support.
  * Numerous bug fixes and performance improvements.
  * fix apt-cudf to deal with multi-arch enabled machines
  * Graduate strong-deps and dominators
  * add conf file for apt-cudf

 -- Pietro Abate <pietro.abate@pps.jussieu.fr>  Thu, 12 Apr 2012 10:05:18 +0200
OCaml

Innovation. Community. Security.