Opened 8 years ago
Closed 8 years ago
#51867 closed update (fixed)
Update coq to 8.5p2 -- maintainer patch enclosed
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.3.4 |
| Keywords: | haspatch maintainer | Cc: | |
| Port: | coq |
Description
Please upgrade coq to 8.5pl2. I'm the maintainer and have enclosed a patch.
Attachments (1)
Change History (2)
Changed 8 years ago by pmetzger (Perry E. Metzger)
comment:1 Changed 8 years ago by neverpanic (Clemens Lang)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Thank you for your patch. I have committed it in r150370.
Note: See
TracTickets for help on using
tickets.
Patch to upgrade the Portfile