Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
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)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
dead
(see archive.org)
Debian 11
bullseye/main
why3
1.3.3
(1.3.3-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
dead
(see archive.org)
Debian 12
bookworm/main
why3
1.5.1
(1.5.1-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
dead
(see archive.org)
Debian 13
trixie/main
why3
1.8.0
(1.8.0-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
dead
(see archive.org)
Debian Unstable
sid/main
why3
1.8.0
(1.8.0-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
dead
(see archive.org)
Debian Experimental
experimental/main
why3
1.8.0
(1.8.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
ok
deepin 20
main
why3
1.2.0
(1.2.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Link(s):
Upstream homepage
dead
(see archive.org)
Devuan 3.0
beowulf/main
why3
1.2.0
(1.2.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
Devuan 4.0
chimaera/main
why3
1.3.3
(1.3.3-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
Devuan Unstable
unstable/main
why3
1.8.0
(1.8.0-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
Fedora 37
release
why3
1.5.1
(1.5.1-1.fc37)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package sources
Package recipe
ok
,
no IPv6
Package recipe (raw)
Package build logs
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 37
updates
why3
1.5.1
(1.5.1-3.fc37)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package sources
Package recipe
ok
,
no IPv6
Package recipe (raw)
Package build logs
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 38
release
why3
1.5.1
(1.5.1-6.fc38)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package sources
Package recipe
ok
,
no IPv6
Package recipe (raw)
Package build logs
Upstream homepage
dead
(see archive.org)
Fedora 38
updates
why3
1.5.1
(1.5.1-8.fc38)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package sources
Package recipe
ok
,
no IPv6
Package recipe (raw)
Package build logs
dead
(see archive.org)
Upstream homepage
dead
(see archive.org)
Fedora 39
updates
why3
1.7.2
(1.7.2-1.fc39)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package sources
Package recipe
Package recipe (raw)
ok
,
no IPv6
Package build logs
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 39
release
why3
1.6.0
(1.6.0-6.fc39)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package sources
Package recipe
Package recipe (raw)
ok
,
no IPv6
Package build logs
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 40
updates
why3
1.7.2
(1.7.2-1.fc40)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package sources
ok
,
no IPv6
Package recipe
Package recipe (raw)
ok
,
no IPv6
Package build logs
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 40
release
why3
1.7.1
(1.7.1-2.fc40)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package sources
ok
,
no IPv6
Package recipe
Package recipe (raw)
ok
,
no IPv6
Package build logs
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Fedora 41
release
why3
1.7.2
(1.7.2-8.fc41)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package page
ok
Package sources
Package recipe
Package recipe (raw)
Package build logs
Upstream homepage
ok
Fedora 41
updates
why3
1.7.2
(1.7.2-10.fc41)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package page
ok
Package sources
Package recipe
Package recipe (raw)
Package build logs
Upstream homepage
ok
Fedora 42
release
why3
1.8.0
(1.8.0-4.fc42)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package page
ok
Package sources
Package recipe
Package recipe (raw)
Package build logs
ok
,
no IPv6
Upstream homepage
ok
Fedora Rawhide
development
why3
1.8.0
(1.8.0-5.fc43)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):
Package page
ok
Package sources
Package recipe
Package recipe (raw)
Package build logs
Upstream homepage
ok
Gentoo
sci-mathematics/why3
1.8.0
Summary:
Platform for deductive program verification
Maintainers:
fx.carton91@gmail.com
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
Gentoo
sci-mathematics/why3
1.7.2
Summary:
Platform for deductive program verification
Maintainers:
fx.carton91@gmail.com
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
Gentoo
sci-mathematics/why3
1.6.0
Summary:
Platform for deductive program verification
Maintainers:
fx.carton91@gmail.com
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
GNU Guix
why3
1.7.2
Summary:
Deductive program verification
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
dead
(see archive.org)
Upstream download
ok
,
no IPv6
Kali Linux Rolling
main
why3
1.8.0
(1.8.0-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
LiGurOS stable
sci-mathematics/why3
1.8.0
Summary:
Platform for deductive program verification
Maintainers:
fx.carton91@gmail.com
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
Upstream download
ok
,
no IPv6
Upstream homepage
ok
LiGurOS stable
sci-mathematics/why3
1.7.2
Summary:
Platform for deductive program verification
Maintainers:
fx.carton91@gmail.com
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
LiGurOS stable
sci-mathematics/why3
1.6.0
Summary:
Platform for deductive program verification
Maintainers:
fx.carton91@gmail.com
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
LiGurOS develop
sci-mathematics/why3
1.8.0
Summary:
Platform for deductive program verification
Maintainers:
fx.carton91@gmail.com
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
LiGurOS develop
sci-mathematics/why3
1.7.2
Summary:
Platform for deductive program verification
Maintainers:
fx.carton91@gmail.com
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
LiGurOS develop
sci-mathematics/why3
1.6.0
Summary:
Platform for deductive program verification
Maintainers:
fx.carton91@gmail.com
ml@gentoo.org
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 22.11
why3
1.5.1
Summary:
A platform for deductive program verification
Maintainers:
aseipp@pobox.com
vincent.laporte@gmail.com
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
nixpkgs stable 23.05
why3
1.6.0
Summary:
A platform for deductive program verification
Maintainers:
aseipp@pobox.com
vincent.laporte@gmail.com
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
nixpkgs stable 23.11
why3
1.7.2
Summary:
A platform for deductive program verification
Maintainers:
aseipp@pobox.com
vincent.laporte@gmail.com
License:
LGPL-2.1
Link(s):
Package recipe
Upstream homepage
dead
(see archive.org)
nixpkgs stable 24.05
why3
1.7.2
Summary:
A platform for deductive program verification
Maintainers:
aseipp@pobox.com
vincent.laporte@gmail.com
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
nixpkgs stable 24.11
why3
1.8.0
Summary:
Platform for deductive program verification
Maintainers:
aseipp@pobox.com
vincent.laporte@gmail.com
License:
LGPL-2.1
Link(s):
Package recipe
Upstream homepage
dead
(see archive.org)
Package build logs
Package build logs
Package build logs
Package build logs
nixpkgs stable 25.05
why3
1.8.0
Summary:
Platform for deductive program verification
Maintainers:
aseipp@pobox.com
vincent.laporte@gmail.com
License:
LGPL-2.1
Link(s):
Package recipe
Upstream homepage
dead
(see archive.org)
Package build logs
Package build logs
Package build logs
Package build logs
nixpkgs unstable
why3
1.8.0
Summary:
Platform for deductive program verification
Maintainers:
aseipp@pobox.com
vincent.laporte@gmail.com
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Package build logs
Package build logs
Package build logs
Package build logs
Pardus 21
main
why3
1.3.3
(1.3.3-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
Parrot
parrot-updates/main
why3
1.5.1
(1.5.1-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
Parrot
parrot/main
why3
1.5.1
(1.5.1-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
pkgsrc current
devel/why3
1.8.0
(1.8.0nb3)
Summary:
Platform for deductive program verification
Maintainer:
jihbed.research@gmail.com
Category:
devel
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
Upstream homepage
dead
(see archive.org)
PureOS amber
amber/main
why3
1.2.0
(1.2.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
ocaml
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
PureOS byzantium
byzantium/main
why3
1.3.3
(1.3.3-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
ocaml
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
PureOS landing
landing/main
why3
1.8.0
(1.8.0-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
ocaml
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
dead
(see archive.org)
Raspbian Oldstable
main
why3
1.3.3
(1.3.3-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
Raspbian Stable
main
why3
1.5.1
(1.5.1-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
Raspbian Testing
main
why3
1.8.0
(1.8.0-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
dead
(see archive.org)
Trisquel 10.0
nabia/main
why3
1.2.1
(1.2.1-6)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
universe/misc
Link(s):
Package page
ok
Upstream homepage
dead
(see archive.org)
Ubuntu 18.04
bionic/universe
why3
0.88.3
(0.88.3-1ubuntu4)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
treinen@debian.org
Category:
universe/misc
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
dead
(see archive.org)
Ubuntu 20.04
focal/universe
why3
1.2.1
(1.2.1-6)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
dead
(see archive.org)
Ubuntu 24.04
noble/universe
why3
1.6.0
(1.6.0-1build7)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
treinen@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
dead
(see archive.org)
Ubuntu 24.10
oracular/universe
why3
1.7.2
(1.7.2-2build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
dead
(see archive.org)
Ubuntu 25.04
plucky/universe
why3
1.8.0
(1.8.0-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
universe/misc
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
dead
(see archive.org)
Ubuntu 25.10
questing/universe
why3
1.8.0
(1.8.0-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
universe/misc
Link(s):
Package page
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
dead
(see archive.org)