| ocamlPackages.menhir 20260203 |
buildInputs |
|
938 |
single outdated |
| ocamlPackages.js_of_ocaml-compiler 6.4.1 |
propagatedBuildInputs |
|
312 |
single |
| reason 3.18.0 |
propagatedBuildInputs |
|
22 |
unmaintained |
| why3 1.8.2 |
propagatedBuildInputs |
|
7 |
maintained |
| ocamlPackages.dolmen 0.10 |
propagatedBuildInputs |
|
6 |
single |
| frama-c 33.0 |
buildInputs |
|
4 |
maintained |
| ocamlPackages.otoml 1.0.5 |
propagatedBuildInputs |
|
3 |
single |
| ocamlPackages.frama-c 33.0 |
propagatedBuildInputs |
|
2 |
maintained |
| ocamlPackages.melange 7.0.1-55 |
propagatedBuildInputs |
|
2 |
single outdated |
| ocamlPackages.name_matcher_parser 2026.08.15 |
propagatedBuildInputs |
|
2 |
single |
| ocamlPackages.scfg 0.5 |
propagatedBuildInputs |
|
2 |
single |
| ocamlPackages.kdl 0.2.0 |
propagatedBuildInputs |
|
1 |
single |
| ocamlPackages.ocamlformat-lib 0.29.0 |
propagatedBuildInputs |
|
1 |
maintained |
| ocamlPackages.ocamlformat-mlx-lib 0.28.1.2 |
propagatedBuildInputs |
|
1 |
single outdated |
| ocamlPackages.sail 0.20.1 |
propagatedBuildInputs |
|
1 |
unmaintained outdated |
| ocamlPackages.smtml 0.28.0 |
propagatedBuildInputs |
|
1 |
maintained outdated |
| ocamlPackages.zelus 2.2 |
buildInputs |
|
1 |
single unfree |
| stanc 2.40.0 |
buildInputs |
|
1 |
single |
| acgtk 2.2.0 |
buildInputs |
|
0 |
single |
| cerberus 0-unstable-2025-12-15 |
buildInputs |
|
0 |
single outdated |
| compcert 3.18 |
buildInputs |
|
0 |
maintained unfree |
| jasmin-compiler 2026.09.0 |
propagatedBuildInputs |
|
0 |
single |
| ocamlPackages.cooltt unstable-2023-10-03 |
propagatedBuildInputs |
|
0 |
single |
| ocamlPackages.drom 0.9.3 |
propagatedBuildInputs |
|
0 |
single |
| ocamlPackages.earlybird 1.3.6 |
buildInputs |
|
0 |
single |
| ocamlPackages.elpi 3.8.0 |
propagatedBuildInputs |
|
0 |
single |
| ocamlPackages.lrgrep 0.9 |
propagatedBuildInputs |
|
0 |
unmaintained |
| ocamlPackages.merlin 5.8-505 |
buildInputs |
|
0 |
maintained |
| ocamlPackages.mezzo 0.0.m8 |
buildInputs |
|
0 |
unmaintained broken |
| ocamlPackages.morbig 0.11.0 |
propagatedBuildInputs |
|
0 |
single broken |
| ocamlPackages.mustache 3.3.0 |
propagatedBuildInputs |
|
0 |
single |
| ocamlPackages.ocaml-recovery-parser 0.2.4 |
propagatedBuildInputs |
|
0 |
single broken |
| ocamlPackages.ocamlformat_0_20_1 0.20.1 |
buildInputs |
|
0 |
maintained broken |
| ocamlPackages.ocamlformat_0_21_0 0.21.0 |
buildInputs |
|
0 |
maintained broken |
| ocamlPackages.ocamlformat_0_22_4 0.22.4 |
buildInputs |
|
0 |
maintained broken |
| ocamlPackages.ocamlformat_0_23_0 0.23.0 |
buildInputs |
|
0 |
maintained broken |
| ocamlPackages.ocamlformat_0_24_1 0.24.1 |
buildInputs |
|
0 |
maintained broken |
| ocamlPackages.ocamlformat_0_25_1 0.25.1 |
buildInputs |
|
0 |
maintained broken |
| ocamlPackages.ocamlformat_0_26_0 0.26.0 |
buildInputs |
|
0 |
maintained broken |
| ocamlPackages.ocamlformat_0_26_1 0.26.1 |
buildInputs |
|
0 |
maintained broken |
| ocamlPackages.ocamlformat_0_26_2 0.26.2 |
buildInputs |
|
0 |
maintained broken |
| ocamlPackages.ocamlformat_0_27_0 0.27.0 |
buildInputs |
|
0 |
maintained broken |
| ocamlPackages.phylogenetics 0.3.0 |
propagatedBuildInputs |
|
0 |
single |
| ocamlPackages.superbol-studio-oss 1.0.0 |
propagatedBuildInputs |
|
0 |
maintained |
| ocamlPackages.wasm_of_ocaml-compiler 6.4.1 |
propagatedBuildInputs |
|
0 |
team-only |
| ocamlformat 0.29.0 |
buildInputs |
|
0 |
maintained |
| ocamlformat_0_28_1 0.28.1 |
buildInputs |
|
0 |
maintained |