Update www/midori to version 0.5.8_2
[dports.git] / math / cvc3 /
drwxr-xr-x   ..
-rw-r--r-- 928 Makefile
-rw-r--r-- 129 distinfo
-rw-r--r-- 1153 pkg-descr
-rw-r--r-- 2456 pkg-plist