#51094: z3 New port -------------------------+-------------------------------- Reporter: aturqi@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Resolution: | Keywords: Port: z3 | -------------------------+-------------------------------- Changes (by ryandesign@…): * keywords: z3 => * type: request => submission Old description:
{{{ This is a new port of a software that is not in macports yet. Some other ports might need this as a dependency. }}}
New description: This is a new port of a software that is not in macports yet. Some other ports might need this as a dependency. -- -- Ticket URL: <https://trac.macports.org/ticket/51094#comment:2> MacPorts <https://www.macports.org/> Ports system for OS X