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: new → closed

Committed. Thanks!

/gw

Note: See TracTickets for help on using tickets.