./dose3-4.0.2/0000755000175000017500000000000012575560741011615 5ustar abateabate./dose3-4.0.2/.gitignore0000644000175000017500000000026512571345127013603 0ustar abateabateMETA Makefile.config _build/ _tags aclocal.m4 algo/algo.mlpack autom4te.cache/ common/versionInfo.ml config.status config.log db/db.mlpack doc/manpages/*.1 *.native *.byte */*\.swp ./dose3-4.0.2/.gitmodules0000644000175000017500000000027212571345127013766 0ustar abateabate[submodule "cudf"] path = cudf url = https://gforge.inria.fr/git/cudf/cudf.git [submodule "tests"] path = tests url = https://gforge.inria.fr/git/dose-testdata/dose-testdata.git ./dose3-4.0.2/.headache.conf0000644000175000017500000000016012571345127014254 0ustar abateabate ".*\\.ml[il]?" -> frame open:"(*" line:"*" close:"*)" | ".*\\.mly" -> frame open:"/*" line:"*" close:"*/" ./dose3-4.0.2/CHANGES0000644000175000017500000001102212571345127012577 0ustar abateabatedose3 (4.0-rc3) UNRELEASED; urgency=low * Minor Bugs -- Pietro Abate 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 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 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 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 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 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 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 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 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-