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

	Name	Last modified	Size	Description
	Parent Directory		-
	manage-server-7.2.5.jar.md5	2023-04-12 08:34	32
	manage-server-7.2.5.pom.md5	2023-04-12 08:34	32
	manage-server-7.2.5.jar.sha1	2023-04-12 08:34	40
	manage-server-7.2.5.pom.sha1	2023-04-12 08:34	40
	manage-server-7.2.5.pom	2023-04-12 08:34	7.1K
	manage-server-7.2.5.jar	2023-04-12 08:34	40M