Opened 10 years ago
Closed 10 years ago
#46062 closed update (fixed)
Upgrade coq to 8.4pl5 -- maintainer patch enclosed
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | Ionic (Mihai Moldovan) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.3.3 |
| Keywords: | haspatch maintainer | Cc: | |
| Port: | coq |
Description
Enclosed find the Portfile patch to upgrade coq to 8.4pl5 -- I'm the maintainer and have tested it.
The patch removes a now unnecessary reference to the patch-kernel-univ.ml.diff patchfile, the contents of which were incorporated by the maintainers -- please also remove that file. (This means there are no more patch files are needed and the "files" directory is now empty.)
Attachments (1)
Change History (3)
Changed 10 years ago by pmetzger (Perry E. Metzger)
comment:1 Changed 10 years ago by Ionic (Mihai Moldovan)
| Owner: | changed from macports-tickets@… to ionic@… |
|---|---|
| Status: | new → assigned |
comment:2 Changed 10 years ago by Ionic (Mihai Moldovan)
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.
Patch to upgrade the Portfile