Opened 12 years ago
Last modified 12 years ago
#37425 closed update
Patch to upgrade Coq to 8.4pl1 — at Initial Version
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.1.2 |
| Keywords: | haspatch | Cc: | |
| Port: | coq |
Description
Enclosed please find a patch to:
1) Upgrade Coq to 8.4pl1 2) Remove the no longer needed dependency on OCaml3
Change History (1)
Changed 12 years ago by pmetzger (Perry E. Metzger)
| Attachment: | coq-portfile-patch added |
|---|
Note: See
TracTickets for help on using
tickets.
Patch to upgrade the Portfile