Opened 19 years ago

Closed 19 years ago

#2442 closed defect (fixed)

UPDATE: Isabelle2004

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

Description

I made the dependencies a little more intelligent.

Attachments (1)

Portfile​ (2.3 KB) - added by dem5302@… 19 years ago.
updated Portfile

Download all attachments as: .zip

Change History (3)

Changed 19 years ago by dem5302@…

Attachment: Portfile​ added

updated Portfile

comment:1 Changed 19 years ago by gwright@…

Status: new → assigned

comment:2 Changed 19 years ago by gwright@…

Resolution: → fixed
Status: assigned → closed

Committed. Thanks!

Note: See TracTickets for help on using tickets.