La versión 8.0 (y posteriores) de COQ y una IDE pueden obtenerse en el sitio web de coq, que, entre otros materiales contiene:

• Portable sources coq-8.0pl2.tar.gz to be compiled with Objective Caml (version ≥ 3.06 but 3.08.0)
• Binaries
  • Linux
    • coq-8.0pl2-1.i386.rpm
    • coqide-8.0pl2-1.i386.rpm
  • Mac OS X
    • coq-8.0pl2-macosx.dmg
  • Windows
    • Coq-8.0-Win.zip(installation procedure)
    • CoqIDE-8.0-Win.zip
  • Solaris
    • coq-8.0-SunOS-sun4u.tar.gz

• Other files (sources rpms, Coq for PCoq etc ...)

Ghostscript, Ghostview and GSview: Desde aquí se pueden bajar los programas para ver e imprimir documentos en postscript.