| rpm id | test | status | message | |
|---|---|---|---|---|
|
coq-8.20.0-alt1.src | altlinux-policy-tex-rpm-build-texmf | warn | According to TeX policy (http://www.altlinux.org/TeXPolicy) packages that install files to /usr/share/texmf should BuildRequires(pre): rpm-build-texmf for the dependency magic to work. |
|
coq-coqide-8.20.0-alt1.x86_64 | freedesktop-categories | warn | Menu-related Additional Categories (http://standards.freedesktop.org/menu-spec/latest/apa.html) not found in /usr/share/applications/fr.inria.coqide.desktop. Please add it or report a bug against this test if you already have registered one (not including menu unrelated ones as Core or Qt). |