[MacPorts] #48949: ProofGeneral @ 3.7.1 upgrade to latest?
MacPorts
noreply at macports.org
Tue Sep 22 11:45:01 PDT 2015
#48949: ProofGeneral @ 3.7.1 upgrade to latest?
----------------------------+--------------------------------
Reporter: corwin.amber@… | Owner: macports-tickets@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.3.3
Keywords: | Port:
----------------------------+--------------------------------
The default version is ~5 years old. Current version is 4.2.
--
Ticket URL: <https://trac.macports.org/ticket/48949>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list