Tweak math/geg version 1.0.2_7
[dports.git] / math / cvc3 / files /
drwxr-xr-x   ..
-rw-r--r-- 1844 patch-src-Makefile