Pietro Cerutti 99985805d8 lang/seed7: update to 05_20170915		2017-10-27 12:11:39 +00:00
..
distinfo	lang/seed7: update to 05_20170915	2017-10-27 12:11:39 +00:00
Makefile	lang/seed7: update to 05_20170915	2017-10-27 12:11:39 +00:00
pkg-descr
pkg-plist