Update lang/seed7 to version 05.20160831
authorDPorts Builder <nobody@home.ok>
Mon, 5 Sep 2016 03:44:32 +0000 (20:44 -0700)
committerDPorts Builder <nobody@home.ok>
Mon, 5 Sep 2016 03:44:32 +0000 (20:44 -0700)
commitb085e015cdf34cde1570daf7a7dc29a030772630
tree91aca3dfafcf06c444781aae71b2c67333591528
parentd0e465220abed76c9c56f1fb34af0f0db7585bc5
Update lang/seed7 to version 05.20160831
lang/seed7/Makefile
lang/seed7/distinfo