Opened 21 years ago

Closed 21 years ago

Last modified 21 years ago

#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)

Portfile (751 bytes) - added by reilles@… 21 years ago.
The Portfile : it worked well for me

Download all attachments as: .zip

Change History (3)

Changed 21 years ago by reilles@…

Attachment: Portfile added

The Portfile : it worked well for me

comment:1 Changed 21 years ago by olegb@…

This doesnt install properly into destroot!

comment:2 Changed 21 years ago by olegb@…

Resolution: fixed
Status: newclosed

commited, thanks

Note: See TracTickets for help on using tickets.