#37425 closed update (fixed)
coq: update to 8.4pl1
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | reilles@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.1.2 |
| Keywords: | haspatch | Cc: | ryandesign (Ryan Carsten Schmidt), ecronin (Eric Cronin) |
| Port: | coq |
Description (last modified by ryandesign (Ryan Carsten Schmidt))
Enclosed please find a patch to:
- Upgrade Coq to 8.4pl1
- Remove the no longer needed dependency on OCaml3
Attachments (1)
Change History (6)
Changed 11 years ago by pmetzger (Perry E. Metzger)
| Attachment: | coq-portfile-patch added |
|---|
comment:1 Changed 11 years ago by ryandesign (Ryan Carsten Schmidt)
| Cc: | ryandesign@… added |
|---|---|
| Keywords: | haspatch added |
| Owner: | changed from macports-tickets@… to reilles@… |
| Summary: | Patch to upgrade Coq to 8.4pl1 → coq: update to 8.4pl1 |
Thanks.
The revision line should be removed when increasing the version.
Antoine, is this ok to commit?
comment:2 Changed 11 years ago by ryandesign (Ryan Carsten Schmidt)
| Description: | modified (diff) |
|---|
comment:3 Changed 11 years ago by pmetzger (Perry E. Metzger)
Would it be possible to get this patch applied? It has been open for a while...
comment:4 Changed 11 years ago by ecronin (Eric Cronin)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Maintainer timeout. r102359
comment:5 Changed 11 years ago by ryandesign (Ryan Carsten Schmidt)
| Cc: | ecronin@… added |
|---|
Don't change it now, but you didn't remove the revision line as mentioned above.
Note: See
TracTickets for help on using
tickets.
Patch to upgrade the Portfile