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+b3 | 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+b3 | 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+b3 | 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+b3 | 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+b3 | 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.12-1 | camlidl/1.12-1+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 2 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0 |
| camlidl | 1.12-1 | camlidl/1.12-1+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 1 file in usr/lib/i386-linux-gnu/ocaml/5.3.0 |
| camlidl | 1.12-1 | camlidl/1.12-1+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 2 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0 |
| camlidl | 1.12-1 | camlidl/1.12-1+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 2 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0 |
| camlidl | 1.12-1 | camlidl/1.12-1+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 2 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0 |
| camlidl | 1.12-1 | camlidl/1.12-1+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 1 file in usr/lib/mips64el-linux-gnuabi64/ocaml/5.3.0 |
| camlidl | 1.12-1 | camlidl/1.12-1+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 1 file in usr/lib/arm-linux-gnueabi/ocaml/5.3.0 |
| camlidl | 1.12-1 | camlidl/1.12-1+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 2 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0 |
| camlidl | 1.12-1 | camlidl/1.12-1+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 1 file in usr/lib/arm-linux-gnueabihf/ocaml/5.3.0 |
| coccinelle | 1.3.0.deb-1 | coccinelle/1.3.0.deb-1+b1 | 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+b1 | 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+b7 | 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+b7 | 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+b7 | 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+b8 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 3 files in usr/lib/x86_64-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/powerpc64le-linux-gnu/ocaml/5.3.0/coq-bignums |
| coq-dpdgraph | 1.0+8.20-1 | libcoq-dpdgraph/1.0+8.20-1+b3 | 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+b3 | 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+b3 | 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+b3 | 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+b3 | 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 | libcoq-elpi/2.5.0-1 | 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 | libcoq-elpi/2.5.0-1 | 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 | libcoq-elpi/2.5.0-1 | 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 | libcoq-elpi/2.5.0-1 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 54 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi |
| coq-elpi | 2.5.0-1 | libcoq-elpi/2.5.0-1 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 54 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/rocq-elpi |
| coq-equations | 1.3.1-8.20-1 | libcoq-equations/1.3.1-8.20-1+b3 | 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+b3 | 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+b3 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 37 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0/coq-equations |
| coq-equations | 1.3.1-8.20-1 | libcoq-equations/1.3.1-8.20-1+b3 | 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+b3 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 37 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-equations |
| coq-hammer | 1.3.2+8.20-1 | libcoq-hammer/1.3.2+8.20-1+b3 | 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+b3 | 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+b3 | 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+b3 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 9 files in usr/lib/s390x-linux-gnu/ocaml/5.3.0 |
| coq-hammer | 1.3.2+8.20-1 | libcoq-hammer/1.3.2+8.20-1+b3 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 9 files in usr/lib/aarch64-linux-gnu/ocaml/5.3.0 |
| coq-mtac2 | 1.4+8.20-1 | libcoq-mtac2/1.4+8.20-1+b3 | 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+b3 | 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+b3 | 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+b4 | 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+b4 | 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 | 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+b1 | 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+b1 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 45 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-quickchick/plugin |
| coq-quickchick | 2.1.0-1 | libcoq-quickchick/2.1.0-1+b1 | 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+b1 | 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-reduction-effects | 0.1.5-5 | libcoq-reduction-effects/0.1.5-5+b6 | 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+b6 | 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+b6 | 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+b7 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 3 files in usr/lib/powerpc64le-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/x86_64-linux-gnu/ocaml/5.3.0/coq-reduction-effects |
| coq-relation-algebra | 1.7.11-1 | libcoq-relation-algebra/1.7.11-1+b6 | 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+b6 | 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+b6 | 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+b6 | 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+b7 | 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 | 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 | 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-simple-io | 1.11.0-1 | libcoq-simple-io/1.11.0-1 | 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 | 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 | 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-unicoq | 1.6-8.20-1 | libcoq-unicoq/1.6-8.20-1+b3 | 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+b3 | 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+b3 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 3 files in usr/lib/powerpc64le-linux-gnu/ocaml/5.3.0/coq-unicoq |
| coq-unicoq | 1.6-8.20-1 | libcoq-unicoq/1.6-8.20-1+b3 | 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+b3 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 3 files in usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-unicoq |
| cppo | 1.8.0-1 | cppo/1.8.0-1+b1 | 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+b1 | 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+b1 | 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+b1 | 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+b1 | 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+b1 | 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+b1 | 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+b1 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 1 file in usr/lib/i386-linux-gnu/ocaml/5.3.0/cppo_ocamlbuild |
| cppo | 1.8.0-1 | cppo/1.8.0-1+b1 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 3 files in usr/lib/x86_64-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 | 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+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+b6 | 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+b7 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 74 files in usr/lib/arm-linux-gnueabihf/ocaml/5.3.0 |
| liquidsoap | 2.3.2-2 | liquidsoap/2.3.2-2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 74 files in usr/lib/mips64el-linux-gnuabi64/ocaml/5.3.0 |
| nurpawiki | 1.2.4-4 | nurpawiki/1.2.4-4+b24 | 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+b24 | 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+b24 | 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+b24 | 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+b25 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 1 file in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/nurpawiki |
| ocaml-merlin | 5.4.1-503+ds-1 | ocaml-merlin/5.4.1-503+ds-1 | 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 | 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 | 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 | 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 | 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 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 198 files in usr/lib/arm-linux-gnueabi/ocaml/5.3.0/merlin-lib |
| ocaml-merlin | 5.4.1-503+ds-1 | ocaml-merlin/5.4.1-503+ds-1 | 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 | 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 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 198 files in usr/lib/i386-linux-gnu/ocaml/5.3.0/merlin-lib |
| ocamlbuild | 0.16.1-1 | ocamlbuild/0.16.1-1 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 4 files in usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/ocamlbuild |
| ocamlbuild | 0.16.1-1 | ocamlbuild/0.16.1-1 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 4 files in usr/lib/arm-linux-gnueabi/ocaml/5.3.0/ocamlbuild |
| paramcoq | 1.1.3+coq8.20-1 | libcoq-paramcoq/1.1.3+coq8.20-1+b3 | 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+b3 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 3 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/coq-paramcoq |
| paramcoq | 1.1.3+coq8.20-1 | libcoq-paramcoq/1.1.3+coq8.20-1+b3 | 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+b3 | 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+b3 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 3 files in usr/lib/x86_64-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+b2 | 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+b2 | 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+b2 | 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+b2 | 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+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 2 files in usr/lib/arm-linux-gnueabihf/ocaml/5.3.0/ulex |
| ulex | 1.2-3 | ocaml-ulex/1.2-3+b2 | 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+b2 | 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+b2 | 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+b2 | pedantic | ocaml-dev-file-in-nondev-package | 1 | 5 files in usr/lib/riscv64-linux-gnu/ocaml/5.3.0/ulex |
Showing 1 to 133 of 133 entries