Update math/picosat to version 965
[dports.git] / math / clp /
drwxr-xr-x   ..
-rw-r--r-- 800 Makefile
-rw-r--r-- 123 distinfo
-rw-r--r-- 280 pkg-descr
-rw-r--r-- 10586 pkg-plist