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

Univention GmbH, (c) Univention GmbH 2010-2025