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

1 files changed, 21 insertions, 39 deletions

diff --git a/misc/dose3/PLIST b/misc/dose3/PLIST
index 134fe5bc5e0..ca4142fb6ff 100644
--- a/misc/dose3/PLIST
+++ b/misc/dose3/PLIST
@@ -1,24 +1,10 @@
-@comment $NetBSD: PLIST,v 1.2 2014/11/06 11:59:17 jaapb Exp $
-bin/apt-cudf
-bin/ceve
-bin/challenged
-bin/deb-buildcheck
-bin/deb-coinstall
-bin/debcheck
-bin/distcheck
-${PLIST.ocamlgraph}bin/dominators-graph
-bin/eclipsecheck
-bin/outdated
-bin/rpmcheck
-${PLIST.ocamlgraph}bin/smallworld
-${PLIST.ocamlgraph}bin/strong-deps
+@comment $NetBSD: PLIST,v 1.3 2016/06/19 10:36:58 jaapb Exp $
 ${OCAML_SITELIB}/dose3/META
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/algo.a
 ${OCAML_SITELIB}/dose3/algo.cma
 ${OCAML_SITELIB}/dose3/algo.cmi
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/algo.cmxa
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/algo.cmxs
-${OCAML_SITELIB}/dose3/architecture.mli
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/common.a
 ${OCAML_SITELIB}/dose3/common.cma
 ${OCAML_SITELIB}/dose3/common.cmi
@@ -29,20 +15,11 @@ ${OCAML_SITELIB}/dose3/csw.cma
 ${OCAML_SITELIB}/dose3/csw.cmi
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/csw.cmxa
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/csw.cmxs
-${OCAML_SITELIB}/dose3/cudfAdd.mli
-${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/cv.a
-${OCAML_SITELIB}/dose3/cv.cma
-${OCAML_SITELIB}/dose3/cv.cmi
-${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/cv.cmxa
-${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/cv.cmxs
-${OCAML_SITELIB}/dose3/debcudf.mli
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/debian.a
 ${OCAML_SITELIB}/dose3/debian.cma
 ${OCAML_SITELIB}/dose3/debian.cmi
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/debian.cmxa
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/debian.cmxs
-${OCAML_SITELIB}/dose3/depsolver.mli
-${OCAML_SITELIB}/dose3/diagnostic.mli
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/doseparse.a
 ${OCAML_SITELIB}/dose3/doseparse.cma
 ${OCAML_SITELIB}/dose3/doseparse.cmi
@@ -53,18 +30,23 @@ ${OCAML_SITELIB}/dose3/doseparseNoRpm.cma
 ${OCAML_SITELIB}/dose3/doseparseNoRpm.cmi
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/doseparseNoRpm.cmxa
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/doseparseNoRpm.cmxs
-${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/eclipse.a
-${OCAML_SITELIB}/dose3/eclipse.cma
-${OCAML_SITELIB}/dose3/eclipse.cmi
-${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/eclipse.cmxa
-${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/eclipse.cmxs
-${OCAML_SITELIB}/dose3/edosSolver.mli
-${OCAML_SITELIB}/dose3/format822_parser.mli
-${OCAML_SITELIB}/dose3/input.mli
-${OCAML_SITELIB}/dose3/packages_parser.mli
-${OCAML_SITELIB}/dose3/release.mli
-${PLIST.ocamlgraph}${OCAML_SITELIB}/dose3/strongdeps.mli
-${OCAML_SITELIB}/dose3/url.mli
-${OCAML_SITELIB}/dose3/util.mli
-${OCAML_SITELIB}/dose3/version.mli
-@pkgdir ${OCAML_SITELIB}/stublibs
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/npm.a
+${OCAML_SITELIB}/dose3/npm.cma
+${OCAML_SITELIB}/dose3/npm.cmi
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/npm.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/npm.cmxs
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/opam.a
+${OCAML_SITELIB}/dose3/opam.cma
+${OCAML_SITELIB}/dose3/opam.cmi
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/opam.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/opam.cmxs
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/pef.a
+${OCAML_SITELIB}/dose3/pef.cma
+${OCAML_SITELIB}/dose3/pef.cmi
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/pef.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/pef.cmxs
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/versioning.a
+${OCAML_SITELIB}/dose3/versioning.cma
+${OCAML_SITELIB}/dose3/versioning.cmi
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/versioning.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/dose3/versioning.cmxs