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

Icon  Name                                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                                               -   
[   ] gendarme_2.11+git20131009.5b1ef35-1build1_all.deb         2014-02-28 08:03  256K  
[   ] gendarme_4.2-1_all.deb                                    2016-01-04 00:34  257K  
[   ] gendarme_4.2-2.2_all.deb                                  2018-02-19 12:13  342K  
[   ] gendarme_4.2-3.1_all.deb                                  2020-12-28 18:50  342K  
[   ] gendarme_4.2-3.2_all.deb                                  2023-10-27 00:12  377K  
[   ] gendarme_4.2-3_all.deb                                    2019-02-16 06:18  342K  
[   ] mono-profiler_2.11+git20131009.5b1ef35-1build1_all.deb    2014-02-28 08:03   80K  
[   ] mono-profiler_4.2-1_all.deb                               2016-01-04 00:34   80K  
[   ] mono-profiler_4.2-2.2_all.deb                             2018-02-19 12:13   79K  
[   ] mono-profiler_4.2-3.1_all.deb                             2020-12-28 18:50   79K  
[   ] mono-profiler_4.2-3_all.deb                               2019-02-16 06:18   79K  
[   ] mono-tools-devel_2.11+git20131009.5b1ef35-1build1_all.deb 2014-02-28 08:03   29K  
[   ] mono-tools-devel_4.2-1_all.deb                            2016-01-04 00:34   29K  
[   ] mono-tools-devel_4.2-2.2_all.deb                          2018-02-19 12:13   27K  
[   ] mono-tools-devel_4.2-3.1_all.deb                          2020-12-28 18:50   27K  
[   ] mono-tools-devel_4.2-3.2_all.deb                          2023-10-27 00:12   29K  
[   ] mono-tools-devel_4.2-3_all.deb                            2019-02-16 06:18   27K  
[   ] mono-tools-gui_2.11+git20131009.5b1ef35-1build1_all.deb   2014-02-28 08:03  125K  
[   ] mono-tools-gui_4.2-1_all.deb                              2016-01-04 00:34  125K  
[   ] mono-tools-gui_4.2-2.2_all.deb                            2018-02-19 12:13   87K  
[   ] mono-tools-gui_4.2-3.1_all.deb                            2020-12-28 18:50   87K  
[   ] mono-tools-gui_4.2-3_all.deb                              2019-02-16 06:18   87K  
[   ] monodoc-browser_4.2-1_all.deb                             2016-01-04 00:34   63K  
[   ] monodoc-http_2.11+git20131009.5b1ef35-1build1_all.deb     2014-02-28 08:03   62K  
[   ] monodoc-http_4.2-1_all.deb                                2016-01-04 00:34   62K  
[   ] monodoc-http_4.2-2.2_all.deb                              2018-02-19 12:13   61K  
[   ] monodoc-http_4.2-3.1_all.deb                              2020-12-28 18:50   61K  
[   ] monodoc-http_4.2-3.2_all.deb                              2023-10-27 00:12   62K  
[   ] monodoc-http_4.2-3_all.deb                                2019-02-16 06:18   61K
Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80