| 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 12
bookworm/main |
why3 |
1.5.1 |
misc |
debian-ocaml-maint@lists.debian.org, treinen@debian.org |
Debian Unstable
sid/main |
why3 |
1.5.1 |
misc |
debian-ocaml-maint@lists.debian.org, treinen@debian.org |
Deepin
main |
why3 |
1.2.0 |
- |
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.5.1 |
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
updates |
why3 |
1.3.1 |
Unspecified |
- |
Fedora 32
release |
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
release |
why3 |
1.4.0 |
Unspecified |
- |
Fedora 35
updates |
why3 |
1.4.0 |
Unspecified |
- |
Fedora 36
release |
why3 |
1.4.1 |
Unspecified |
- |
Fedora 36
updates |
why3 |
1.4.1 |
Unspecified |
- |
Fedora 37
release |
why3 |
1.5.1 |
Unspecified |
- |
Fedora 37
updates |
why3 |
1.5.1 |
Unspecified |
- |
Fedora Rawhide
development |
why3 |
1.5.1 |
Unspecified |
- |
|
Gentoo |
sci-mathematics/why3 |
1.5.1 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
Gentoo |
sci-mathematics/why3 |
1.5.0 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
Gentoo |
sci-mathematics/why3 |
1.4.1 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
Gentoo |
sci-mathematics/why3 |
1.4.0 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
GNU Guix |
why3 |
1.4.1 |
- |
- |
Kali Linux Rolling
main |
why3 |
1.5.1 |
misc |
debian-ocaml-maint@lists.debian.org, treinen@debian.org |
|
LiGurOS stable |
sci-mathematics/why3 |
1.5.1 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
LiGurOS stable |
sci-mathematics/why3 |
1.5.0 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
LiGurOS stable |
sci-mathematics/why3 |
1.4.1 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
LiGurOS stable |
sci-mathematics/why3 |
1.4.0 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/why3 |
1.5.1 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/why3 |
1.5.0 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/why3 |
1.4.1 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/why3 |
1.4.0 |
sci-mathematics |
fx.carton91@gmail.com, ml@gentoo.org, sci-mathematics@gentoo.org |
Mageia 7
core/release |
why3 |
1.2.0 |
Sciences/Computer science |
- |
|
nixpkgs stable 21.11 |
why3 |
1.4.0 |
- |
aseipp@pobox.com, vincent.laporte@gmail.com |
|
nixpkgs stable 22.05 |
why3 |
1.5.0 |
- |
aseipp@pobox.com, vincent.laporte@gmail.com |
|
nixpkgs stable 22.11 |
why3 |
1.5.1 |
- |
aseipp@pobox.com, vincent.laporte@gmail.com |
|
nixpkgs unstable |
why3 |
1.5.1 |
- |
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
parrot-updates/main |
why3 |
1.3.3 |
misc |
debian-ocaml-maint@lists.debian.org, treinen@debian.org |
Parrot
parrot/main |
why3 |
1.3.3 |
misc |
debian-ocaml-maint@lists.debian.org, treinen@debian.org |
|
pkgsrc current |
devel/why3 |
1.5.1 |
devel |
jihbed.research@gmail.com |
|
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.5.1 |
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 22.10
kinetic/universe |
why3 |
1.5.0 |
universe/misc |
debian-ocaml-maint@lists.debian.org, treinen@debian.org |
Ubuntu 23.04
lunar/universe |
why3 |
1.5.1 |
universe/misc |
debian-ocaml-maint@lists.debian.org, treinen@debian.org |