[MacPorts] #46062: Upgrade coq to 8.4pl5 -- maintainer patch enclosed

MacPorts noreply at macports.org
Sat Nov 29 08:49:38 PST 2014


#46062: Upgrade coq to 8.4pl5 -- maintainer patch enclosed
---------------------------------+--------------------------------
 Reporter:  perry@…              |      Owner:  macports-tickets@…
     Type:  update               |     Status:  new
 Priority:  Normal               |  Milestone:
Component:  ports                |    Version:  2.3.3
 Keywords:  haspatch maintainer  |       Port:  coq
---------------------------------+--------------------------------
 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.)

-- 
Ticket URL: <https://trac.macports.org/ticket/46062>
MacPorts <https://www.macports.org/>
Ports system for OS X


More information about the macports-tickets mailing list