Pakiet: why3 (1.8.2-3build3) [universe]

O

published in section universe

Zasoby systemu Ubuntu:

Source Package why3:

Opiekun:

Ubuntu MOTU Developers (Archiwum e-mail)

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)
Ralf Treinen

It should generally not be necessary for users to contact the original maintainer.

Zasoby zewnętrzne:

Strona internetowa [www.why3.org]

Podobne pakiety:

Software verification platform

Inne pakiety związane z why3

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.38) [armhf]

GNU C Library: Shared libraries

dep: libc6 (>= 2.42) [nie armhf]
dep: libcairo2 (>= 1.2.4) [nie armhf]

Cairo 2D vector graphics library
dep: libcairo2-ocaml-eo8r9 [nie armhf, s390x]

pakiet wirtualny udostępniany przez libcairo2-ocaml
dep: libcairo2-ocaml-ln7z7 [armhf]

pakiet wirtualny udostępniany przez libcairo2-ocaml
dep: libcairo2-ocaml-yudu0 [s390x]

pakiet wirtualny udostępniany przez libcairo2-ocaml
dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [nie armhf]

GDK Pixbuf library
dep: libglib2.0-0t64 (>= 2.36.0) [nie armhf]

GLib library of C routines
dep: libgmp10 (>= 2:6.3.0+dfsg) [nie armhf]

Multiprecision arithmetic library
dep: libgtk-3-0t64 (>= 3.11.5) [nie armhf]

GTK graphical user interface library
dep: libgtksourceview-3.0-1 (>= 2.91.4) [nie armhf]

shared libraries for the GTK+ syntax highlighting widget
dep: liblablgtk3-ocaml-eg867 [armhf]

pakiet wirtualny udostępniany przez liblablgtk3-ocaml
dep: liblablgtk3-ocaml-eviu8 [s390x]

pakiet wirtualny udostępniany przez liblablgtk3-ocaml
dep: liblablgtk3-ocaml-qyr04 [nie armhf, s390x]

pakiet wirtualny udostępniany przez liblablgtk3-ocaml
dep: liblablgtksourceview3-ocaml-drgs6 [nie armhf, s390x]

pakiet wirtualny udostępniany przez liblablgtksourceview3-ocaml
dep: liblablgtksourceview3-ocaml-dumw0 [s390x]

pakiet wirtualny udostępniany przez liblablgtksourceview3-ocaml
dep: liblablgtksourceview3-ocaml-e2mk1 [armhf]

pakiet wirtualny udostępniany przez liblablgtksourceview3-ocaml
dep: libpango-1.0-0 (>= 1.14.0) [nie armhf]

Layout and rendering of internationalized text
dep: libstdlib-ocaml-1ltp0 [nie armhf, s390x]

pakiet wirtualny udostępniany przez libstdlib-ocaml
dep: libstdlib-ocaml-1vpd4 [armhf]

pakiet wirtualny udostępniany przez libstdlib-ocaml
dep: libstdlib-ocaml-oolq5 [s390x]

pakiet wirtualny udostępniany przez libstdlib-ocaml
dep: libzarith-ocaml-cqc12 [armhf]

pakiet wirtualny udostępniany przez libzarith-ocaml
dep: libzip-ocaml-uzr83 [armhf]

pakiet wirtualny udostępniany przez libzip-ocaml
dep: ocaml-base-5.4.1 [armhf]

pakiet wirtualny udostępniany przez ocaml-base
dep: tex-common (>= 6.13)

common infrastructure for building and installing TeX
dep: zlib1g (>= 1:1.1.4) [nie armhf]

compression library - runtime

rec: cvc4 (<< 1.9)

automated theorem prover for SMT problems

lub cvc5 (<< 1.3)

automated theorem prover for SMT problems

lub spass

automated theorem prover for first-order logic with equality

lub z3 (<< 4.14)

theorem prover from Microsoft Research

sug: why3-examples

Examples for the why3 verification platform

Pobieranie why3

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	14 487,7 KiB	53 816,0 KiB	[lista plików]
arm64	16 493,0 KiB	62 726,0 KiB	[lista plików]
armhf	25 915,9 KiB	84 880,0 KiB	[lista plików]
ppc64el	14 918,6 KiB	57 735,0 KiB	[lista plików]
riscv64	15 089,4 KiB	56 908,0 KiB	[lista plików]
s390x	15 143,0 KiB	59 228,0 KiB	[lista plików]