Update lang/seed7 to version 05.20131013
authorDPorts Builder <nobody@home.ok>
Fri, 18 Oct 2013 10:16:16 +0000 (03:16 -0700)
committerDPorts Builder <nobody@home.ok>
Fri, 18 Oct 2013 10:16:16 +0000 (03:16 -0700)
commit139c6cb40387fc46e3c5dab03996dfb0084de1a2
tree17f5f412f693c2fb088e6faa49643b7d8cb63c04
parent30c16a70409eb0fc65eb825f500bc8d8b933d201
Update lang/seed7 to version 05.20131013
lang/seed7/Makefile
lang/seed7/distinfo
lang/seed7/pkg-plist