The Coq mailing list

[Tom Prince <tom.prince AT ualberta.net>]

On Thu, 29 Sep 2011 12:25:11 -0400, Bradford Larsen 
<brad.larsen AT gmail.com>
 wrote:
> I'm looking for an example of a separately distributed tactic written
> in OCaml.  The Coq FAQ says, "You have some examples of tactics
> written in Ocaml in the “contrib” directory of Coq sources"
> <http://coq.inria.fr/faq?som=11#htoc154>.  Unfortunately, there is no
> `contrib` directory to be found.

The contribs are located here.

https://gforge.inria.fr/projects/coq-contribs