Package: libwhy3-ocaml-dev
Source: why3
Version: 1.8.2-3build2
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 53047
Depends: tex-common (>= 6.13), libmenhir-ocaml-dev-bzns5, libstdlib-ocaml-dev-1ltp0, libzarith-ocaml-dev-igxp5, libzip-ocaml-dev-0rmd5, ocaml-5.4.1
Suggests: ocaml-findlib
Provides: libwhy3-ocaml-dev-n9140
Section: ocaml
Priority: optional
Homepage: https://www.why3.org/
Description: OCaml librariries for why3 (dev)
 This package contains the libraries of the why3 verification platform
 for developing applications using why3.
