Update lang/seed7 to version 05.20170501_1
authorDPorts Builder <nobody@home.ok>
Wed, 5 Jul 2017 04:08:54 +0000 (21:08 -0700)
committerDPorts Builder <nobody@home.ok>
Wed, 5 Jul 2017 04:08:54 +0000 (21:08 -0700)
commitc14cb8f80c9c71a8e9581cffa9b752369fa14cc2
treedc001be820ce9241d13d4e2797d8578ec4ea4b02
parentb63bdef0055e820eae97557a869959d64fe1b043
Update lang/seed7 to version 05.20170501_1
lang/seed7/Makefile
lang/seed7/distinfo
lang/seed7/pkg-plist