[MacPorts] #45928: cvc4 @1.4 Adding Java variant - updated Portfile
MacPorts
noreply at macports.org
Thu Mar 5 13:04:14 PST 2015
#45928: cvc4 @1.4 Adding Java variant - updated Portfile
-----------------------------+--------------------------------
Reporter: corwin.amber@… | Owner: macports-tickets@…
Type: enhancement | Status: closed
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: fixed | Keywords: haspatch
Port: cvc4 |
-----------------------------+--------------------------------
Changes (by mf2k@…):
* status: new => closed
* resolution: => fixed
Comment:
r133579. Thanks!
--
Ticket URL: <https://trac.macports.org/ticket/45928#comment:4>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list