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

	Name	Last modified	Size	Description
	Parent Directory		-
	manage-server-4.0.12.pom.md5	2019-12-09 09:44	32
	manage-server-4.0.12.pom.sha1	2019-12-09 09:44	40
	manage-server-4.0.12.pom	2019-12-09 09:44	11K
	manage-server-4.0.12.jar.md5	2019-12-09 09:44	32
	manage-server-4.0.12.jar.sha1	2019-12-09 09:44	40
	manage-server-4.0.12.jar	2019-12-09 09:44	32M