Information for why3

Versions

• 1.6.0
• 1.5.1 (5)
• 1.5.0 (3)
• 1.4.1 (3)
• 1.4.0 (3)
• 1.3.3 (2)
• 1.3.1
• 1.2.1 (2)
• 1.2.0 (3)
• 1.1.1
• 0.88.3 (2)
• 0.88.0
• 0.87.3 (2)

Package names

• why3 (7)

Repositories

• Debian 9
• Debian 10
• Debian 11
• Debian 12
• Debian Unstable
• Deepin
• Devuan 2.0
• Devuan 3.0
• Devuan 4.0
• Devuan Unstable
• Fedora 26
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• Fedora 38
• Fedora Rawhide
• Gentoo
• GNU Guix
• Kali Linux Rolling
• LiGurOS stable
• LiGurOS develop
• Mageia 7
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs unstable
• Pardus 17
• Pardus 19
• Pardus 21
• Parrot
• pkgsrc current
• PureOS Amber
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• Trisquel 9.0
• Trisquel 10.0
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.10
• Ubuntu 23.04

Categories

• Sciences/Computer science
• Unspecified
• devel
• misc
• sci-mathematics
• universe/misc

Licenses

• LGPL-2
• LGPL-2.1
• LGPL-2.1-only WITH OCaml-LGPL-linking-exception
• LGPLv2 with exceptions (2)

Summaries

• A platform for deductive program verification
• Deductive program verification
• Platform for deductive program verification (2)
• Software verification platform (2)

Maintainers

• aseipp@pobox.com
• debian-ocaml-maint@lists.debian.org
• fx.carton91@gmail.com
• jihbed.research@gmail.com
• ml@gentoo.org
• sci-mathematics@gentoo.org
• treinen@debian.org
• ubuntu-devel-discuss@lists.ubuntu.com
• vincent.laporte@gmail.com

• Group email

Homepage links

• http://why3.lri.fr/^{redir, no IPv6} (5)
• https://why3.lri.fr/^{ok, no IPv6} (4)

All package recipes

• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/maths.scm#n8237^ok
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/why3/default.nix#L49^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/why3/default.nix#L40^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/why3/default.nix#L40^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/why3/default.nix#L41^{ok, no IPv6}
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/why3/why3-1.4.0-r3.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/why3/why3-1.4.1-r1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/why3/why3-1.5.0-r1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/why3/why3-1.5.1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/why3/why3-1.4.0-r3.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/why3/why3-1.4.1-r1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/why3/why3-1.5.0-r1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/why3/why3-1.5.1.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/why3/why3-1.4.0-r3.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/why3/why3-1.4.1-r1.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/why3/why3-1.5.0-r1.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/why3/why3-1.5.1.ebuild^ok
• https://src.fedoraproject.org/rpms/why3/blob/f26/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f27/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f28/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f29/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f30/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f31/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f32/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f33/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f34/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f35/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f36/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f37/f/why3.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/why3/blob/f38/f/why3.spec
• https://src.fedoraproject.org/rpms/why3/blob/rawhide/f/why3.spec^{ok, no IPv6}

Downloads

• https://gitlab.inria.fr/why3/why3^{ok, no IPv6}
• https://why3.gitlabpages.inria.fr/releases/why3-1.4.0.tar.gz^{ok, no IPv6}
• https://why3.gitlabpages.inria.fr/releases/why3-1.4.1.tar.gz^{ok, no IPv6}
• https://why3.gitlabpages.inria.fr/releases/why3-1.5.0.tar.gz^{ok, no IPv6}
• https://why3.gitlabpages.inria.fr/releases/why3-1.5.1.tar.gz^{ok, no IPv6}

Build logs

• https://kojipkgs.fedoraproject.org/packages/why3/0.87.3/3.fc26/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/0.88.0/1.fc27/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/0.88.3/1.fc28/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.1.1/2.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.2.0/5.fc31/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.2.1/3.fc31/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.3.1/1.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.3.1/6.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.3.3/1.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.3.3/4.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.3.3/7.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.4.0/1.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.4.0/3.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.4.0/4.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.4.1/2.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.4.1/3.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.5.1/1.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.5.1/3.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/why3/1.5.1/6.fc38/data/logs/^{ok, no IPv6}