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 |