Information about source package seed7

Available versions

Branch	Version	Maintainer
edge-community	05.20240322-r1	None