- tex-common (>= 6)
- libmenhir-ocaml-dev-bzqi1
- libzarith-ocaml-dev-dt9w1
- libzip-ocaml-dev-5t4j6
- ocaml-nox-4.05.0
- libc6 (>= 2.17)
This package contains the libraries of the why3 verification platform
for developing applications using why3.
Installed Size: 45.2 MB
Architectures: amd64 arm64