Update lang/seed7 to version 05.20130505
authorAutomaton <nobody@home.ok>
Mon, 3 Jun 2013 18:23:38 +0000 (20:23 +0200)
committerAutomaton <nobody@home.ok>
Mon, 3 Jun 2013 18:23:38 +0000 (20:23 +0200)
commit7535f26f7f9d923469dc18d6244a1250603ca943
tree4e6fde0bd4d2a84eb3c1a209e14bea8adf9ed7e4
parentbf5c6cc578f63fdc7a1f8e08ba09907d69396b5a
Update lang/seed7 to version 05.20130505
lang/seed7/Makefile
lang/seed7/distinfo