#2145 closed defect (fixed)
UPDATE: coq-8.0pl1
| Reported by: | reilles@… | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.0 |
| Keywords: | Cc: | ||
| Port: |
Description
Here is an update of the coq port to work with ocaml 3.08.0
It forks for me (exept a little ranlib problem, but i hope i'ts because i have a slightly custom ocaml installation
the diff will be added a attached file
Attachments (1)
Note: See
TracTickets for help on using
tickets.
the diff file