After having published a while ago the specification of CUDF (a common format language to describe the syntax and semantics of upgrade problems in a distribution-independent way), we are finally read to announce the first library implementing it. Yay.

The library is called libCUDF and implements both the syntax (i.e., the ability to read and write files in CUDF format) and semantics of CUDF. This means that, for example, you can check whether upgrade solutions match upgrade problems, or whether a given package installation represented in CUDF is consistent (contains no "broken packages", in the APT lingo). Actually, these common abilities are available also as a command line utility, called cudf-checker.

The library is implemented in OCaml, but bindings for C are also available, hence you can use it form pretty much anywhere.

You can download the library from the (new!) software section of the Mancoosi website.

Debian packages will be available soon in the Mancoosi package repository, but if you cannot hold your breath you can check out the SVN version, where a debianized source tree is already available.