Opened 9 years ago
Closed 9 years ago
#48097 closed update (fixed)
coq @8.4pl5_0: update to 8.4pl6
Reported by: | pmetzger (Perry E. Metzger) | Owned by: | larryv (Lawrence Velázquez) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | |
Keywords: | haspatch maintainer | Cc: | |
Port: | coq |
Description
Please upgrade coq to 8.4pl6. I'm the port maintainer and have enclosed a patch for the portfile. The patch only bumps the version number and the checksum, nothing else is needed.
Attachments (1)
Change History (3)
Changed 9 years ago by pmetzger (Perry E. Metzger)
Attachment: | coq-Portfile.patch added |
---|
comment:1 Changed 9 years ago by larryv (Lawrence Velázquez)
Owner: | changed from macports-tickets@… to larryv@… |
---|---|
Status: | new → assigned |
Summary: | Upgrade coq to 8.4pl6 -- maintainer patch enclosed → coq @8.4pl5_0: update to 8.4pl6 |
Version: | 2.3.3 |
Thanks!
comment:2 Changed 9 years ago by larryv (Lawrence Velázquez)
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.
Patch to upgrade the Portfile