Log Message:
Updated package to latest version, 5.0~rc2. Changes include:

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
 * 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