Opened 8 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 8 years ago by AlshammariA
comment:1 Changed 8 years ago by ryandesign (Ryan Carsten Schmidt)
comment:2 Changed 8 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.setupprocedure. Since the github portgroup uses "tarball" downloads, not "archive" downloads, this also means the checksums will change.