[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:  closed
  Priority:  Normal          |  Milestone:
 Component:  ports           |    Version:
Resolution:  fixed           |   Keywords:
      Port:  ProofGeneral    |
-----------------------------+--------------------
Changes (by khindenburg@…):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 done - r142494 - let me know if there are any issues

 FYI, to get the correct checksums, remove them from the Portfile, update
 version, and then use 'port -v extract' - it will display the correct
 lines to add to Portfile.

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