Opened 9 years ago
Last modified 4 years ago
#51094 closed submission
z3 New port — at Version 2
Reported by: | AlshammariA | Owned by: | macports-tickets@… |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | 2.3.4 |
Keywords: | Cc: | ||
Port: | z3 |
Description (last modified by ryandesign (Ryan Carsten Schmidt))
This is a new port of a software that is not in macports yet. Some other ports might need this as a dependency.
Change History (3)
Changed 9 years ago by AlshammariA
comment:1 Changed 9 years ago by ryandesign (Ryan Carsten Schmidt)
comment:2 Changed 9 years ago by ryandesign (Ryan Carsten Schmidt)
Description: | modified (diff) |
---|---|
Keywords: | z3 removed |
Summary: | "z3 New port" → z3 New port |
Type: | request → submission |
Note: See
TracTickets for help on using
tickets.
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.