Import math/minisat version 2.2.1
[dports.git] / math / minisat /
drwxr-xr-x   ..
-rw-r--r-- 408 Makefile
-rw-r--r-- 133 distinfo
-rw-r--r-- 919 pkg-descr
-rw-r--r-- 853 pkg-plist