deb_control_files:
- control
- md5sums
- postinst
- postrm
deb_fields:
Architecture: arm64
Depends: tex-common (>= 6.13), libmenhir-ocaml-dev-7ewm9, libnum-ocaml-dev-ru7b2,
libstdlib-ocaml-dev-0d647, libzip-ocaml-dev-4nfl0, ocaml-5.2.0
Description: |-
OCaml librariries for why3 (dev)
This package contains the libraries of the why3 verification platform
for developing applications using why3.
Homepage: http://why3.lri.fr/
Installed-Size: '42461'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: libwhy3-ocaml-dev
Priority: optional
Provides: libwhy3-ocaml-dev-8mvm0
Section: ocaml
Source: why3 (1.7.2-2)
Suggests: ocaml-findlib
Version: 1.7.2-2+b1
srcpkg_name: why3
srcpkg_version: 1.7.2-2