Index of /repository/public/releases/org/openconext/manage-server/4.0.7

	Name	Last modified	Size	Description
	Parent Directory		-
	manage-server-4.0.7.jar	2019-07-19 07:15	32M
	manage-server-4.0.7.jar.sha1	2019-07-19 07:15	40
	manage-server-4.0.7.jar.md5	2019-07-19 07:15	32
	manage-server-4.0.7.pom	2019-07-19 07:15	11K
	manage-server-4.0.7.pom.sha1	2019-07-19 07:15	40
	manage-server-4.0.7.pom.md5	2019-07-19 07:15	32