Update lang/seed7 to version 05.20131110
[dports.git] / lang / seed7 /
drwxr-xr-x   ..
-rw-r--r-- 2215 Makefile
-rw-r--r-- 137 distinfo
-rw-r--r-- 448 pkg-descr
-rw-r--r-- 3649 pkg-plist