Update lang/seed7 to version 05.20121212
authorAutomaton IAS <nobody@home.ok>
Sun, 13 Jan 2013 18:15:32 +0000 (19:15 +0100)
committerAutomaton IAS <nobody@home.ok>
Sun, 13 Jan 2013 18:15:32 +0000 (19:15 +0100)
commit711e361a8af58b9fcac46ce96a5370f37d5b1859
treebf02a4ffbae9b2c724b9260b8917385a1b3c5580
parent4fdcdc2d5ef7dc63b9062c4d7cd100bc7a5b9b74
Update lang/seed7 to version 05.20121212
lang/seed7/Makefile
lang/seed7/distinfo
lang/seed7/files/patch-makefile
lang/seed7/pkg-plist