Versions Packages Information History Related Badges Report

Packages for why3

57 package(s) known

Debian 10
buster/main

why3

1.2.0 (1.2.0-1)
Debian 11
bullseye/main

why3

1.3.3 (1.3.3-1)
Debian 12
bookworm/main

why3

1.5.1 (1.5.1-1)
Debian 13
trixie/main

why3

1.8.0 (1.8.0-2)
Debian Unstable
sid/main

why3

1.8.0 (1.8.0-2)
Debian Experimental
experimental/main

why3

1.8.0 (1.8.0-3)
deepin 20
main

why3

1.2.0 (1.2.0-1)
Devuan 3.0
beowulf/main

why3

1.2.0 (1.2.0-1)
Devuan 4.0
chimaera/main

why3

1.3.3 (1.3.3-1)
Devuan Unstable
unstable/main

why3

1.8.0 (1.8.0-2)
Fedora 37
release

why3

1.5.1 (1.5.1-1.fc37)
Fedora 37
updates

why3

1.5.1 (1.5.1-3.fc37)
Fedora 38
release

why3

1.5.1 (1.5.1-6.fc38)
Fedora 38
updates

why3

1.5.1 (1.5.1-8.fc38)
Fedora 39
updates

why3

1.7.2 (1.7.2-1.fc39)
Fedora 39
release

why3

1.6.0 (1.6.0-6.fc39)
Fedora 40
updates

why3

1.7.2 (1.7.2-1.fc40)
Fedora 40
release

why3

1.7.1 (1.7.1-2.fc40)
Fedora 41
release

why3

1.7.2 (1.7.2-8.fc41)
Fedora 41
updates

why3

1.7.2 (1.7.2-10.fc41)
Fedora 42
release

why3

1.8.0 (1.8.0-4.fc42)
Fedora Rawhide
development

why3

1.8.0 (1.8.0-5.fc43)
Gentoo

sci-mathematics/why3

1.8.0
Gentoo

sci-mathematics/why3

1.7.2
Gentoo

sci-mathematics/why3

1.6.0
GNU Guix

why3

1.7.2
Kali Linux Rolling
main

why3

1.8.0 (1.8.0-2)
LiGurOS stable

sci-mathematics/why3

1.8.0
LiGurOS stable

sci-mathematics/why3

1.7.2
LiGurOS stable

sci-mathematics/why3

1.6.0
LiGurOS develop

sci-mathematics/why3

1.8.0
LiGurOS develop

sci-mathematics/why3

1.7.2
LiGurOS develop

sci-mathematics/why3

1.6.0
nixpkgs stable 22.11

why3

1.5.1
nixpkgs stable 23.05

why3

1.6.0
nixpkgs stable 23.11

why3

1.7.2
nixpkgs stable 24.05

why3

1.7.2
nixpkgs stable 24.11

why3

1.8.0
nixpkgs stable 25.05

why3

1.8.0
nixpkgs unstable

why3

1.8.0
Pardus 21
main

why3

1.3.3 (1.3.3-1)
Parrot
parrot-updates/main

why3

1.5.1 (1.5.1-1)
Parrot
parrot/main

why3

1.5.1 (1.5.1-1)
pkgsrc current

devel/why3

1.8.0 (1.8.0nb3)
PureOS amber
amber/main

why3

1.2.0 (1.2.0-1)
PureOS byzantium
byzantium/main

why3

1.3.3 (1.3.3-1)
PureOS landing
landing/main

why3

1.8.0 (1.8.0-2)
Raspbian Oldstable
main

why3

1.3.3 (1.3.3-1)
Raspbian Stable
main

why3

1.5.1 (1.5.1-1)
Raspbian Testing
main

why3

1.8.0 (1.8.0-2)
Trisquel 10.0
nabia/main

why3

1.2.1 (1.2.1-6)
Ubuntu 18.04
bionic/universe

why3

0.88.3 (0.88.3-1ubuntu4)
Ubuntu 20.04
focal/universe

why3

1.2.1 (1.2.1-6)
Ubuntu 24.04
noble/universe

why3

1.6.0 (1.6.0-1build7)
Ubuntu 24.10
oracular/universe

why3

1.7.2 (1.7.2-2build1)
Ubuntu 25.04
plucky/universe

why3

1.8.0 (1.8.0-2)
Ubuntu 25.10
questing/universe

why3

1.8.0 (1.8.0-2)