View the most recent changes for the coq port at: coq.darwinports.com/diff
Scroll down toward the bottom of the page to get installation instructions for coq.
The raw portfile for coq 8.2pl1 is located here:
http://coq.darwinports.com/dports/lang/coq/Portfile
Find related portfiles with the unique DarwinPorts.com search feature.
Check for any related Fink projects here: pdb.finkproject.org/pdb/package.php/coq

The coq Portfile 58228 2009-09-24 16:23:16Z ryandesign macports.org $

PortSystem 1.0

Name: coq
Version: 8.2pl1
Revision: 1
Platform: darwin
Category: lang math
Maintainers: loria.fr:reilles
Homepage: http://coq.inria.fr/
Master Sites: ${homepage}V${version}/files/

Description: Proof assistant for higher-order logic
Long Description: Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <${homepage}>.

Checksums: md5 36eed48bc63ada8abf27f96eb126906c sha1 4aed3302adc2edbaa5d97984512c1c13014bd649 rmd160 dd5758a94bb3de49967cec76baa33eb5169659ce

use_parallel_build yes
configure.pre_args -prefix ${prefix}
configure.args -emacslib ${prefix}/share/emacs/site-lisp/ -mandir ${prefix}/share/man -coqdocdir ${prefix}/share/coq/latex -coqide none -with-doc no
depends_lib bin:ocamlc:ocaml port:camlp5
build.target world
destroot.target install
destroot.destdir COQINSTALLPREFIX=${destroot}
Patch Files: patch-doc-tools-latex_filter.diff

post-activate { ui_msg "The style file for LaTeX documentation,"
ui_msg "coqdoc.sty, is in ${prefix}/share/coq/latex."
ui_msg "Add this to your TEXINPUTS if you wish to"
ui_msg "use it."
}

Variant: doc description {Build documentation} {
depends_build-append port:texlive port:hevea port:netpbm
configure.args-delete -with-doc no
configure.args-append -with-doc yes
}

Variant: coqide description {Install CoqIDE} {
depends_lib-append port:lablgtk2
configure.args-delete -coqide none
configure.args-append -coqide opt
}

If you haven't already installed Darwin Ports, you can find easy instructions for doing so at the main Darwin Ports page.
Once Darwin Ports has been installed, in a terminal window and while online, type the following and hit return:

%  cd /opt/local/bin/portslocation/dports/coq
%  sudo port install coq  
Password: 

You will then be prompted for your root password, which you should enter. You may have to wait for a few minutes while the software is retrieved from the network and installed for you. Y ou should see something that looks similar to:

--->  Fetching coq
--->  Verifying checksum for coq
--->  Extracting coq
--->  Configuring coq
--->  Building coq with target all

--->  Staging coq into destroot

--->  Installing coq

- Make sure that you do not close the terminal window while Darwin Ports is working. Once the software has been installed, you can find further information about using coq with these commands:

%  man coq
%  apropos coq
%  which coq
%  locate coq

 Where to find more information: