[MacPorts] #51094: "z3 New port"

MacPorts noreply at macports.org
Thu Apr 7 22:55:27 PDT 2016

#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

More information about the macports-tickets mailing list