All reports of ocaml-dev-file-not-in-usr-lib-ocaml for the archive. The extended description of this tag is:
This development package installs OCaml development files (.cmi, .cmx or .cmxa) outside /usr/lib/ocaml. Such files are used only by compilation and should be in a subdirectory of OCaml standard library path.
Severity: pedantic, Certainty: possible
Check: ocaml, Type: binary
Emitted (non-overridden): 1, overridden: 0, total: 1
The package names link to the relevant maintainer page and the corresponding report for the source package. The links go to the full maintainer report page, which includes info and experimental tags and overridden tags, rather than the default page that shows only errors and warnings.
libaac-tactics-ocaml-dev 8.8.0+1.gbp069dc3b-1+b1 (binary) (Debian OCaml Maintainers <email@example.com>)
- 1 file in usr/lib/coq/user-contrib/AAC_tactics [amd64, i386]