Package - libwhy3-ocaml-dev
Primary informations
Download package: http://deb.debian.org/debian/pool/main/w/why3/libwhy3-ocaml-dev_1.8.0-2+b1_amd64.deb (Size: 12.5MiB)| Property | Value |
|---|---|
| Package | libwhy3-ocaml-dev |
| Source | why3 (1.8.0-2) |
| Version | 1.8.0-2+b1 |
| Installed-Size | 39795 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libwhy3-ocaml-dev-uf558 |
| Depends | tex-common (>= 6.13), libmenhir-ocaml-dev-cjjw4, libstdlib-ocaml-dev-m4xw9, libzarith-ocaml-dev-h79v1, libzip-ocaml-dev-6r213, ocaml-5.3.0 |
| Suggests | ocaml-findlib |
| Description | OCaml librariries for why3 (dev) |
| Description-md5 | 072a6256bf533fcf1d18fe6a382eb298 |
| Homepage | http://why3.lri.fr/ |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/w/why3/libwhy3-ocaml-dev_1.8.0-2+b1_amd64.deb |
| Size | 13055584 |
| MD5sum | d996192aa36ceb137d7fcb35dfd69c23 |
| SHA256 | b659c800d556d80f382057fd88a60c1dc744474fb02e40a2955c90ec6ed8576e |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.a
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/why3.cmxs
- /usr/share/doc/libwhy3-ocaml-dev/NEWS.Debian.gz
- /usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.amd64.gz
- /usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.gz
- /usr/share/doc/libwhy3-ocaml-dev/changelog.gz
- /usr/share/doc/libwhy3-ocaml-dev/copyright
- /var/lib/ocaml/lintian/libwhy3-ocaml-dev.info
- /var/lib/ocaml/md5sums/libwhy3-ocaml-dev.md5sums