Update lang/seed7 to version 05.20160430
authorDPorts Builder <nobody@home.ok>
Mon, 23 May 2016 18:05:07 +0000 (11:05 -0700)
committerDPorts Builder <nobody@home.ok>
Mon, 23 May 2016 18:05:07 +0000 (11:05 -0700)
commitf8f9151453c5c0be0d267962b8084050edcc217a
treedce49071056f7adda6f84cfae6f99df2a47854bd
parentc825e3d3cf11854592bcff4844ed79cbe9942afd
Update lang/seed7 to version 05.20160430
lang/seed7/Makefile
lang/seed7/distinfo
lang/seed7/pkg-descr