Publishing details
Changelog
mono-tools (4.2-1) unstable; urgency=medium
* [5c7a2bd] Fix URL in debian/watch
* [aea5393] Imported Upstream version 4.2
* [4870edf] Refreshed debian/patches/00-fix_build_system.patch
* [d8fb42a] Don't try to use gmcs
-- Jo Shields <email address hidden> Sun, 03 Jan 2016 15:25:03 +0000
Builds
Built packages
-
gendarme
extensible rule-based checker for CLI assemblies
-
mono-profiler
Mono profiler
-
mono-tools-devel
Various development tools for mono
-
mono-tools-gui
Various GUI tools for mono
-
monodoc-browser
MonoDoc GTK+ based viewer
-
monodoc-http
MonoDoc http based viewer
Package files