[MacPorts] #54926: gringo seems to be broken...
MacPorts
noreply at macports.org
Thu Sep 28 00:01:44 UTC 2017
#54926: gringo seems to be broken...
-----------------------+--------------------
Reporter: pmetzger | Owner:
Type: defect | Status: closed
Priority: High | Milestone:
Component: ports | Version:
Resolution: fixed | Keywords:
Port: gringo |
-----------------------+--------------------
Changes (by Schamschula):
* status: new => closed
* resolution: => fixed
--
Ticket URL: <https://trac.macports.org/ticket/54926#comment:2>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list