package names descriptions source package names package contents all options

[  focal  ] [  mantic  ] [  noble  ] [  oracular  ]

[ Source: why3  ]

Links for why3

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package why3:

• [why3_1.2.1-6.dsc]
• [why3_1.2.1.orig.tar.gz]
• [why3_1.2.1-6.debian.tar.xz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

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:

• Homepage [why3.lri.fr]

Similar packages:

• why3-coq
• 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

Other Packages Related to why3

depends

recommends

suggests

enhances

• dep: libc6 (>= 2.28) [riscv64]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.29) [not 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]

  virtual package provided by libnum-ocaml

• dep: libpango-1.0-0 (>= 1.14.0)

  Layout and rendering of internationalized text

• dep: libzip-ocaml-5kn27 [riscv64]

  virtual package provided by libzip-ocaml

• dep: ocaml-base-nox-4.08.1

  virtual package provided by 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 [armhf, riscv64, s390x]

  automated theorem prover for SMT problems

  or spass

  automated theorem prover for first-order logic with equality

  or z3 (<< 4.8.7)

  theorem prover from Microsoft Research

  or alt-ergo (>= 2.0.0)

  Automatic theorem prover dedicated to program verification

• rec: cvc4 [amd64, arm64, ppc64el]

  automated theorem prover for SMT problems

  or why3-coq

  Coq support for the why3 verification platform

  or spass

  automated theorem prover for first-order logic with equality

  or z3 (<< 4.8.7)

  theorem prover from Microsoft Research

  or alt-ergo (>= 2.0.0)

  Automatic theorem prover dedicated to program verification

• sug: why3-examples

  Examples for the why3 verification platform

Download why3

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	30,063.1 kB	144,527.0 kB	[list of files]
arm64	38,455.5 kB	188,659.0 kB	[list of files]
armhf	19,938.6 kB	98,479.0 kB	[list of files]
ppc64el	32,355.3 kB	164,401.0 kB	[list of files]
riscv64	56,778.8 kB	233,044.0 kB	[list of files]
s390x	31,157.6 kB	164,977.0 kB	[list of files]