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

	Name	Last modified	Size	Description
	Parent Directory		-
	gendarme_2.10-2_all.deb	2012-04-02 22:33	339K
	gendarme_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 15:03	256K
	gendarme_4.2-1_all.deb	2016-01-04 07:34	257K
	gendarme_4.2-2.1_all.deb	2017-09-30 08:29	342K
	gendarme_4.2-2.2_all.deb	2018-02-19 19:13	342K
	mono-profiler_2.10-2_all.deb	2012-04-02 22:33	102K
	mono-profiler_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 15:03	80K
	mono-profiler_4.2-1_all.deb	2016-01-04 07:34	80K
	mono-profiler_4.2-2.1_all.deb	2017-09-30 08:29	79K
	mono-profiler_4.2-2.2_all.deb	2018-02-19 19:13	79K
	mono-tools-devel_2.10-2_all.deb	2012-04-02 22:33	34K
	mono-tools-devel_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 15:03	29K
	mono-tools-devel_4.2-1_all.deb	2016-01-04 07:34	29K
	mono-tools-devel_4.2-2.1_all.deb	2017-09-30 08:29	27K
	mono-tools-devel_4.2-2.2_all.deb	2018-02-19 19:13	27K
	mono-tools-gui_2.10-2_all.deb	2012-04-02 22:33	155K
	mono-tools-gui_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 15:03	125K
	mono-tools-gui_4.2-1_all.deb	2016-01-04 07:34	125K
	mono-tools-gui_4.2-2.1_all.deb	2017-09-30 08:29	87K
	mono-tools-gui_4.2-2.2_all.deb	2018-02-19 19:13	87K
	mono-tools_4.2-1.debian.tar.xz	2016-01-04 07:19	16K
	mono-tools_4.2-1.dsc	2016-01-04 07:19	2.1K
	mono-tools_4.2-2.1.debian.tar.xz	2017-09-30 08:29	18K
	mono-tools_4.2-2.1.dsc	2017-09-30 08:29	2.4K
	mono-tools_4.2-2.2.debian.tar.xz	2018-02-19 19:08	18K
	mono-tools_4.2-2.2.dsc	2018-02-19 19:08	2.3K
	mono-tools_4.2.orig.tar.gz	2016-01-04 07:19	2.4M
	monodoc-browser_4.2-1_all.deb	2016-01-04 07:34	63K
	monodoc-http_2.10-2_all.deb	2012-04-02 22:33	53K
	monodoc-http_2.11+git20131009.5b1ef35-1build1_all.deb	2014-02-28 15:03	62K
	monodoc-http_4.2-1_all.deb	2016-01-04 07:34	62K
	monodoc-http_4.2-2.1_all.deb	2017-09-30 08:29	61K
	monodoc-http_4.2-2.2_all.deb	2018-02-19 19:13	61K