- coq-theories (= 8.12.0-3+b3)
- libcoq-ocaml-xs455
- libnum-ocaml-80ki3
- ocaml-base-nox-4.11.1
- python3:any
- libc6 (>= 2.29)
- ocaml-nox
- ocaml-findlib
proof assistant for higher-order logic (toplevel and compiler)
Installed Size: 366.7 MB
Architectures: arm64 amd64