Last Update: Nov. 26, 2015, 8 a.m.
| Error Type (1) | Badness | Message |
|---|---|---|
| binary-or-shlib-defines-rpath (?) | 1 | /usr/bin/cduce ['/usr/local/lib'] |
| Warning Type (4) | Message |
|---|---|
| invalid-license (?) | GPL |
| install-file-in-docs (?) | /usr/share/doc/cduce/INSTALL |
| incoherent-version-in-changelog (?) | 0.5.3-3mdv2010.1 0.5.3-3 |
| ocaml-naming-policy-not-applied (?) | /usr/lib64/ocaml/cduce |