Tweak math/geg version 1.0.2_7
[dports.git] / math / hs-Agda /
drwxr-xr-x   ..
-rw-r--r-- 1011 Makefile
-rw-r--r-- 140 distinfo
drwxr-xr-x - files
-rw-r--r-- 745 pkg-descr