packages
[ Source: why3 ]
Package: libwhy3-ocaml-dev (1.6.0-1build7) [universe]
Links for libwhy3-ocaml-dev
Ubuntu Resources:
Download Source Package why3:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Ralf Treinen
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [why3.lri.fr]
Similar packages:
OCaml librariries for why3 (dev)
Other Packages Related to libwhy3-ocaml-dev
|
|
|
|
-
- dep: libc6 (>= 2.4) [armhf]
- GNU C Library: Shared libraries
-
- dep: libmenhir-ocaml-dev-jko84 [not armhf, s390x]
- virtual package provided by libmenhir-ocaml-dev
-
- dep: libmenhir-ocaml-dev-mfft7 [s390x]
- virtual package provided by libmenhir-ocaml-dev
-
- dep: libmenhir-ocaml-dev-zd7l0 [armhf]
- virtual package provided by libmenhir-ocaml-dev
-
- dep: libnum-ocaml-dev-gltn3 [not armhf, s390x]
- virtual package provided by libnum-ocaml-dev
-
- dep: libnum-ocaml-dev-kxkf6 [armhf]
- virtual package provided by libnum-ocaml-dev
-
- dep: libnum-ocaml-dev-nobe2 [s390x]
- virtual package provided by libnum-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ep7y0 [amd64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-fee01 [ppc64el]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-fyga0 [arm64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-rayz1 [armhf]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-vjut8 [riscv64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-vneg5 [s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libzip-ocaml-dev-fk4o9 [not armhf, s390x]
- virtual package provided by libzip-ocaml-dev
-
- dep: libzip-ocaml-dev-h63g8 [armhf]
- virtual package provided by libzip-ocaml-dev
-
- dep: libzip-ocaml-dev-zdrl2 [s390x]
- virtual package provided by libzip-ocaml-dev
-
- dep: ocaml-4.14.1
- virtual package provided by ocaml
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
-
- sug: ocaml-findlib
- management tool for OCaml libraries
Download libwhy3-ocaml-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 12,850.8 kB | 49,671.0 kB | [list of files] |
| arm64 | 13,878.1 kB | 53,585.0 kB | [list of files] |
| armhf | 12,923.3 kB | 41,594.0 kB | [list of files] |
| ppc64el | 13,373.4 kB | 54,189.0 kB | [list of files] |
| riscv64 | 14,736.0 kB | 72,470.0 kB | [list of files] |
| s390x | 12,754.4 kB | 48,974.0 kB | [list of files] |