[MacPorts] #48949: ProofGeneral @ 3.7.1 upgrade to latest?
#48949: ProofGeneral @ 3.7.1 upgrade to latest? ----------------------------+-------------------------------- Reporter: corwin.amber@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.3 Keywords: | Port: ----------------------------+-------------------------------- The default version is ~5 years old. Current version is 4.2. -- Ticket URL: <https://trac.macports.org/ticket/48949> MacPorts <https://www.macports.org/> Ports system for OS X
#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
#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
#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
#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
participants (1)
-
MacPorts