[MacPorts] #51094: z3 New port
MacPorts
noreply at macports.org
Tue May 17 15:50:03 PDT 2016
#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 |
-------------------------+--------------------------------
Comment (by aturqi@…):
Attached the z3 portfile. Wish it works.
--
Ticket URL: <https://trac.macports.org/ticket/51094#comment:6>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list