[MacPorts] #51094: "z3 New port"

[MacPorts]

#51094: "z3 New port"
-----------------------+--------------------------------
  Reporter:  aturqi@…  |      Owner:  macports-tickets@…
      Type:  request   |     Status:  new
  Priority:  Normal    |  Milestone:
 Component:  ports     |    Version:  2.3.4
Resolution:            |   Keywords:  z3
      Port:  z3        |
-----------------------+--------------------------------

Comment (by ryandesign@…):

 Instead of manually specifying GitHub-related information, please use the
 github 1.0 portgroup and the `github.setup` procedure. Since the github
 portgroup uses "tarball" downloads, not "archive" downloads, this also
 means the checksums will change.

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