Opened 20 years ago

Closed 20 years ago

#2483 closed defect (fixed)

UPDATE: ProofGeneral-3.5

Reported by: dem5302@… Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 1.0
Keywords: Cc:
Port:

Description

I changed the name entry to be the same as its directory name (from "proofgeneral" to "ProofGeneral").

Attachments (1)

Portfile (1.1 KB) - added by dem5302@… 20 years ago.
updated Portfile

Download all attachments as: .zip

Change History (2)

Changed 20 years ago by dem5302@…

Attachment: Portfile added

updated Portfile

comment:1 Changed 20 years ago by gwright@…

Resolution: fixed
Status: newclosed

Committed. Thanks!

/gw

Note: See TracTickets for help on using tickets.