Hello: I've updated the math/coq port to the latest stable release. Building required the addition of a new port, camlp5 (which I posted earlier), and an update of textproc/hevea.
http://www.nimahoda.info/pub/coq.tar.gz http://www.nimahoda.info/pub/camlp5.tar.gz http://www.nimahoda.info/pub/hevea.fix.tar.gz The coq port has been broken for a while now, so please help me test it and provide comments. Note: I'm not a subscriber to this list so please CC me in your responses. Sincerely, Nima Hoda
