packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain why3 in all suites, all sections, and all architectures. Found 5 matching packages.

Exact hits

Package why3

• noble (24.04LTS) (math): Software verification platform [universe]
  1.6.0-1build7: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (math): Software verification platform [universe]
  1.8.1-1: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (math): Software verification platform [universe]
  1.8.2-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (math): Software verification platform [universe]
  1.8.2-3build1: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

Package libwhy3-ocaml-dev

• noble (24.04LTS) (ocaml): OCaml librariries for why3 (dev) [universe]
  1.6.0-1build7: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): OCaml librariries for why3 (dev) [universe]
  1.8.1-1: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): OCaml librariries for why3 (dev) [universe]
  1.8.2-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (ocaml): OCaml librariries for why3 (dev) [universe]
  1.8.2-3build1: amd64 arm64 armhf ppc64el riscv64 s390x

Package why3-doc-html

• noble (24.04LTS) (math): HTML Documentation of the why3 verification platform [universe]
  1.6.0-1build7: all
• questing (25.10) (math): HTML Documentation of the why3 verification platform [universe]
  1.8.1-1: all
• resolute (26.04LTS) (math): HTML Documentation of the why3 verification platform [universe]
  1.8.2-3build1: all
• stonking (math): HTML Documentation of the why3 verification platform [universe]
  1.8.2-3build1: all

Package why3-doc-pdf

• noble (24.04LTS) (math): PDF Documentation of the why3 verification platform [universe]
  1.6.0-1build7: all
• questing (25.10) (math): PDF Documentation of the why3 verification platform [universe]
  1.8.1-1: all
• resolute (26.04LTS) (math): PDF Documentation of the why3 verification platform [universe]
  1.8.2-3build1: all
• stonking (math): PDF Documentation of the why3 verification platform [universe]
  1.8.2-3build1: all

Package why3-examples

• noble (24.04LTS) (math): Examples for the why3 verification platform [universe]
  1.6.0-1build7: all
• questing (25.10) (math): Examples for the why3 verification platform [universe]
  1.8.1-1: all
• resolute (26.04LTS) (math): Examples for the why3 verification platform [universe]
  1.8.2-3build1: all
• stonking (math): Examples for the why3 verification platform [universe]
  1.8.2-3build1: all