Opened 8 years ago

Last modified 4 years ago

#51094 closed submission

"z3 New port" — at Initial Version

Reported by: AlshammariA Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version: 2.3.4
Keywords: Cc:
Port: z3

Description 

This is a new port of a software that is not in macports yet. Some other ports might need this as a dependency.

Change History (1)

Changed 8 years ago by AlshammariA

Attachment: Portfile​ added
Note: See TracTickets for help on using tickets.