[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    |
-----------------------------+-------------------

Comment (by khindenburg@…):

 The upgrade to 4.2 is trivial but I can't test it.  Are you able to verify
 4.2 works for you before I commit it?

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