Versions Packages Information History Related Badges Report

Versions for why3

52 package(s) known

Repository Package name Version Category Maintainer(s)
Debian 9
stretch/main
why3 0.87.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Debian 10
buster/main
why3 1.2.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Debian 11
bullseye/main
why3 1.3.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Debian Unstable
sid/main
why3 1.4.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Debian Unstable
sid/main
why3 1.3.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Deepin
main
why3 1.2.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Devuan 2.0
ascii/main
why3 0.87.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Devuan 3.0
beowulf/main
why3 1.2.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Devuan 4.0
chimaera/main
why3 1.3.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Devuan Unstable
unstable/main
why3 1.4.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Fedora 26
release
why3 0.87.3 Unspecified -
Fedora 27
release
why3 0.88.0 Unspecified -
Fedora 28
release
why3 0.88.3 Unspecified -
Fedora 29
release
why3 0.88.3 Unspecified -
Fedora 30
release
why3 1.1.1 Unspecified -
Fedora 31
updates
why3 1.2.1 Unspecified -
Fedora 31
release
why3 1.2.0 Unspecified -
Fedora 32
release
why3 1.3.1 Unspecified -
Fedora 32
updates
why3 1.3.1 Unspecified -
Fedora 33
updates
why3 1.3.3 Unspecified -
Fedora 33
release
why3 1.3.3 Unspecified -
Fedora 34
updates
why3 1.4.0 Unspecified -
Fedora 34
release
why3 1.3.3 Unspecified -
Fedora 35
development
why3 1.4.0 Unspecified -
Fedora Rawhide why3 1.4.0 Unspecified -
Gentoo overlay GURU sci-mathematics/why3 1.4.0 sci-mathematics fx.carton91@gmail.com
Gentoo overlay GURU sci-mathematics/why3 1.3.3 sci-mathematics fx.carton91@gmail.com
Gentoo Science overlay sci-mathematics/why3 1.3.3 sci-mathematics sci-mathematics@gentoo.org
GNU Guix why3 1.4.0 - -
Mageia 7
core/release
why3 1.2.0 Sciences/Computer science -
nixpkgs stable 21.05 why3 1.3.3 - aseipp@pobox.com, vincent.laporte@gmail.com
nixpkgs stable 21.11 why3 1.4.0 - aseipp@pobox.com, vincent.laporte@gmail.com
nixpkgs unstable why3 1.4.0 - aseipp@pobox.com, vincent.laporte@gmail.com
Pardus 17
main
why3 0.87.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Pardus 19
main
why3 1.2.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Pardus 21
main
why3 1.3.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Parrot
main
why3 1.3.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
PLD Linux why3 1.4.0 - -
PureOS Amber why3 1.2.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
PureOS landing why3 1.3.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Raspbian Oldstable
main
why3 1.2.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Raspbian Stable
main
why3 1.3.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Raspbian Testing
main
why3 1.3.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Trisquel 9.0
etiona/main
why3 0.88.3 universe/misc ubuntu-devel-discuss@lists.ubuntu.com, treinen@debian.org
Trisquel 10.0
nabia/main
why3 1.2.1 universe/misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Ubuntu 18.04
bionic/universe
why3 0.88.3 universe/misc ubuntu-devel-discuss@lists.ubuntu.com, treinen@debian.org
Ubuntu 20.04
focal/universe
why3 1.2.1 universe/misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Ubuntu 20.10
groovy/universe
why3 1.3.3 universe/misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Ubuntu 21.04
hirsute/universe
why3 1.3.3 universe/misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Ubuntu 21.10
impish/universe
why3 1.3.3 universe/misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Ubuntu 22.04
jammy/universe
why3 1.3.3 universe/misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Ubuntu 22.04 Proposed
jammy-proposed/universe
why3 1.4.0 universe/misc debian-ocaml-maint@lists.debian.org, treinen@debian.org