
The programs "debcheck" and "rpmcheck" tests respectively whether a
set of Debian or RPM packages can all be installed.  They take as
input a binary package control file (in the Debian case) or an
uncompressed hdlist.cz file (in the RPM case), which provides a list
of packages together with their dependencies.  They then check that for
each package their exists a consistent (all constraints are satisfied)
set of packages containing this package.

COMPILATION

The ocaml compiler must be installed.  Then, just run "make".

USAGE

The commands "./debcheck -help" and "./rpmcheck -help" provides a
short description of the programs and lists the options.

AUTHOR

Jerome Vouillon (Jerome.Vouillon@pps.jussieu.fr)
