[MacPorts] #52284: Cannot install minisat
MacPorts
noreply at macports.org
Tue Sep 20 10:42:12 CEST 2016
#52284: Cannot install minisat
------------------------------+--------------------------------
Reporter: nathanielvirgo@… | Owner: macports-tickets@…
Type: defect | Status: new
Priority: Normal | Milestone:
Component: ports | Version: 2.3.4
Keywords: | Port: minisat
------------------------------+--------------------------------
I cannot install the minisat port. The log file is attached.
--
Ticket URL: <https://trac.macports.org/ticket/52284>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list