packages
[ Source: why3 ]
Пакунок: libwhy3-ocaml-dev (1.8.2-3build3) [universe]
About
published in section universe
Ubuntu Resources:
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 [www.why3.org]
Similar packages:
OCaml librariries for why3 (dev)
Інші пакунки пов'язані з libwhy3-ocaml-dev
|
|
|
|
-
- dep: libmenhir-ocaml-dev-6vua6 [not armhf, s390x]
- virtual package provided by libmenhir-ocaml-dev
-
- dep: libmenhir-ocaml-dev-n3at3 [s390x]
- virtual package provided by libmenhir-ocaml-dev
-
- dep: libmenhir-ocaml-dev-op4r9 [armhf]
- virtual package provided by libmenhir-ocaml-dev
-
- dep: libstdlib-ocaml-dev-1ltp0 [not armhf, s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-1vpd4 [armhf]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-oolq5 [s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libzarith-ocaml-dev-cqc12 [armhf]
- virtual package provided by libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-emf52 [s390x]
- virtual package provided by libzarith-ocaml-dev
-
- dep: libzarith-ocaml-dev-igxp5 [not armhf, s390x]
- virtual package provided by libzarith-ocaml-dev
-
- dep: libzip-ocaml-dev-0rmd5 [not armhf, s390x]
- virtual package provided by libzip-ocaml-dev
-
- dep: libzip-ocaml-dev-dd8m7 [s390x]
- virtual package provided by libzip-ocaml-dev
-
- dep: libzip-ocaml-dev-uzr83 [armhf]
- virtual package provided by libzip-ocaml-dev
-
- dep: ocaml-5.4.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
Завантажити libwhy3-ocaml-dev
| Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|
| amd64 | 13,235.4 kB | 53,103.0 kB | [список файлів] |
| arm64 | 14,465.3 kB | 58,619.0 kB | [список файлів] |
| armhf | 6,983.3 kB | 25,571.0 kB | [список файлів] |
| ppc64el | 13,738.0 kB | 57,771.0 kB | [список файлів] |
| riscv64 | 15,754.9 kB | 81,906.0 kB | [список файлів] |
| s390x | 13,375.0 kB | 55,570.0 kB | [список файлів] |