noms de paquets descriptions noms de paquets source contenu du paquet toutes les options

[  noble  ] [  resolute  ] [  stonking  ] [  tenacious  ]

[ Paquet source : why3  ]

À propos

published in section universe

Ressources Ubuntu :

• Launchpad
• Rapports de bogues
• Source Package
• Publishing History
• Changelog
• Fichier de licence

Source Package why3:

• [why3_1.8.2.orig.tar.bz2]
• [why3_1.8.2-3build3.debian.tar.xz]
• [why3_1.8.2-3build3.dsc]

Responsable :

• Ubuntu MOTU Developers (Archive du courrier électronique)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (Archive du courrier électronique)
• Ralf Treinen

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

Ressources externes :

• Page d'accueil [www.why3.org]

Paquets similaires :

• why3-doc-html
• why3-doc-pdf
• spin
• libwhy3-ocaml-dev
• android-sdk
• epm
• libanimal-sniffer-java
• libpam-google-authenticator
• python3-flufl.password
• ruby-android-key-attestation
• ruby-safety-net-attestation

Autres paquets associés à why3

dépendances

recommandations

suggestions

enhances

• dep: libc6 (>= 2.38) [armhf]

  GNU C Library: Shared libraries

  dep: libc6 (>= 2.42) [non armhf]

• dep: libcairo2 (>= 1.2.4) [non armhf]

  Cairo 2D vector graphics library

• dep: libcairo2-ocaml-eo8r9 [non armhf, s390x]

  paquet virtuel fourni par libcairo2-ocaml

• dep: libcairo2-ocaml-ln7z7 [armhf]

  paquet virtuel fourni par libcairo2-ocaml

• dep: libcairo2-ocaml-yudu0 [s390x]

  paquet virtuel fourni par libcairo2-ocaml

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [non armhf]

  GDK Pixbuf library

• dep: libglib2.0-0t64 (>= 2.36.0) [non armhf]

  GLib library of C routines

• dep: libgmp10 (>= 2:6.3.0+dfsg) [non armhf]

  Multiprecision arithmetic library

• dep: libgtk-3-0t64 (>= 3.11.5) [non armhf]

  GTK graphical user interface library

• dep: libgtksourceview-3.0-1 (>= 2.91.4) [non armhf]

  shared libraries for the GTK+ syntax highlighting widget

• dep: liblablgtk3-ocaml-eg867 [armhf]

  paquet virtuel fourni par liblablgtk3-ocaml

• dep: liblablgtk3-ocaml-eviu8 [s390x]

  paquet virtuel fourni par liblablgtk3-ocaml

• dep: liblablgtk3-ocaml-qyr04 [non armhf, s390x]

  paquet virtuel fourni par liblablgtk3-ocaml

• dep: liblablgtksourceview3-ocaml-drgs6 [non armhf, s390x]

  paquet virtuel fourni par liblablgtksourceview3-ocaml

• dep: liblablgtksourceview3-ocaml-dumw0 [s390x]

  paquet virtuel fourni par liblablgtksourceview3-ocaml

• dep: liblablgtksourceview3-ocaml-e2mk1 [armhf]

  paquet virtuel fourni par liblablgtksourceview3-ocaml

• dep: libpango-1.0-0 (>= 1.14.0) [non armhf]

  Layout and rendering of internationalized text

• dep: libstdlib-ocaml-1ltp0 [non armhf, s390x]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libstdlib-ocaml-1vpd4 [armhf]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libstdlib-ocaml-oolq5 [s390x]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libzarith-ocaml-cqc12 [armhf]

  paquet virtuel fourni par libzarith-ocaml

• dep: libzip-ocaml-uzr83 [armhf]

  paquet virtuel fourni par libzip-ocaml

• dep: ocaml-base-5.4.1 [armhf]

  paquet virtuel fourni par ocaml-base

• dep: tex-common (>= 6.13)

  common infrastructure for building and installing TeX

• dep: zlib1g (>= 1:1.1.4) [non armhf]

  compression library - runtime

• rec: cvc4 (<< 1.9)

  automated theorem prover for SMT problems

  ou cvc5 (<< 1.3)

  automated theorem prover for SMT problems

  ou spass

  automated theorem prover for first-order logic with equality

  ou z3 (<< 4.14)

  theorem prover from Microsoft Research

• sug: why3-examples

  Examples for the why3 verification platform

Télécharger why3

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	14 487,7 ko	53 816,0 ko	[liste des fichiers]
arm64	16 493,0 ko	62 726,0 ko	[liste des fichiers]
armhf	25 915,9 ko	84 880,0 ko	[liste des fichiers]
ppc64el	14 918,6 ko	57 735,0 ko	[liste des fichiers]
riscv64	15 089,4 ko	56 908,0 ko	[liste des fichiers]
s390x	15 143,0 ko	59 228,0 ko	[liste des fichiers]