Opened 9 years ago
Closed 9 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 9 years ago by pmetzger (Perry E. Metzger)
comment:1 Changed 9 years ago by Ionic (Mihai Moldovan)
Owner: | changed from macports-tickets@… to ionic@… |
---|---|
Status: | new → assigned |
comment:2 Changed 9 years ago by Ionic (Mihai Moldovan)
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.
Patch to upgrade the Portfile