Debcheck/Rpmcheck is a package repository checker, written in OCaml.

Debcheck/Rpmcheck is a package repository checker, written in OCaml.

It can read package repository metadata in several different formats (essentially the Debian Packages file for DEB packages, and the Mandriva hdlist summary for RPM packages), and output the results of the analysis.

Analysis performed:

• Verification of the metadata w.r.t. formal definition (the tool warns about bad version numbers, for example)
• Verification of installability for a single package, or all the packages in the repository, w.r.t. the repository
• In case of failure, concise explanation of the reasons of non-installability

This tool is based on a conversion of the package information into a CNF logical proposition, and is meant to be sound and complete (it reports all non-installable packages, and only non-installable packages).

Download

Installing Debcheck/Rpmcheck is straightforward: just compile it on a machine having the OCaml tool suite installed.

• The latest Debcheck/Rpmcheck stable version is 1.0(tar.gz)

SVN repository

The bleeding edge of Debcheck/Rpmcheck is available in the EDOS SVN repository at https://protactinium.pps.jussieu.fr:12345/svn/edos/users/vouillon