[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 corwin.amber@…):

 I can confirm that after the attached change to Portfile, ProofGeneral 4.2
 installs and works well for me (with standard MacPorts Emacs).

 I apologize if the diff is not in the right format or anything.

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