Opened 10 years ago
Closed 10 years ago
#41877 closed update (fixed)
coq @8.4pl2_1: update to 8.4pl3
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | larryv (Lawrence Velázquez) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | haspatch | Cc: | |
| Port: | coq |
Description
The enclosed patch will upgrade coq to 8.4pl3
Attachments (1)
Change History (3)
Changed 10 years ago by pmetzger (Perry E. Metzger)
comment:1 Changed 10 years ago by larryv (Lawrence Velázquez)
| Keywords: | maintainer removed |
|---|---|
| Owner: | changed from macports-tickets@… to larryv@… |
| Status: | new → assigned |
| Summary: | Upgrade coq to 8.4pl3 → coq @8.4pl2_1: update to 8.4pl3 |
| Version: | 2.2.1 |
Thanks. This port doesn’t currently have a maintainer; would you be interested in volunteering?
comment:2 Changed 10 years ago by larryv (Lawrence Velázquez)
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
The checksums in your patch were incorrect.
Note: See
TracTickets for help on using
tickets.
Patch to upgrade the Portfile