Opened 12 years ago
Closed 12 years ago
#32074 closed update (fixed)
coq: update to 8.3pl2
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | reilles@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | ||
| Port: | coq |
Description
Coq 8.3pl2 has been out for some time -- the port should probably be updated.
Attachments (1)
Change History (6)
comment:1 Changed 12 years ago by pmetzger (Perry E. Metzger)
| Cc: | perry@… added |
|---|
comment:2 Changed 12 years ago by ryandesign (Ryan Carsten Schmidt)
| Cc: | perry@… removed |
|---|---|
| Owner: | changed from macports-tickets@… to reilles@… |
| Port: | coq added; Coq removed |
| Summary: | Please upgrade Coq to 8.3pl2 → coq: update to 8.3pl2 |
| Version: | 2.0.3 |
comment:3 Changed 12 years ago by pmetzger (Perry E. Metzger)
I've done the upgrade in my own tree -- I am attaching the diff.
Changed 12 years ago by pmetzger (Perry E. Metzger)
| Attachment: | Portfile.diff added |
|---|
patch to Portfile
comment:4 Changed 12 years ago by pmetzger (Perry E. Metzger)
Any chance of having this patch applied? It is really simple and works fine.
comment:5 Changed 12 years ago by drkp (Dan Ports)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Applied in r87727
Note: See
TracTickets for help on using
tickets.
Cc Me!