Name	Last modified	Size	Description
	Parent Directory		-
	gendarme_4.2-3_all.deb	2019-08-27 11:51	351K
	mono-profiler_4.2-3_all.deb	2019-08-27 11:51	87K
	mono-tools-devel_4.2-3_all.deb	2019-08-27 11:51	37K
	mono-tools-gui_4.2-3_all.deb	2019-08-27 11:51	97K
	mono-tools_4.2-3.debian.tar.xz	2019-08-27 11:51	18K
	mono-tools_4.2-3.dsc	2019-08-27 11:51	2.1K
	mono-tools_4.2.orig.tar.gz	2019-08-27 11:51	2.4M
	monodoc-http_4.2-3_all.deb	2019-08-27 11:51	74K

Univention GmbH, (c) Univention GmbH 2010-2024