packages
[ Source: why3 ]
Paketti: why3 (1.2.1-6) [universe]
Links for why3
Ubuntu-palvelut:
Imuroi lähdekoodipaketti why3:
Ylläpitäjä:
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:
- Kotisivu [why3.lri.fr]
Samankaltaisia paketteja:
Software verification platform
Muut pakettiin why3 liittyvät paketit
|
|
|
|
-
- dep: libc6 (>= 2.28) [riscv64]
- GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
- dep: libc6 (>= 2.29) [ei 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]
- näennäispaketti, jonka toteuttaa libnum-ocaml
-
- dep: libpango-1.0-0 (>= 1.14.0)
- Layout and rendering of internationalized text
-
- dep: libzip-ocaml-5kn27 [riscv64]
- näennäispaketti, jonka toteuttaa libzip-ocaml
-
- dep: ocaml-base-nox-4.08.1
- näennäispaketti, jonka toteuttaa 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
- tai why3-coq
- Coq support for the why3 verification platform
- tai spass
- automated theorem prover for first-order logic with equality
- tai z3 (<< 4.8.7)
- theorem prover from Microsoft Research
- tai alt-ergo (>= 2.0.0)
- Automatic theorem prover dedicated to program verification
-
- sug: why3-examples
- Examples for the why3 verification platform
Imuroi why3
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 30,063.1 kt | 144,527.0 kt | [tiedostoluettelo] |
| arm64 | 38,455.5 kt | 188,659.0 kt | [tiedostoluettelo] |
| armhf | 19,938.6 kt | 98,479.0 kt | [tiedostoluettelo] |
| ppc64el | 32,355.3 kt | 164,401.0 kt | [tiedostoluettelo] |
| riscv64 | 56,778.8 kt | 233,044.0 kt | [tiedostoluettelo] |
| s390x | 31,157.6 kt | 164,977.0 kt | [tiedostoluettelo] |