[ Pakiet źródłowy: alt-ergo ]
Pakiet: alt-ergo (2.4.2-2) [universe]
Odnośniki dla alt-ergo
Zasoby systemu Ubuntu:
Pobieranie pakietu źródłowego alt-ergo:
Opiekun:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Archiwum e-mail)
- Mehdi Dogguy
- Ralf Treinen
It should generally not be necessary for users to contact the original maintainer.
Zasoby zewnętrzne:
- Strona internetowa [alt-ergo.ocamlpro.com]
Podobne pakiety:
Automatic theorem prover dedicated to program verification
Inne pakiety związane z alt-ergo
|
|
|
|
-
- dep: libc6 (>= 2.34) [riscv64]
- GNU C Library: Shared libraries
- dep: libc6 (>= 2.35) [nie riscv64]
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- Multiprecision arithmetic library
-
- dep: libnum-ocaml-8unq8 [s390x]
- pakiet wirtualny udostępniany przez libnum-ocaml
-
- dep: libnum-ocaml-bq435 [nie armhf, s390x]
- pakiet wirtualny udostępniany przez libnum-ocaml
-
- dep: libnum-ocaml-jreq3 [armhf]
- pakiet wirtualny udostępniany przez libnum-ocaml
-
- dep: libpsmt2-frontend-ocaml-7esp5 [s390x]
- pakiet wirtualny udostępniany przez libpsmt2-frontend-ocaml
-
- dep: libpsmt2-frontend-ocaml-jao91 [nie armhf, s390x]
- pakiet wirtualny udostępniany przez libpsmt2-frontend-ocaml
-
- dep: libpsmt2-frontend-ocaml-klxf0 [armhf]
- pakiet wirtualny udostępniany przez libpsmt2-frontend-ocaml
-
- dep: libzarith-ocaml-4dps0 [nie armhf, s390x]
- pakiet wirtualny udostępniany przez libzarith-ocaml
-
- dep: libzarith-ocaml-aip06 [armhf]
- pakiet wirtualny udostępniany przez libzarith-ocaml
-
- dep: libzarith-ocaml-vtl52 [s390x]
- pakiet wirtualny udostępniany przez libzarith-ocaml
-
- dep: libzip-ocaml-bs6v4 [s390x]
- pakiet wirtualny udostępniany przez libzip-ocaml
-
- dep: libzip-ocaml-kj2q1 [nie armhf, s390x]
- pakiet wirtualny udostępniany przez libzip-ocaml
-
- dep: libzip-ocaml-xyxo6 [armhf]
- pakiet wirtualny udostępniany przez libzip-ocaml
-
- dep: ocaml-base-4.13.1
- pakiet wirtualny udostępniany przez ocaml-base
-
- dep: zlib1g (>= 1:1.1.4)
- compression library - runtime
Pobieranie alt-ergo
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
amd64 | 17 513,2 KiB | 64 896,0 KiB | [lista plików] |
arm64 | 18 285,5 KiB | 68 250,0 KiB | [lista plików] |
armhf | 17 357,4 KiB | 59 587,0 KiB | [lista plików] |
ppc64el | 17 945,2 KiB | 67 864,0 KiB | [lista plików] |
riscv64 | 17 909,3 KiB | 68 304,0 KiB | [lista plików] |
s390x | 17 650,5 KiB | 66 750,0 KiB | [lista plików] |