Versions Packages Information History Related Badges Report

Versions for why3

Repository Package name Version Category Maintainer(s)
AUR why3-git 0.72.r3740.g406e7f0 - kaptoxic@aur
AUR why3 1.0.0 - meanjollies@aur
Debian Stable
stable/main
why3 0.87.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Debian Testing
testing/main
why3 1.0.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Debian Unstable
main
why3 1.0.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Deepin
main
why3 0.88.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Devuan Stable
stable/main
why3 0.87.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Devuan Testing
testing/main
why3 1.0.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Devuan Unstable
unstable/main
why3 1.0.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
DPorts why3 0.83 math ports@freebsd.org
Fedora 26
release
why3 0.87.3 Unspecified fallback-mnt-fedora_26@repology
Fedora 27
release
why3 0.88.0 Unspecified fallback-mnt-fedora_27@repology
Fedora 28
release
why3 0.88.3 Unspecified fallback-mnt-fedora_28@repology
Fedora Rawhide why3 0.88.3 Unspecified fallback-mnt-fedora_rawhide@repology
FreeBSD Ports why3 0.83 math ports@freebsd.org
Kali Linux Rolling
main
why3 1.0.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Mageia 6
core/release
why3 0.87.3 Sciences/Computer science fallback-mnt-mageia_6@repology
Mageia Cauldron
core/release
why3 1.0.0 Sciences/Computer science fallback-mnt-mageia_cauldron@repology
nixpkgs stable why3 0.88.3 - aseipp@pobox.com, vincent.laporte@gmail.com
nixpkgs unstable why3 1.0.0 - aseipp@pobox.com, vincent.laporte@gmail.com
Pardus
main
why3 0.87.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Parrot
main
why3 1.0.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
PLD Linux why3 0.87.3 - fallback-mnt-pld@repology
PureOS green why3 1.0.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
PureOS landing why3 1.0.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Raspbian Stable
main
why3 0.87.3 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Raspbian Testing
main
why3 1.0.0 misc debian-ocaml-maint@lists.debian.org, treinen@debian.org
Ubuntu 17.10
artful/universe
why3 0.87.3 universe/misc treinen@debian.org, ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 18.04
bionic/universe
why3 0.88.3 universe/misc treinen@debian.org, ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 18.10
cosmic/universe
why3 0.88.3 universe/misc treinen@debian.org, ubuntu-devel-discuss@lists.ubuntu.com
Ubuntu 18.10 Proposed
cosmic-proposed/universe
why3 1.0.0 universe/misc debian-ocaml-maint@lists.debian.org, treinen@debian.org

Absent in repositories