[MacPorts] #51647: gringo @4.5.4 does not require Boost
MacPorts
noreply at macports.org
Sat Jun 18 17:42:47 PDT 2016
#51647: gringo @4.5.4 does not require Boost
----------------------------+----------------------
Reporter: antonbachin@… | Owner: mww@…
Type: enhancement | Status: closed
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: fixed | Keywords: haspatch
Port: gringo |
----------------------------+----------------------
Changes (by khindenburg@…):
* status: new => closed
* resolution: => fixed
Comment:
done r149420
--
Ticket URL: <https://trac.macports.org/ticket/51647#comment:4>
MacPorts <https://www.macports.org/>
Ports system for OS X
More information about the macports-tickets
mailing list