Package: libwhy3-ocaml-dev
Source: why3 (1.3.3-1)
Version: 1.3.3-1+b4
Architecture: s390x
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 45220
Depends: tex-common (>= 6.13), libmenhir-ocaml-dev-kbw37, libnum-ocaml-dev-hcwe8, libzip-ocaml-dev-vlgu0, ocaml-nox-4.11.1
Suggests: ocaml-findlib
Provides: libwhy3-ocaml-dev-zedi7
Section: ocaml
Priority: optional
Homepage: http://why3.lri.fr/
Description: OCaml librariries for why3 (dev)
 This package contains the libraries of the why3 verification platform
 for developing applications using why3.
