#1542 closed defect (fixed)
NEW: coq-8.0beta
| Reported by: | reilles@… | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.0 |
| Keywords: | Cc: | ||
| Port: |
Description
ortname-1.2.3
the portfile can be found here: ATTACHED or http://www.loria.fr/~reilles/dports/lang/coq/Portfile
Description: Proof assistant for higher-order logic
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.
Homepage: http://coq.inria.fr
Comments: this port is also simple, and installs an emacs mode in /opt/local/share/emacs/site-lisp, i guess it is correct. The maintainer mail address is correct, just an alias
Attachments (1)
Note: See
TracTickets for help on using
tickets.
The Portfile : it worked well for me