Opened 9 years ago
Closed 9 years ago
#48949 closed update (fixed)
ProofGeneral @ 3.7.1 upgrade to latest?
| Reported by: | corwin.amber@… | Owned by: | mww@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | kurthindenburg (Kurt Hindenburg) | |
| Port: | ProofGeneral |
Description
The default version is ~5 years old. Current version is 4.2.
Attachments (1)
Change History (6)
comment:1 Changed 9 years ago by mf2k (Frank Schima)
| Cc: | mww@… removed |
|---|---|
| Owner: | changed from macports-tickets@… to mww@… |
| Port: | ProofGeneral added |
| Type: | defect → update |
| Version: | 2.3.3 |
comment:3 Changed 9 years ago by kurthindenburg (Kurt Hindenburg)
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?
comment:4 Changed 9 years ago 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.
comment:5 Changed 9 years ago by kurthindenburg (Kurt Hindenburg)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
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.
Note: See
TracTickets for help on using
tickets.
In the future, please fill in the Port field.