[ focal ]
[ jammy ]
[ Source: alt-ergo ]
Пакунок: alt-ergo (2.0.0-5build1) [universe]
Links for alt-ergo
Ubuntu Resources:
Download Source Package alt-ergo:
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)
- Mehdi Dogguy
- Ralf Treinen
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [alt-ergo.lri.fr]
Similar packages:
Automatic theorem prover dedicated to program verification
Інші пакунки пов'язані з alt-ergo
|
|
|
|
-
- dep: libc6 (>= 2.29) [not riscv64]
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [not riscv64]
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.35.9) [not riscv64]
- GLib library of C routines
-
- dep: libgmp10 [not riscv64]
- Multiprecision arithmetic library
-
- dep: libgtk2.0-0 (>= 2.24.0) [not riscv64]
- GTK graphical user interface library - old version
-
- dep: libgtksourceview2.0-0 (>= 2.10.0) [not riscv64]
- shared libraries for the GTK+ syntax highlighting widget
-
- dep: liblablgtk2-ocaml-gt6o8 [riscv64]
- virtual package provided by liblablgtk2-ocaml
-
- dep: liblablgtksourceview2-ocaml-qewe1 [riscv64]
- virtual package provided by liblablgtksourceview2-ocaml
-
- dep: libnum-ocaml-3i393 [riscv64]
- virtual package provided by libnum-ocaml
-
- dep: libnum-ocaml-byio3 [s390x]
- virtual package provided by libnum-ocaml
-
- dep: libnum-ocaml-f5qg6 [not riscv64, s390x]
- virtual package provided by libnum-ocaml
-
- dep: libpango-1.0-0 (>= 1.22.0) [not riscv64]
- Layout and rendering of internationalized text
-
- dep: libzarith-ocaml-3zs88 [riscv64]
- virtual package provided by libzarith-ocaml
-
- dep: libzip-ocaml-5kn27 [riscv64]
- virtual package provided by libzip-ocaml
-
- dep: ocaml-base-nox-4.08.1
- virtual package provided by ocaml-base-nox
-
- dep: zlib1g (>= 1:1.1.4) [not riscv64]
- compression library - runtime
-
- sug: why
- Пакунок недоступний
Завантажити alt-ergo
Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|
amd64 | 3,994.2 kB | 21,580.0 kB | [список файлів] |
arm64 | 4,960.6 kB | 25,638.0 kB | [список файлів] |
ppc64el | 4,460.8 kB | 24,025.0 kB | [список файлів] |
riscv64 | 397.9 kB | 4,703.0 kB | [список файлів] |
s390x | 4,631.4 kB | 26,119.0 kB | [список файлів] |