[ Източник: why3 ]
Пакет: why3 (1.2.1-6) [universe]
Връзки за why3
Ресурси за Ubuntu:
Изтегляне на пакет-източник why3.
Отговорник:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Пощенски архив)
- Ralf Treinen
It should generally not be necessary for users to contact the original maintainer.
Външни препратки:
- Начална страница [why3.lri.fr]
Подобни пакети:
Software verification platform
Други пакети, свързани с why3
|
|
|
|
-
- dep: libc6 (>= 2.28) [riscv64]
- GNU C Library: Shared libraries
също и виртуален пакет, предлаган от libc6-udeb
- dep: libc6 (>= 2.29) [не riscv64]
-
- dep: libcairo2 (>= 1.2.4)
- Cairo 2D vector graphics library
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0)
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.35.9)
- GLib library of C routines
-
- dep: libgtk-3-0 (>= 3.9.10)
- GTK graphical user interface library
-
- dep: libgtksourceview-3.0-1 (>= 2.91.4)
- shared libraries for the GTK+ syntax highlighting widget
-
- dep: libnum-ocaml-3i393 [riscv64]
- виртуален пакет, предлаган от libnum-ocaml
-
- dep: libpango-1.0-0 (>= 1.14.0)
- Layout and rendering of internationalized text
-
- dep: libzip-ocaml-5kn27 [riscv64]
- виртуален пакет, предлаган от libzip-ocaml
-
- dep: ocaml-base-nox-4.08.1
- виртуален пакет, предлаган от ocaml-base-nox
-
- dep: tex-common (>= 6.13)
- common infrastructure for building and installing TeX
-
- dep: zlib1g (>= 1:1.1.4)
- compression library - runtime
-
- rec: cvc4 [amd64, arm64, ppc64el]
- automated theorem prover for SMT problems
- или why3-coq
- Coq support for the why3 verification platform
- или spass
- automated theorem prover for first-order logic with equality
- или z3 (<< 4.8.7)
- theorem prover from Microsoft Research
- или alt-ergo (>= 2.0.0)
- Automatic theorem prover dedicated to program verification
-
- sug: why3-examples
- Examples for the why3 verification platform
Изтегляне на why3
Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|
amd64 | 30 063,1 кБ | 144 527,0 кБ | [списък на файловете] |
arm64 | 38 455,5 кБ | 188 659,0 кБ | [списък на файловете] |
armhf | 19 938,6 кБ | 98 479,0 кБ | [списък на файловете] |
ppc64el | 32 355,3 кБ | 164 401,0 кБ | [списък на файловете] |
riscv64 | 56 778,8 кБ | 233 044,0 кБ | [списък на файловете] |
s390x | 31 157,6 кБ | 164 977,0 кБ | [списък на файловете] |