Lintian tag: 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 level tag count information
aac-tactics 8.20.0-1 libcoq-aac-tactics/8.20.0-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-aac-tactics
aac-tactics 8.20.0-1 libcoq-aac-tactics/8.20.0-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-aac-tactics
aac-tactics 8.20.0-1 libcoq-aac-tactics/8.20.0-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-aac-tactics
aac-tactics 8.20.0-1 libcoq-aac-tactics/8.20.0-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-aac-tactics
aac-tactics 8.20.0-1 libcoq-aac-tactics/8.20.0-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-aac-tactics
camlidl 1.13-1 camlidl/1.13-1 pedantic ocaml-dev-file-in-nondev-package 1 2 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0
camlidl 1.13-1 camlidl/1.13-1 pedantic ocaml-dev-file-in-nondev-package 1 2 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0
camlidl 1.13-1 camlidl/1.13-1 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/mips64el-linux-gnuabi64/ocaml/5.3.0
camlidl 1.13-1 camlidl/1.13-1 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/arm-linux-gnueabi/ocaml/5.3.0
camlidl 1.13-1 camlidl/1.13-1 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/arm-linux-gnueabihf/ocaml/5.3.0
camlidl 1.13-1 camlidl/1.13-1 pedantic ocaml-dev-file-in-nondev-package 1 2 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0
camlidl 1.13-1 camlidl/1.13-1 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/i386-linux-gnu/ocaml/5.3.0
camlidl 1.13-1 camlidl/1.13-1 pedantic ocaml-dev-file-in-nondev-package 1 2 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0
camlidl 1.13-1 camlidl/1.13-1 pedantic ocaml-dev-file-in-nondev-package 1 2 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0
coccinelle 1.3.0.deb-1 coccinelle/1.3.0.deb-1+b2 pedantic ocaml-dev-file-in-nondev-package 4 50 files in usr/lib/coccinelle/ocaml
coccinelle 1.3.0.deb-1 coccinelle/1.3.0.deb-1+b2 pedantic ocaml-dev-file-in-nondev-package 5 25 files in usr/lib/coccinelle/ocaml
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b8 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-bignums
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b8 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-bignums
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b9 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-bignums
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b9 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-bignums
coq-bignums 9.0.0+coq8.20-1 libcoq-bignums/9.0.0+coq8.20-1+b9 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-bignums
coq-dpdgraph 1.0+8.20-1 libcoq-dpdgraph/1.0+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 5 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-dpdgraph
coq-dpdgraph 1.0+8.20-1 libcoq-dpdgraph/1.0+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 5 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-dpdgraph
coq-dpdgraph 1.0+8.20-1 libcoq-dpdgraph/1.0+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 5 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-dpdgraph
coq-dpdgraph 1.0+8.20-1 libcoq-dpdgraph/1.0+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 5 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-dpdgraph
coq-dpdgraph 1.0+8.20-1 libcoq-dpdgraph/1.0+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 5 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-dpdgraph
coq-elpi 2.5.0-1.1 libcoq-elpi/2.5.0-1.1+b1 pedantic ocaml-dev-file-in-nondev-package 1 54 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/rocq-elpi
coq-elpi 2.5.0-1.1 libcoq-elpi/2.5.0-1.1+b1 pedantic ocaml-dev-file-in-nondev-package 1 54 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/rocq-elpi
coq-elpi 2.5.0-1.1 libcoq-elpi/2.5.0-1.1+b1 pedantic ocaml-dev-file-in-nondev-package 1 54 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/rocq-elpi
coq-elpi 2.5.0-1.1 libcoq-elpi/2.5.0-1.1+b1 pedantic ocaml-dev-file-in-nondev-package 1 54 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/rocq-elpi
coq-elpi 2.5.0-1.1 libcoq-elpi/2.5.0-1.1+b1 pedantic ocaml-dev-file-in-nondev-package 1 54 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi
coq-equations 1.3.1-8.20-1 libcoq-equations/1.3.1-8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 37 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-equations
coq-equations 1.3.1-8.20-1 libcoq-equations/1.3.1-8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 37 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-equations
coq-equations 1.3.1-8.20-1 libcoq-equations/1.3.1-8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 37 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-equations
coq-equations 1.3.1-8.20-1 libcoq-equations/1.3.1-8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 37 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations
coq-equations 1.3.1-8.20-1 libcoq-equations/1.3.1-8.20-1+b5 pedantic ocaml-dev-file-in-nondev-package 1 37 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-equations
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0
coq-hammer 1.3.2+8.20-1 libcoq-hammer/1.3.2+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0
coq-mtac2 1.4+8.20-1 libcoq-mtac2/1.4+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 4 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-mtac2
coq-mtac2 1.4+8.20-1 libcoq-mtac2/1.4+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 4 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-mtac2
coq-mtac2 1.4+8.20-1 libcoq-mtac2/1.4+8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 4 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2
coq-mtac2 1.4+8.20-1 libcoq-mtac2/1.4+8.20-1+b5 pedantic ocaml-dev-file-in-nondev-package 1 4 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-mtac2
coq-mtac2 1.4+8.20-1 libcoq-mtac2/1.4+8.20-1+b5 pedantic ocaml-dev-file-in-nondev-package 1 4 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-mtac2
coq-quickchick 2.1.0-1 libcoq-quickchick/2.1.0-1+b2 pedantic ocaml-dev-file-in-nondev-package 1 45 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin
coq-quickchick 2.1.0-1 libcoq-quickchick/2.1.0-1+b3 pedantic ocaml-dev-file-in-nondev-package 1 45 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin
coq-quickchick 2.1.0-1 libcoq-quickchick/2.1.0-1+b3 pedantic ocaml-dev-file-in-nondev-package 1 45 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin
coq-quickchick 2.1.0-1 libcoq-quickchick/2.1.0-1+b3 pedantic ocaml-dev-file-in-nondev-package 1 45 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin
coq-quickchick 2.1.0-1 libcoq-quickchick/2.1.0-1+b3 pedantic ocaml-dev-file-in-nondev-package 1 45 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b7 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-reduction-effects
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b7 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-reduction-effects
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b7 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-reduction-effects
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b8 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-reduction-effects
coq-reduction-effects 0.1.5-5 libcoq-reduction-effects/0.1.5-5+b8 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-reduction-effects
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b8 pedantic ocaml-dev-file-in-nondev-package 1 15 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-relation-algebra
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b8 pedantic ocaml-dev-file-in-nondev-package 1 15 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-relation-algebra
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b8 pedantic ocaml-dev-file-in-nondev-package 1 15 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-relation-algebra
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b8 pedantic ocaml-dev-file-in-nondev-package 1 15 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-relation-algebra
coq-relation-algebra 1.7.11-1 libcoq-relation-algebra/1.7.11-1+b9 pedantic ocaml-dev-file-in-nondev-package 1 15 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-relation-algebra
coq-simple-io 1.11.0-1 libcoq-simple-io/1.11.0-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin
coq-simple-io 1.11.0-1 libcoq-simple-io/1.11.0-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin
coq-simple-io 1.11.0-1 libcoq-simple-io/1.11.0-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin
coq-simple-io 1.11.0-1 libcoq-simple-io/1.11.0-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin
coq-simple-io 1.11.0-1 libcoq-simple-io/1.11.0-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin
coq-unicoq 1.6-8.20-1 libcoq-unicoq/1.6-8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-unicoq
coq-unicoq 1.6-8.20-1 libcoq-unicoq/1.6-8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-unicoq
coq-unicoq 1.6-8.20-1 libcoq-unicoq/1.6-8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-unicoq
coq-unicoq 1.6-8.20-1 libcoq-unicoq/1.6-8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-unicoq
coq-unicoq 1.6-8.20-1 libcoq-unicoq/1.6-8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-unicoq
cppo 1.8.0-1 cppo/1.8.0-1+b2 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/arm-linux-gnueabi/ocaml/5.3.0/cppo_ocamlbuild
cppo 1.8.0-1 cppo/1.8.0-1+b2 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/cppo_ocamlbuild
cppo 1.8.0-1 cppo/1.8.0-1+b2 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/cppo_ocamlbuild
cppo 1.8.0-1 cppo/1.8.0-1+b2 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/mips64el-linux-gnuabi64/ocaml/5.3.0/cppo_ocamlbuild
cppo 1.8.0-1 cppo/1.8.0-1+b2 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/cppo_ocamlbuild
cppo 1.8.0-1 cppo/1.8.0-1+b2 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/cppo_ocamlbuild
cppo 1.8.0-1 cppo/1.8.0-1+b2 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/cppo_ocamlbuild
cppo 1.8.0-1 cppo/1.8.0-1+b2 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/cppo_ocamlbuild
cppo 1.8.0-1 cppo/1.8.0-1+b2 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/i386-linux-gnu/ocaml/5.3.0/cppo_ocamlbuild
frama-c 20220511-manganese-5 frama-c-base/20220511-manganese-5+b12 pedantic ocaml-dev-file-in-nondev-package 2 259 files in usr/lib/frama-c
frama-c 20220511-manganese-5 frama-c-base/20220511-manganese-5+b13 pedantic ocaml-dev-file-in-nondev-package 4 495 files in usr/lib/frama-c
frama-c 20220511-manganese-5 frama-c-base/20220511-manganese-5+b13 pedantic ocaml-dev-file-in-nondev-package 2 259 files in usr/lib/frama-c
frama-c 20220511-manganese-5 frama-c-base/20220511-manganese-5+b14 pedantic ocaml-dev-file-in-nondev-package 1 495 files in usr/lib/frama-c
hol-light 1:3.0.0-2 hol-light/1:3.0.0-2+b9 pedantic ocaml-dev-file-in-nondev-package 8 3 files in usr/share/hol-light
hol-light 1:3.0.0-2 hol-light/1:3.0.0-2+b10 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/share/hol-light
liquidsoap 2.3.2-2 liquidsoap/2.3.2-2+b3 pedantic ocaml-dev-file-in-nondev-package 1 152 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0
liquidsoap 2.3.2-2 liquidsoap/2.3.2-2+b3 pedantic ocaml-dev-file-in-nondev-package 1 74 files in usr/lib/i386-linux-gnu/ocaml/5.3.0
liquidsoap 2.3.2-2 liquidsoap/2.3.2-2+b3 pedantic ocaml-dev-file-in-nondev-package 1 74 files in usr/lib/arm-linux-gnueabi/ocaml/5.3.0
liquidsoap 2.3.2-2 liquidsoap/2.3.2-2+b3 pedantic ocaml-dev-file-in-nondev-package 1 74 files in usr/lib/mips64el-linux-gnuabi64/ocaml/5.3.0
liquidsoap 2.3.2-2 liquidsoap/2.3.2-2+b3 pedantic ocaml-dev-file-in-nondev-package 1 152 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0
liquidsoap 2.3.2-2 liquidsoap/2.3.2-2+b3 pedantic ocaml-dev-file-in-nondev-package 1 152 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0
liquidsoap 2.3.2-2 liquidsoap/2.3.2-2+b3 pedantic ocaml-dev-file-in-nondev-package 1 152 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0
liquidsoap 2.3.2-2 liquidsoap/2.3.2-2+b3 pedantic ocaml-dev-file-in-nondev-package 1 152 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0
liquidsoap 2.3.2-2 liquidsoap/2.3.2-2+b3 pedantic ocaml-dev-file-in-nondev-package 1 74 files in usr/lib/arm-linux-gnueabihf/ocaml/5.3.0
nurpawiki 1.2.4-4 nurpawiki/1.2.4-4+b27 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/nurpawiki
nurpawiki 1.2.4-4 nurpawiki/1.2.4-4+b27 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/nurpawiki
nurpawiki 1.2.4-4 nurpawiki/1.2.4-4+b27 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/s390x-linux-gnu/ocaml/5.3.0/nurpawiki
nurpawiki 1.2.4-4 nurpawiki/1.2.4-4+b27 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/nurpawiki
nurpawiki 1.2.4-4 nurpawiki/1.2.4-4+b28 pedantic ocaml-dev-file-in-nondev-package 1 1 file in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/nurpawiki
ocamlbuild 0.16.1-1 ocamlbuild/0.16.1-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 4 files in usr/lib/i386-linux-gnu/ocaml/5.3.0/ocamlbuild
ocamlbuild 0.16.1-1 ocamlbuild/0.16.1-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 4 files in usr/lib/arm-linux-gnueabi/ocaml/5.3.0/ocamlbuild
ocamlbuild 0.16.1-1 ocamlbuild/0.16.1-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/ocamlbuild
ocamlbuild 0.16.1-1 ocamlbuild/0.16.1-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/ocamlbuild
ocamlbuild 0.16.1-1 ocamlbuild/0.16.1-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 4 files in usr/lib/mips64el-linux-gnuabi64/ocaml/5.3.0/ocamlbuild
ocamlbuild 0.16.1-1 ocamlbuild/0.16.1-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ocamlbuild
ocamlbuild 0.16.1-1 ocamlbuild/0.16.1-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/ocamlbuild
ocamlbuild 0.16.1-1 ocamlbuild/0.16.1-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 9 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/ocamlbuild
ocamlbuild 0.16.1-1 ocamlbuild/0.16.1-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 4 files in usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/ocamlbuild
ocaml-merlin 5.4.1-503+ds-1 ocaml-merlin/5.4.1-503+ds-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 410 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/merlin-lib
ocaml-merlin 5.4.1-503+ds-1 ocaml-merlin/5.4.1-503+ds-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 410 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/merlin-lib
ocaml-merlin 5.4.1-503+ds-1 ocaml-merlin/5.4.1-503+ds-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 410 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/merlin-lib
ocaml-merlin 5.4.1-503+ds-1 ocaml-merlin/5.4.1-503+ds-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 198 files in usr/lib/mips64el-linux-gnuabi64/ocaml/5.3.0/merlin-lib
ocaml-merlin 5.4.1-503+ds-1 ocaml-merlin/5.4.1-503+ds-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 410 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/merlin-lib
ocaml-merlin 5.4.1-503+ds-1 ocaml-merlin/5.4.1-503+ds-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 198 files in usr/lib/i386-linux-gnu/ocaml/5.3.0/merlin-lib
ocaml-merlin 5.4.1-503+ds-1 ocaml-merlin/5.4.1-503+ds-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 198 files in usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/merlin-lib
ocaml-merlin 5.4.1-503+ds-1 ocaml-merlin/5.4.1-503+ds-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 410 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/merlin-lib
ocaml-merlin 5.4.1-503+ds-1 ocaml-merlin/5.4.1-503+ds-1+b1 pedantic ocaml-dev-file-in-nondev-package 1 198 files in usr/lib/arm-linux-gnueabi/ocaml/5.3.0/merlin-lib
paramcoq 1.1.3+coq8.20-1 libcoq-paramcoq/1.1.3+coq8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/coq-paramcoq
paramcoq 1.1.3+coq8.20-1 libcoq-paramcoq/1.1.3+coq8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-paramcoq
paramcoq 1.1.3+coq8.20-1 libcoq-paramcoq/1.1.3+coq8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-paramcoq
paramcoq 1.1.3+coq8.20-1 libcoq-paramcoq/1.1.3+coq8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-paramcoq
paramcoq 1.1.3+coq8.20-1 libcoq-paramcoq/1.1.3+coq8.20-1+b4 pedantic ocaml-dev-file-in-nondev-package 1 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-paramcoq
smlnj 110.79-8 smlnj/110.79-8 pedantic ocaml-dev-file-in-nondev-package 2 1 file in usr/lib/smlnj/lib/smlnj/init/.cm/x86-unix
ulex 1.2-3 ocaml-ulex/1.2-3+b3 pedantic ocaml-dev-file-in-nondev-package 1 5 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/ulex
ulex 1.2-3 ocaml-ulex/1.2-3+b3 pedantic ocaml-dev-file-in-nondev-package 1 5 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0/ulex
ulex 1.2-3 ocaml-ulex/1.2-3+b3 pedantic ocaml-dev-file-in-nondev-package 1 2 files in usr/lib/arm-linux-gnueabi/ocaml/5.3.0/ulex
ulex 1.2-3 ocaml-ulex/1.2-3+b3 pedantic ocaml-dev-file-in-nondev-package 1 2 files in usr/lib/i386-linux-gnu/ocaml/5.3.0/ulex
ulex 1.2-3 ocaml-ulex/1.2-3+b3 pedantic ocaml-dev-file-in-nondev-package 1 5 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/ulex
ulex 1.2-3 ocaml-ulex/1.2-3+b3 pedantic ocaml-dev-file-in-nondev-package 1 2 files in usr/lib/mips64el-linux-gnuabi64/ocaml/5.3.0/ulex
ulex 1.2-3 ocaml-ulex/1.2-3+b3 pedantic ocaml-dev-file-in-nondev-package 1 5 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/ulex
ulex 1.2-3 ocaml-ulex/1.2-3+b3 pedantic ocaml-dev-file-in-nondev-package 1 5 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/ulex
ulex 1.2-3 ocaml-ulex/1.2-3+b3 pedantic ocaml-dev-file-in-nondev-package 1 2 files in usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/ulex