- tex-common (>= 6.13)
- libmenhir-ocaml-dev-7ewm9
- libnum-ocaml-dev-ru7b2
- libstdlib-ocaml-dev-0d647
- libzip-ocaml-dev-4nfl0
- ocaml-5.2.0
This package contains the libraries of the why3 verification platform
for developing applications using why3.
Installed Size: 43.5 MB
Architectures: arm64 amd64