package dose3
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>