All ProjectsArch LinuxCommunity PackagesPacmanRelease Engineering Switch

Show Task #

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!

Tasklist

FS#5934 - mono-tools dependency

Task Type Bug Report Category Packages: Extra Status Closed Assigned To Tobias Kieslich (tobias) Architecture not specified Severity Medium Priority Normal Reported Version 0.7.2 Gimmick Due in Version Undecided Due Date Undecided Percent Complete Votes 0 Private No

Details The monodoc tool (part of mono-tools package) doesn't work without having gnome-sharp installed. The reason is missing version 2 of gtkhtml-sharp.dll (which is provided by gnome-sharp).