Directory: /debian/pool/main/m/mono-tools/
| Name | Size | Modified |
|---|---|---|
| Parent directory | — | — |
| gendarme_4.2-3.1_all.deb | 351K | Mon Dec 28 2020 |
| mono-profiler_4.2-3.1_all.deb | 87.6K | Mon Dec 28 2020 |
| mono-tools-devel_4.2-3.1_all.deb | 37.3K | Mon Dec 28 2020 |
| mono-tools-gui_4.2-3.1_all.deb | 97.2K | Mon Dec 28 2020 |
| mono-tools_4.2-3.1.debian.tar.xz | 18.1K | Mon Dec 28 2020 |
| mono-tools_4.2-3.1.dsc | 2.38K | Mon Dec 28 2020 |
| mono-tools_4.2.orig.tar.gz | 2.42M | Sun Jan 03 2016 |
| monodoc-http_4.2-3.1_all.deb | 74.1K | Mon Dec 28 2020 |