Lintian tag information: ocaml-dev-file-in-nondev-package (type: pedantic)

Description (from lintian-explain-tags)

This OCaml package ships development files such as *.cmi, *.cmx or *.cmxa
but does not appear to be a development package.

The files should be moved to a development package.

Visibility: pedantic
Show-Always: no
Check: languages/ocaml/byte-code/misplaced/package

Affected packages

source version binary tag type tag information count
aac-tactics 8.19.1-2 libcoq-aac-tactics/8.19.1-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-aac-tactics 1
aac-tactics 8.19.1-2 libcoq-aac-tactics/8.19.1-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-aac-tactics 1
aac-tactics 8.19.1-2 libcoq-aac-tactics/8.19.1-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-aac-tactics 1
aac-tactics 8.19.1-2 libcoq-aac-tactics/8.19.1-2+b3 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-aac-tactics 1
aac-tactics 8.19.1-2 libcoq-aac-tactics/8.19.1-2+b3 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-aac-tactics 1
camlidl 1.12-1 camlidl/1.12-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/arm-linux-gnueabihf/ocaml/5.2.0 1
camlidl 1.12-1 camlidl/1.12-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/arm-linux-gnueabi/ocaml/5.2.0 1
camlidl 1.12-1 camlidl/1.12-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/i386-linux-gnu/ocaml/5.2.0 1
camlidl 1.12-1 camlidl/1.12-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/mips64el-linux-gnuabi64/ocaml/5.2.0 1
camlidl 1.12-1 camlidl/1.12-1+b1 pedantic ocaml-dev-file-in-nondev-package 2 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0 1
camlidl 1.12-1 camlidl/1.12-1+b1 pedantic ocaml-dev-file-in-nondev-package 2 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0 1
camlidl 1.12-1 camlidl/1.12-1+b1 pedantic ocaml-dev-file-in-nondev-package 2 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0 1
camlidl 1.12-1 camlidl/1.12-1+b1 pedantic ocaml-dev-file-in-nondev-package 2 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0 1
camlidl 1.12-1 camlidl/1.12-1+b1 pedantic ocaml-dev-file-in-nondev-package 2 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0 1
coccinelle 1.2.deb-1 coccinelle/1.2.deb-1+b1 pedantic ocaml-dev-file-in-nondev-package 50 files in usr/lib/coccinelle/ocaml 4
coccinelle 1.2.deb-1 coccinelle/1.2.deb-1+b1 pedantic ocaml-dev-file-in-nondev-package 25 files in usr/lib/coccinelle/ocaml 5
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b3 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-bignums 1
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b3 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-bignums 1
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b3 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-bignums 1
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b3 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-bignums 1
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-bignums 1
coq-dpdgraph 1.0+8.19-2 libcoq-dpdgraph/1.0+8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 5 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-dpdgraph 1
coq-dpdgraph 1.0+8.19-2 libcoq-dpdgraph/1.0+8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 5 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-dpdgraph 1
coq-dpdgraph 1.0+8.19-2 libcoq-dpdgraph/1.0+8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 5 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-dpdgraph 1
coq-dpdgraph 1.0+8.19-2 libcoq-dpdgraph/1.0+8.19-2+b3 pedantic ocaml-dev-file-in-nondev-package 5 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-dpdgraph 1
coq-dpdgraph 1.0+8.19-2 libcoq-dpdgraph/1.0+8.19-2+b3 pedantic ocaml-dev-file-in-nondev-package 5 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-dpdgraph 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b7 pedantic ocaml-dev-file-in-nondev-package 12 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b8 pedantic ocaml-dev-file-in-nondev-package 12 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b8 pedantic ocaml-dev-file-in-nondev-package 12 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b8 pedantic ocaml-dev-file-in-nondev-package 12 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0 1
coq-elpi 2.1.0-1 libcoq-elpi/2.1.0-1+b8 pedantic ocaml-dev-file-in-nondev-package 12 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0 1
coq-equations 1.3-8.19-2 libcoq-equations/1.3-8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 37 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-equations 1
coq-equations 1.3-8.19-2 libcoq-equations/1.3-8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 37 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-equations 1
coq-equations 1.3-8.19-2 libcoq-equations/1.3-8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 37 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-equations 1
coq-equations 1.3-8.19-2 libcoq-equations/1.3-8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 37 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-equations 1
coq-equations 1.3-8.19-2 libcoq-equations/1.3-8.19-2+b3 pedantic ocaml-dev-file-in-nondev-package 37 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-equations 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b3 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0 1
coq-hammer 1.3.2+8.19-2 libcoq-hammer/1.3.2+8.19-2+b3 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0 1
coq-mtac2 1.4+8.19-2 libcoq-mtac2/1.4+8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 4 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-mtac2 1
coq-mtac2 1.4+8.19-2 libcoq-mtac2/1.4+8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 4 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-mtac2 1
coq-mtac2 1.4+8.19-2 libcoq-mtac2/1.4+8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 4 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-mtac2 1
coq-mtac2 1.4+8.19-2 libcoq-mtac2/1.4+8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 4 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-mtac2 1
coq-mtac2 1.4+8.19-2 libcoq-mtac2/1.4+8.19-2+b3 pedantic ocaml-dev-file-in-nondev-package 4 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-mtac2 1
coq-quickchick 2.0.3-3 libcoq-quickchick/2.0.3-3+b5 pedantic ocaml-dev-file-in-nondev-package 45 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-quickchick/plugin 1
coq-quickchick 2.0.3-3 libcoq-quickchick/2.0.3-3+b5 pedantic ocaml-dev-file-in-nondev-package 45 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-quickchick/plugin 1
coq-quickchick 2.0.3-3 libcoq-quickchick/2.0.3-3+b5 pedantic ocaml-dev-file-in-nondev-package 45 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-quickchick/plugin 1
coq-quickchick 2.0.3-3 libcoq-quickchick/2.0.3-3+b5 pedantic ocaml-dev-file-in-nondev-package 45 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-quickchick/plugin 1
coq-quickchick 2.0.3-3 libcoq-quickchick/2.0.3-3+b5 pedantic ocaml-dev-file-in-nondev-package 45 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-quickchick/plugin 1
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-reduction-effects 1
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-reduction-effects 1
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-reduction-effects 1
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-reduction-effects 1
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b3 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-reduction-effects 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b4 pedantic ocaml-dev-file-in-nondev-package 15 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-relation-algebra 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b4 pedantic ocaml-dev-file-in-nondev-package 15 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-relation-algebra 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b4 pedantic ocaml-dev-file-in-nondev-package 15 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-relation-algebra 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b4 pedantic ocaml-dev-file-in-nondev-package 15 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-relation-algebra 1
coq-relation-algebra 1.7.10-4 libcoq-relation-algebra/1.7.10-4+b4 pedantic ocaml-dev-file-in-nondev-package 15 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-relation-algebra 1
coq-simple-io 1.9.0-2 libcoq-simple-io/1.9.0-2+b2 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-simple-io/plugin 1
coq-simple-io 1.9.0-2 libcoq-simple-io/1.9.0-2+b2 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-simple-io/plugin 1
coq-simple-io 1.9.0-2 libcoq-simple-io/1.9.0-2+b2 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-simple-io/plugin 1
coq-simple-io 1.9.0-2 libcoq-simple-io/1.9.0-2+b2 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-simple-io/plugin 1
coq-simple-io 1.9.0-2 libcoq-simple-io/1.9.0-2+b3 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-simple-io/plugin 1
coq-unicoq 1.6-8.19-2 libcoq-unicoq/1.6-8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-unicoq 1
coq-unicoq 1.6-8.19-2 libcoq-unicoq/1.6-8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-unicoq 1
coq-unicoq 1.6-8.19-2 libcoq-unicoq/1.6-8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-unicoq 1
coq-unicoq 1.6-8.19-2 libcoq-unicoq/1.6-8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-unicoq 1
coq-unicoq 1.6-8.19-2 libcoq-unicoq/1.6-8.19-2+b3 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-unicoq 1
cppo 1.7.0-1 cppo/1.7.0-1 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/cppo_ocamlbuild 1
cppo 1.7.0-1 cppo/1.7.0-1 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/cppo_ocamlbuild 1
cppo 1.7.0-1 cppo/1.7.0-1 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/cppo_ocamlbuild 1
cppo 1.7.0-1 cppo/1.7.0-1 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/mips64el-linux-gnuabi64/ocaml/5.2.0/cppo_ocamlbuild 1
cppo 1.7.0-1 cppo/1.7.0-1 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/arm-linux-gnueabihf/ocaml/5.2.0/cppo_ocamlbuild 1
cppo 1.7.0-1 cppo/1.7.0-1 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/cppo_ocamlbuild 1
cppo 1.7.0-1 cppo/1.7.0-1 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/arm-linux-gnueabi/ocaml/5.2.0/cppo_ocamlbuild 1
cppo 1.7.0-1 cppo/1.7.0-1 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/i386-linux-gnu/ocaml/5.2.0/cppo_ocamlbuild 1
cppo 1.7.0-1 cppo/1.7.0-1 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/cppo_ocamlbuild 1
frama-c 20220511-manganese-5 frama-c-base/20220511-manganese-5+b10 pedantic ocaml-dev-file-in-nondev-package 259 files in usr/lib/frama-c 2
frama-c 20220511-manganese-5 frama-c-base/20220511-manganese-5+b11 pedantic ocaml-dev-file-in-nondev-package 259 files in usr/lib/frama-c 2
frama-c 20220511-manganese-5 frama-c-base/20220511-manganese-5+b11 pedantic ocaml-dev-file-in-nondev-package 495 files in usr/lib/frama-c 4
frama-c 20220511-manganese-5 frama-c-base/20220511-manganese-5+b12 pedantic ocaml-dev-file-in-nondev-package 495 files in usr/lib/frama-c 1
hol-light 20231021-2 hol-light/20231021-2 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/share/hol-light 9
liquidsoap 2.2.4-1 liquidsoap/2.2.4-1+b1 pedantic ocaml-dev-file-in-nondev-package 57 files in usr/lib/ocaml/liquidsoap-lang 1
liquidsoap 2.2.4-1 liquidsoap/2.2.4-1+b1 pedantic ocaml-dev-file-in-nondev-package 116 files in usr/lib/ocaml/liquidsoap-lang 1
liquidsoap 2.2.4-1 liquidsoap/2.2.4-1+b2 pedantic ocaml-dev-file-in-nondev-package 116 files in usr/lib/ocaml/liquidsoap-lang 6
liquidsoap 2.2.4-1 liquidsoap/2.2.4-1+b2 pedantic ocaml-dev-file-in-nondev-package 57 files in usr/lib/ocaml/liquidsoap-lang 1
nurpawiki 1.2.4-4 nurpawiki/1.2.4-4+b15 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/nurpawiki 1
nurpawiki 1.2.4-4 nurpawiki/1.2.4-4+b15 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/s390x-linux-gnu/ocaml/5.2.0/nurpawiki 1
nurpawiki 1.2.4-4 nurpawiki/1.2.4-4+b15 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/nurpawiki 1
nurpawiki 1.2.4-4 nurpawiki/1.2.4-4+b15 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/nurpawiki 1
nurpawiki 1.2.4-4 nurpawiki/1.2.4-4+b16 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/nurpawiki 1
ocamlbuild 0.15.0-2 ocamlbuild/0.15.0-2+b1 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/ocamlbuild 1
ocamlbuild 0.15.0-2 ocamlbuild/0.15.0-2+b1 pedantic ocaml-dev-file-in-nondev-package 4 files in usr/lib/i386-linux-gnu/ocaml/5.2.0/ocamlbuild 1
ocamlbuild 0.15.0-2 ocamlbuild/0.15.0-2+b1 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/ocamlbuild 1
ocamlbuild 0.15.0-2 ocamlbuild/0.15.0-2+b1 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/ocamlbuild 1
ocamlbuild 0.15.0-2 ocamlbuild/0.15.0-2+b1 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/ocamlbuild 1
ocamlbuild 0.15.0-2 ocamlbuild/0.15.0-2+b1 pedantic ocaml-dev-file-in-nondev-package 9 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/ocamlbuild 1
ocamlbuild 0.15.0-2 ocamlbuild/0.15.0-2+b1 pedantic ocaml-dev-file-in-nondev-package 4 files in usr/lib/arm-linux-gnueabihf/ocaml/5.2.0/ocamlbuild 1
ocamlbuild 0.15.0-2 ocamlbuild/0.15.0-2+b1 pedantic ocaml-dev-file-in-nondev-package 4 files in usr/lib/arm-linux-gnueabi/ocaml/5.2.0/ocamlbuild 1
ocamlbuild 0.15.0-2 ocamlbuild/0.15.0-2+b1 pedantic ocaml-dev-file-in-nondev-package 4 files in usr/lib/mips64el-linux-gnuabi64/ocaml/5.2.0/ocamlbuild 1
ocaml-merlin 5.2.1-502+ds-1 ocaml-merlin/5.2.1-502+ds-1 pedantic ocaml-dev-file-in-nondev-package 190 files in usr/lib/arm-linux-gnueabihf/ocaml/5.2.0/merlin-lib 1
ocaml-merlin 5.2.1-502+ds-1 ocaml-merlin/5.2.1-502+ds-1 pedantic ocaml-dev-file-in-nondev-package 190 files in usr/lib/arm-linux-gnueabi/ocaml/5.2.0/merlin-lib 1
ocaml-merlin 5.2.1-502+ds-1 ocaml-merlin/5.2.1-502+ds-1 pedantic ocaml-dev-file-in-nondev-package 393 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/merlin-lib 1
ocaml-merlin 5.2.1-502+ds-1 ocaml-merlin/5.2.1-502+ds-1 pedantic ocaml-dev-file-in-nondev-package 393 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/merlin-lib 1
ocaml-merlin 5.2.1-502+ds-1 ocaml-merlin/5.2.1-502+ds-1 pedantic ocaml-dev-file-in-nondev-package 190 files in usr/lib/mips64el-linux-gnuabi64/ocaml/5.2.0/merlin-lib 1
ocaml-merlin 5.2.1-502+ds-1 ocaml-merlin/5.2.1-502+ds-1 pedantic ocaml-dev-file-in-nondev-package 190 files in usr/lib/i386-linux-gnu/ocaml/5.2.0/merlin-lib 1
ocaml-merlin 5.2.1-502+ds-1 ocaml-merlin/5.2.1-502+ds-1 pedantic ocaml-dev-file-in-nondev-package 393 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/merlin-lib 1
ocaml-merlin 5.2.1-502+ds-1 ocaml-merlin/5.2.1-502+ds-1 pedantic ocaml-dev-file-in-nondev-package 393 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/merlin-lib 1
ocaml-merlin 5.2.1-502+ds-1 ocaml-merlin/5.2.1-502+ds-1 pedantic ocaml-dev-file-in-nondev-package 393 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/merlin-lib 1
paramcoq 1.1.3+coq8.19-2 libcoq-paramcoq/1.1.3+coq8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/coq-paramcoq 1
paramcoq 1.1.3+coq8.19-2 libcoq-paramcoq/1.1.3+coq8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq-paramcoq 1
paramcoq 1.1.3+coq8.19-2 libcoq-paramcoq/1.1.3+coq8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-paramcoq 1
paramcoq 1.1.3+coq8.19-2 libcoq-paramcoq/1.1.3+coq8.19-2+b2 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/coq-paramcoq 1
paramcoq 1.1.3+coq8.19-2 libcoq-paramcoq/1.1.3+coq8.19-2+b3 pedantic ocaml-dev-file-in-nondev-package 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/coq-paramcoq 1
smlnj 110.79-8 smlnj/110.79-8 pedantic ocaml-dev-file-in-nondev-package 1 file in usr/lib/smlnj/lib/smlnj/init/.cm/x86-unix 2
ulex 1.2-3 ocaml-ulex/1.2-3+b1 pedantic ocaml-dev-file-in-nondev-package 2 files in usr/lib/arm-linux-gnueabi/ocaml/5.2.0/ulex 1
ulex 1.2-3 ocaml-ulex/1.2-3+b1 pedantic ocaml-dev-file-in-nondev-package 2 files in usr/lib/i386-linux-gnu/ocaml/5.2.0/ulex 1
ulex 1.2-3 ocaml-ulex/1.2-3+b1 pedantic ocaml-dev-file-in-nondev-package 2 files in usr/lib/mips64el-linux-gnuabi64/ocaml/5.2.0/ulex 1
ulex 1.2-3 ocaml-ulex/1.2-3+b1 pedantic ocaml-dev-file-in-nondev-package 5 files in usr/lib/aarch64-linux-gnu/ocaml/5.2.0/ulex 1
ulex 1.2-3 ocaml-ulex/1.2-3+b1 pedantic ocaml-dev-file-in-nondev-package 5 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.2.0/ulex 1
ulex 1.2-3 ocaml-ulex/1.2-3+b1 pedantic ocaml-dev-file-in-nondev-package 5 files in usr/lib/riscv64-linux-gnu/ocaml/5.2.0/ulex 1
ulex 1.2-3 ocaml-ulex/1.2-3+b1 pedantic ocaml-dev-file-in-nondev-package 5 files in usr/lib/s390x-linux-gnu/ocaml/5.2.0/ulex 1
ulex 1.2-3 ocaml-ulex/1.2-3+b1 pedantic ocaml-dev-file-in-nondev-package 5 files in usr/lib/x86_64-linux-gnu/ocaml/5.2.0/ulex 1
ulex 1.2-3 ocaml-ulex/1.2-3+b1 pedantic ocaml-dev-file-in-nondev-package 2 files in usr/lib/arm-linux-gnueabihf/ocaml/5.2.0/ulex 1