[MacPorts] #48949: ProofGeneral @ 3.7.1 upgrade to latest?

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