| rocq-core 9.1.1 |
other input |
|
107 |
maintained |
| coq 9.1.1 |
other input |
|
85 |
maintained |
| coq_8_20 8.20.1 |
other input |
|
8 |
maintained |
| isabelle 2025-2 |
buildInputs |
|
2 |
maintained |
| rocq-core_9_2 9.2.0 |
other input |
|
2 |
maintained |
| coq_9_2 9.2.0 |
other input |
|
1 |
maintained |
| macaulay2 1.26.06 |
nativeBuildInputs |
|
1 |
single |
| rocq-core_9_0 9.0.1 |
other input |
|
1 |
maintained |
| rocq-core_9_3 9.3.0 |
other input |
|
1 |
maintained |
| coq_8_10 8.10.2 |
other input |
|
0 |
maintained |
| coq_8_11 8.11.2 |
other input |
|
0 |
maintained |
| coq_8_12 8.12.2 |
other input |
|
0 |
maintained |
| coq_8_13 8.13.2 |
other input |
|
0 |
maintained |
| coq_8_14 8.14.1 |
other input |
|
0 |
maintained |
| coq_8_15 8.15.2 |
other input |
|
0 |
maintained |
| coq_8_16 8.16.1 |
other input |
|
0 |
maintained |
| coq_8_17 8.17.1 |
other input |
|
0 |
maintained |
| coq_8_18 8.18.0 |
other input |
|
0 |
maintained |
| coq_8_19 8.19.2 |
other input |
|
0 |
maintained |
| coq_8_7 8.7.2 |
other input |
|
0 |
maintained |
| coq_8_8 8.8.2 |
other input |
|
0 |
maintained |
| coq_8_9 8.9.1 |
other input |
|
0 |
maintained |
| coq_9_0 9.0.1 |
other input |
|
0 |
maintained |
| coq_9_3 9.3.0 |
other input |
|
0 |
maintained |
| ocamlPackages.osdp 1.1.1 |
propagatedBuildInputs |
|
0 |
unmaintained broken |