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

[MacPorts]

#48949: ProofGeneral @ 3.7.1 upgrade to latest?
-----------------------------+-------------------
  Reporter:  corwin.amber@…  |      Owner:  mww@…
      Type:  update          |     Status:  new
  Priority:  Normal          |  Milestone:
 Component:  ports           |    Version:
Resolution:                  |   Keywords:
      Port:  ProofGeneral    |
-----------------------------+-------------------
Changes (by mf2k@…):

 * owner:  macports-tickets@… => mww@…
 * cc: mww@… (removed)
 * version:  2.3.3 =>
 * type:  defect => update
 * port:   => ProofGeneral


Comment:

 In the future, please fill in the Port field.

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