Index of /repository/devuan5/mainrepo-i386/mirror/deb.devuan.org/merged/pool/DEBIAN/main/m/mono-tools

	Name	Last modified	Size	Description
	Parent Directory		-
	gendarme_4.2-3.1_all..>	2020-12-28 15:14	351K
	mono-profiler_4.2-3...>	2020-12-28 15:14	88K
	mono-tools-devel_4.2..>	2020-12-28 15:14	37K
	mono-tools-gui_4.2-3..>	2020-12-28 15:14	97K
	monodoc-http_4.2-3.1..>	2020-12-28 15:14	74K