ports/72718: [NEW PORT] math/coq: Theorem prover based on lambda-C

[Pav Lucistnik]

Synopsis: [NEW PORT] math/coq: Theorem prover based on lambda-C

State-Changed-From-To: open->closed
State-Changed-By: pav
State-Changed-When: Sat Oct 16 00:57:22 GMT 2004
State-Changed-Why: 
New port added, thank you!

http://www.freebsd.org/cgi/query-pr.cgi?pr=72718