The Coq mailing list

[Hugo Herbelin <herbelin AT pauillac.inria.fr>]

  Hi,

> I can't seem to get the distribution included in
> contrib8 archive to compile without having to go fix
> almost every file.

  Since you mention "contrib8", I'll assume that you downloaded the
contribution from the anonymous cvs server. If so, be sure to download
the most recent version tagged V8-0pl2.

  Otherwise, a simple way to get the current version of the sources
of a contrib is to browse the contributions pages at
http://coq.inria.fr/contribs-eng.html.

  If you still encounter some problem, please send us a detailed
report.

  Hugo Herbelin