Tweak lang/seed7 version 05.20160130
[dports.git] / lang / seed7 /
drwxr-xr-x   ..
-rw-r--r-- 2490 Makefile
-rw-r--r-- 137 distinfo
drwxr-xr-x - files
-rw-r--r-- 886 pkg-descr
-rw-r--r-- 5456 pkg-plist