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

	Name	Last modified	Size	Description
	Parent Directory		-
	gendarme_2.11+git20131009.5b1ef35-1build1_all.deb	28-Feb-2014 02:03	256K
	gendarme_4.2-1_all.deb	03-Jan-2016 18:34	257K
	gendarme_4.2-2.2_all.deb	19-Feb-2018 06:13	342K
	gendarme_4.2-3.1_all.deb	28-Dec-2020 12:50	342K
	gendarme_4.2-3.2_all.deb	26-Oct-2023 18:12	377K
	gendarme_4.2-3_all.deb	16-Feb-2019 00:18	342K
	mono-profiler_2.11+git20131009.5b1ef35-1build1_all.deb	28-Feb-2014 02:03	80K
	mono-profiler_4.2-1_all.deb	03-Jan-2016 18:34	80K
	mono-profiler_4.2-2.2_all.deb	19-Feb-2018 06:13	79K
	mono-profiler_4.2-3.1_all.deb	28-Dec-2020 12:50	79K
	mono-profiler_4.2-3_all.deb	16-Feb-2019 00:18	79K
	mono-tools-devel_2.11+git20131009.5b1ef35-1build1_all.deb	28-Feb-2014 02:03	29K
	mono-tools-devel_4.2-1_all.deb	03-Jan-2016 18:34	29K
	mono-tools-devel_4.2-2.2_all.deb	19-Feb-2018 06:13	27K
	mono-tools-devel_4.2-3.1_all.deb	28-Dec-2020 12:50	27K
	mono-tools-devel_4.2-3.2_all.deb	26-Oct-2023 18:12	29K
	mono-tools-devel_4.2-3_all.deb	16-Feb-2019 00:18	27K
	mono-tools-gui_2.11+git20131009.5b1ef35-1build1_all.deb	28-Feb-2014 02:03	125K
	mono-tools-gui_4.2-1_all.deb	03-Jan-2016 18:34	125K
	mono-tools-gui_4.2-2.2_all.deb	19-Feb-2018 06:13	87K
	mono-tools-gui_4.2-3.1_all.deb	28-Dec-2020 12:50	87K
	mono-tools-gui_4.2-3_all.deb	16-Feb-2019 00:18	87K
	monodoc-browser_4.2-1_all.deb	03-Jan-2016 18:34	63K
	monodoc-http_2.11+git20131009.5b1ef35-1build1_all.deb	28-Feb-2014 02:03	62K
	monodoc-http_4.2-1_all.deb	03-Jan-2016 18:34	62K
	monodoc-http_4.2-2.2_all.deb	19-Feb-2018 06:13	61K
	monodoc-http_4.2-3.1_all.deb	28-Dec-2020 12:50	61K
	monodoc-http_4.2-3.2_all.deb	26-Oct-2023 18:12	62K
	monodoc-http_4.2-3_all.deb	16-Feb-2019 00:18	61K