Index of /ubuntu/pool/universe/m/mono-tools

	Name	Last modified	Size	Description
	Parent Directory		-
	gendarme_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 12:33	256K
	gendarme_4.2-1_all.deb	2016-01-04 05:04	257K
	gendarme_4.2-2.2_all.deb	2018-02-19 16:43	342K
	gendarme_4.2-3.1_all.deb	2020-12-28 23:20	342K
	gendarme_4.2-3_all.deb	2019-02-16 10:48	342K
	mono-profiler_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 12:33	80K
	mono-profiler_4.2-1_all.deb	2016-01-04 05:04	80K
	mono-profiler_4.2-2.2_all.deb	2018-02-19 16:43	79K
	mono-profiler_4.2-3.1_all.deb	2020-12-28 23:20	79K
	mono-profiler_4.2-3_all.deb	2019-02-16 10:48	79K
	mono-tools-devel_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 12:33	29K
	mono-tools-devel_4.2-1_all.deb	2016-01-04 05:04	29K
	mono-tools-devel_4.2-2.2_all.deb	2018-02-19 16:43	27K
	mono-tools-devel_4.2-3.1_all.deb	2020-12-28 23:20	27K
	mono-tools-devel_4.2-3_all.deb	2019-02-16 10:48	27K
	mono-tools-gui_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 12:33	125K
	mono-tools-gui_4.2-1_all.deb	2016-01-04 05:04	125K
	mono-tools-gui_4.2-2.2_all.deb	2018-02-19 16:43	87K
	mono-tools-gui_4.2-3.1_all.deb	2020-12-28 23:20	87K
	mono-tools-gui_4.2-3_all.deb	2019-02-16 10:48	87K
	mono-tools_4.2-1.debian.tar.xz	2016-01-04 04:49	16K
	mono-tools_4.2-1.dsc	2016-01-04 04:49	2.1K
	mono-tools_4.2-2.2.debian.tar.xz	2018-02-19 16:38	18K
	mono-tools_4.2-2.2.dsc	2018-02-19 16:38	2.3K
	mono-tools_4.2-3.1.debian.tar.xz	2020-12-28 23:00	18K
	mono-tools_4.2-3.1.dsc	2020-12-28 23:00	2.4K
	mono-tools_4.2-3.debian.tar.xz	2019-02-16 10:48	18K
	mono-tools_4.2-3.dsc	2019-02-16 10:48	2.1K
	mono-tools_4.2.orig.tar.gz	2016-01-04 04:49	2.4M
	monodoc-browser_4.2-1_all.deb	2016-01-04 05:04	63K
	monodoc-http_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 12:33	62K
	monodoc-http_4.2-1_all.deb	2016-01-04 05:04	62K
	monodoc-http_4.2-2.2_all.deb	2018-02-19 16:43	61K
	monodoc-http_4.2-3.1_all.deb	2020-12-28 23:20	61K
	monodoc-http_4.2-3_all.deb	2019-02-16 10:48	61K