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:48	256K
	gendarme_4.2-1_all.deb	2016-01-04 05:19	257K
	gendarme_4.2-2.2_all.deb	2018-02-19 16:58	342K
	gendarme_4.2-3.1_all.deb	2020-12-28 23:35	342K
	gendarme_4.2-3_all.deb	2019-02-16 11:03	342K
	mono-profiler_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 12:48	80K
	mono-profiler_4.2-1_all.deb	2016-01-04 05:19	80K
	mono-profiler_4.2-2.2_all.deb	2018-02-19 16:58	79K
	mono-profiler_4.2-3.1_all.deb	2020-12-28 23:35	79K
	mono-profiler_4.2-3_all.deb	2019-02-16 11:03	79K
	mono-tools-devel_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 12:48	29K
	mono-tools-devel_4.2-1_all.deb	2016-01-04 05:19	29K
	mono-tools-devel_4.2-2.2_all.deb	2018-02-19 16:58	27K
	mono-tools-devel_4.2-3.1_all.deb	2020-12-28 23:35	27K
	mono-tools-devel_4.2-3_all.deb	2019-02-16 11:03	27K
	mono-tools-gui_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 12:48	125K
	mono-tools-gui_4.2-1_all.deb	2016-01-04 05:19	125K
	mono-tools-gui_4.2-2.2_all.deb	2018-02-19 16:58	87K
	mono-tools-gui_4.2-3.1_all.deb	2020-12-28 23:35	87K
	mono-tools-gui_4.2-3_all.deb	2019-02-16 11:03	87K
	mono-tools_4.2-1.debian.tar.xz	2016-01-04 05:04	16K
	mono-tools_4.2-1.dsc	2016-01-04 05:04	2.1K
	mono-tools_4.2-2.2.debian.tar.xz	2018-02-19 16:53	18K
	mono-tools_4.2-2.2.dsc	2018-02-19 16:53	2.3K
	mono-tools_4.2-3.1.debian.tar.xz	2020-12-28 23:15	18K
	mono-tools_4.2-3.1.dsc	2020-12-28 23:15	2.4K
	mono-tools_4.2-3.debian.tar.xz	2019-02-16 11:03	18K
	mono-tools_4.2-3.dsc	2019-02-16 11:03	2.1K
	mono-tools_4.2.orig.tar.gz	2016-01-04 05:04	2.4M
	monodoc-browser_4.2-1_all.deb	2016-01-04 05:19	63K
	monodoc-http_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 12:48	62K
	monodoc-http_4.2-1_all.deb	2016-01-04 05:19	62K
	monodoc-http_4.2-2.2_all.deb	2018-02-19 16:58	61K
	monodoc-http_4.2-3.1_all.deb	2020-12-28 23:35	61K
	monodoc-http_4.2-3_all.deb	2019-02-16 11:03	61K