The code for camp and related utils:

* src

The latex paper describing camp's theory, and also the start of some coq:

* paper

The tool for converting darcs repos into camp repos:

* darcs2camp    The tool itself
* darcs         A snapshot of the darcs repo, in which the darcs lib
                is known to be compatible with darcs2camp. This is a
                darcs2 repo.