Package: libwhy3-ocaml-dev Architecture: amd64 Version: 0.88.3-1ubuntu4 Priority: optional Section: universe/ocaml Source: why3 Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 13366 Provides: libwhy3-ocaml-dev-d40s2 Depends: tex-common (>= 6), libmenhir-ocaml-dev-47ms3, libzarith-ocaml-dev-gqf85, libzip-ocaml-dev-5t4j6, ocaml-nox-4.05.0 Filename: pool/universe/w/why3/libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb Size: 1854212 MD5sum: d695bc0174937469c32e46218eede1b4 SHA1: d9a7bce8d345dab8d9684cdda458ddb68f6fbffa SHA256: 542a5d2f86e945d59cd7c9440ef6353cc75c72811dd5bd11e8d4c9574afd9bed Homepage: http://why3.lri.fr/ Description: OCaml librariries for why3 (dev) Description-md5: 072a6256bf533fcf1d18fe6a382eb298