[MacPorts] #51094: z3 New port

[MacPorts]

#51094: z3 New port
--------------------------+--------------------------------
  Reporter:  AlshammariA  |      Owner:  macports-tickets@…
      Type:  submission   |     Status:  closed
  Priority:  Normal       |  Milestone:
 Component:  ports        |    Version:  2.3.4
Resolution:  duplicate    |   Keywords:
      Port:  z3           |
--------------------------+--------------------------------
Changes (by landonf):

 * status:  new => closed
 * resolution:   => duplicate


Comment:

 A z3 port was added in
 https://trac.macports.org/changeset/8d2f4f3046a21a548baa5ea1a9ac00e7d7489f54
 /macports-ports

-- 
Ticket URL: <https://trac.macports.org/ticket/51094#comment:8>
MacPorts <https://www.macports.org/>
Ports system for macOS