Pietro Cerutti 5c86446f98 lang/seed7: take back this port, update to 05_20160130. ... Release notes: http://sourceforge.net/projects/seed7/files/seed7/seed7_05_20160130/relnote_20160130.txt		2016-02-05 16:31:10 +00:00
..
files	lang/seed7: take back this port, update to 05_20160130.	2016-02-05 16:31:10 +00:00
distinfo	lang/seed7: take back this port, update to 05_20160130.	2016-02-05 16:31:10 +00:00
Makefile	lang/seed7: take back this port, update to 05_20160130.	2016-02-05 16:31:10 +00:00
pkg-descr
pkg-plist	lang/seed7: take back this port, update to 05_20160130.	2016-02-05 16:31:10 +00:00