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

	Name	Last modified	Size	Description
	Parent Directory		-
	gendarme_2.11+git20131009.5b1ef35-1build1_all.deb	28-Feb-2014 01:03	256K
	gendarme_4.2-1_all.deb	03-Jan-2016 17:34	257K
	gendarme_4.2-2.2_all.deb	19-Feb-2018 05:13	342K
	gendarme_4.2-3.1_all.deb	28-Dec-2020 11:50	342K
	gendarme_4.2-3_all.deb	15-Feb-2019 23:18	342K
	mono-profiler_2.11+git20131009.5b1ef35-1build1_all.deb	28-Feb-2014 01:03	80K
	mono-profiler_4.2-1_all.deb	03-Jan-2016 17:34	80K
	mono-profiler_4.2-2.2_all.deb	19-Feb-2018 05:13	79K
	mono-profiler_4.2-3.1_all.deb	28-Dec-2020 11:50	79K
	mono-profiler_4.2-3_all.deb	15-Feb-2019 23:18	79K
	mono-tools-devel_2.11+git20131009.5b1ef35-1build1_all.deb	28-Feb-2014 01:03	29K
	mono-tools-devel_4.2-1_all.deb	03-Jan-2016 17:34	29K
	mono-tools-devel_4.2-2.2_all.deb	19-Feb-2018 05:13	27K
	mono-tools-devel_4.2-3.1_all.deb	28-Dec-2020 11:50	27K
	mono-tools-devel_4.2-3_all.deb	15-Feb-2019 23:18	27K
	mono-tools-gui_2.11+git20131009.5b1ef35-1build1_all.deb	28-Feb-2014 01:03	125K
	mono-tools-gui_4.2-1_all.deb	03-Jan-2016 17:34	125K
	mono-tools-gui_4.2-2.2_all.deb	19-Feb-2018 05:13	87K
	mono-tools-gui_4.2-3.1_all.deb	28-Dec-2020 11:50	87K
	mono-tools-gui_4.2-3_all.deb	15-Feb-2019 23:18	87K
	mono-tools_4.2-1.debian.tar.xz	03-Jan-2016 17:19	16K
	mono-tools_4.2-1.dsc	03-Jan-2016 17:19	2.1K
	mono-tools_4.2-2.2.debian.tar.xz	19-Feb-2018 05:08	18K
	mono-tools_4.2-2.2.dsc	19-Feb-2018 05:08	2.3K
	mono-tools_4.2-3.1.debian.tar.xz	28-Dec-2020 11:30	18K
	mono-tools_4.2-3.1.dsc	28-Dec-2020 11:30	2.4K
	mono-tools_4.2-3.debian.tar.xz	15-Feb-2019 23:18	18K
	mono-tools_4.2-3.dsc	15-Feb-2019 23:18	2.1K
	mono-tools_4.2.orig.tar.gz	03-Jan-2016 17:19	2.4M
	monodoc-browser_4.2-1_all.deb	03-Jan-2016 17:34	63K
	monodoc-http_2.11+git20131009.5b1ef35-1build1_all.deb	28-Feb-2014 01:03	62K
	monodoc-http_4.2-1_all.deb	03-Jan-2016 17:34	62K
	monodoc-http_4.2-2.2_all.deb	19-Feb-2018 05:13	61K
	monodoc-http_4.2-3.1_all.deb	28-Dec-2020 11:50	61K
	monodoc-http_4.2-3_all.deb	15-Feb-2019 23:18	61K