#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