Tweak lang/seed7 version 05.20140907
[dports.git] / lang / seed7 /
drwxr-xr-x   ..
-rw-r--r-- 2479 Makefile
-rw-r--r-- 137 distinfo
-rw-r--r-- 886 pkg-descr
-rw-r--r-- 5057 pkg-plist