Opened 11 years ago
Closed 11 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 11 years ago by pmetzger (Perry E. Metzger)
comment:1 Changed 11 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 11 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