Update lang/seed7 to version 05.20140706
[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-- 5142 pkg-plist