Opened 4 years ago

Closed 4 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)

ProofGeneral-Portfile.udiff (695 bytes) - added by corwin.amber@… 4 years ago.
Bump to 4.2

Download all attachments as: .zip

Change History (6)

comment:1 Changed 4 years ago by mf2k (Frank Schima)

Cc: mww@… removed
Owner: changed from macports-tickets@… to mww@…
Port: ProofGeneral added
Type: defectupdate
Version: 2.3.3

In the future, please fill in the Port field.

comment:2 Changed 4 years ago by kurthindenburg (Kurt Hindenburg)

Cc: khindenburg@… added

Cc Me!

comment:3 Changed 4 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?

Changed 4 years ago by corwin.amber@…

Attachment: ProofGeneral-Portfile.udiff added

Bump to 4.2

comment:4 Changed 4 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 4 years ago by kurthindenburg (Kurt Hindenburg)

Resolution: fixed
Status: newclosed

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.