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)

patch (971 bytes) - added by pmetzger (Perry E. Metzger) 10 years ago.
Patch to upgrade the Portfile

Download all attachments as: .zip

Change History (3)

Changed 10 years ago by pmetzger (Perry E. Metzger)

Attachment: patch added

Patch to upgrade the Portfile

comment:1 Changed 10 years ago by Ionic (Mihai Moldovan)

Owner: changed from macports-tickets@… to ionic@…
Status: newassigned

comment:2 Changed 10 years ago by Ionic (Mihai Moldovan)

Resolution: fixed
Status: assignedclosed
Note: See TracTickets for help on using tickets.