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

[  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Paquet source : why3  ]

Liens pour why3

Ressources Ubuntu :

• Rapports de bogues
• Journal des modifications Ubuntu
• Fichier de licence

Télécharger le paquet source why3 :

• [why3_1.8.1-1.dsc]
• [why3_1.8.1.orig.tar.bz2]
• [why3_1.8.1-1.debian.tar.xz]

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-3tam5 [s390x]

  paquet virtuel fourni par libcairo2-ocaml

• dep: libcairo2-ocaml-awcl2 [armhf]

  paquet virtuel fourni par libcairo2-ocaml

• dep: libcairo2-ocaml-eesc3 [non armhf, 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-4l5z8 [armhf]

  paquet virtuel fourni par liblablgtk3-ocaml

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

  paquet virtuel fourni par liblablgtk3-ocaml

• dep: liblablgtk3-ocaml-qi0e5 [s390x]

  paquet virtuel fourni par liblablgtk3-ocaml

• dep: liblablgtksourceview3-ocaml-5g7c1 [armhf]

  paquet virtuel fourni par liblablgtksourceview3-ocaml

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

  paquet virtuel fourni par liblablgtksourceview3-ocaml

• dep: liblablgtksourceview3-ocaml-wwfo9 [s390x]

  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-2d5j3 [s390x]

  paquet virtuel fourni par libstdlib-ocaml

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

  paquet virtuel fourni par libstdlib-ocaml

• dep: libstdlib-ocaml-ye7o9 [armhf]

  paquet virtuel fourni par libstdlib-ocaml

• dep: libzarith-ocaml-7dab1 [armhf]

  paquet virtuel fourni par libzarith-ocaml

• dep: libzip-ocaml-3hpl7 [armhf]

  paquet virtuel fourni par libzip-ocaml

• dep: ocaml-base-5.3.0 [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	13 007,3 ko	43 224,0 ko	[liste des fichiers]
arm64	15 043,8 ko	52 348,0 ko	[liste des fichiers]
armhf	24 039,4 ko	63 905,0 ko	[liste des fichiers]
ppc64el	13 427,9 ko	47 099,0 ko	[liste des fichiers]
riscv64	13 438,9 ko	46 290,0 ko	[liste des fichiers]
s390x	13 500,5 ko	48 604,0 ko	[liste des fichiers]