summaryrefslogtreecommitdiffstats
path: root/math/minisat
ModeNameSize
-rw-r--r--Makefile527logstatsplain
-rw-r--r--distinfo133logstatsplain
d---------files117logstatsplain
-rw-r--r--pkg-descr918logstatsplain
-rw-r--r--pkg-plist621logstatsplain
OpenPOWER on IntegriCloud