Working with Coq

Coq is a programming language & compiler. Third-party libraries are usually installed at a fixed location; which cannot work under Nix. Since version 8.4, the environment variable $COQPATH can be used to tell coq in which directories it should look for libraries.

This set of patches takes advantage of this feature to ease the packaging and use of third-party coq libraries. A hook populates the $COQPATH variable; it expects libraries to be installed in `…/lib/coq/${coq-version}/user-contrib/`.

As examples (and useful packages), there are derivations for three libraries.