[MacPorts] #51094: "z3 New port"

MacPorts noreply at macports.org
Thu Apr 7 20:12:23 PDT 2016

#51094: "z3 New port"
 Reporter:  aturqi@…  |      Owner:  macports-tickets@…
     Type:  request   |     Status:  new
 Priority:  Normal    |  Milestone:
Component:  ports     |    Version:  2.3.4
 Keywords:  z3        |       Port:  z3
 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>
MacPorts <https://www.macports.org/>
Ports system for OS X

More information about the macports-tickets mailing list