Opened 9 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.
Note: See
TracTickets for help on using
tickets.