Tweak science/g3data version 1.5.3_5
[dports.git] / science / bddsolve /
drwxr-xr-x   ..
-rw-r--r-- 1086 Makefile
-rw-r--r-- 141 distinfo
-rw-r--r-- 174 pkg-descr
-rw-r--r-- 130 pkg-plist