#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