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