[MacPorts] #51094: z3 New port
MacPorts
noreply at macports.org
Fri Apr 8 06:24:44 PDT 2016
#51094: z3 New port
-------------------------+--------------------------------
Reporter: aturqi@… | Owner: macports-tickets@…
Type: submission | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.3.4
Resolution: | Keywords:
Port: z3 |
-------------------------+--------------------------------
Comment (by mf2k@…):
Also, remove the {{{extract.suffix}}} and {{{distname}}} lines since they
are the default.
--
Ticket URL: <https://trac.macports.org/ticket/51094#comment:3>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list