Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
why3
66
package(s) known
Debian 9
stretch/main
why3
0.87.3
(0.87.3-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 statistics
ok
Upstream homepage
redir
,
no IPv6
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
redir
,
no IPv6
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
redir
,
no IPv6
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
redir
,
no IPv6
Debian Unstable
sid/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
redir
,
no IPv6
Deepin
main
why3
1.2.0
(1.2.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Link(s):
Upstream homepage
redir
,
no IPv6
Devuan 2.0
ascii/main
why3
0.87.3
(0.87.3-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
redir
,
no IPv6
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
redir
,
no IPv6
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
redir
,
no IPv6
Devuan Unstable
unstable/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
redir
,
no IPv6
Fedora 26
release
why3
0.87.3
(0.87.3-3.fc26)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 27
release
why3
0.88.0
(0.88.0-1.fc27)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 28
release
why3
0.88.3
(0.88.3-1.fc28)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 29
release
why3
0.88.3
(0.88.3-1.fc28)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 30
release
why3
1.1.1
(1.1.1-2.fc30)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 31
updates
why3
1.2.1
(1.2.1-3.fc31)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 31
release
why3
1.2.0
(1.2.0-5.fc31)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 32
updates
why3
1.3.1
(1.3.1-6.fc32)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 32
release
why3
1.3.1
(1.3.1-1.fc32)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 33
updates
why3
1.3.3
(1.3.3-4.fc33)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 33
release
why3
1.3.3
(1.3.3-1.fc33)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 34
updates
why3
1.4.0
(1.4.0-1.fc34)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 34
release
why3
1.3.3
(1.3.3-7.fc34)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 35
release
why3
1.4.0
(1.4.0-3.fc35)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 35
updates
why3
1.4.0
(1.4.0-4.fc35)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 36
release
why3
1.4.1
(1.4.1-2.fc36)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
Fedora 36
updates
why3
1.4.1
(1.4.1-3.fc36)
Summary:
Software verification platform
Category:
Unspecified
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
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 page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
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 page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Fedora Rawhide
development
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 page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Gentoo
sci-mathematics/why3
1.5.1
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
,
no IPv6
Gentoo
sci-mathematics/why3
1.5.0
(1.5.0-r1)
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
,
no IPv6
Gentoo
sci-mathematics/why3
1.4.1
(1.4.1-r1)
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
,
no IPv6
Gentoo
sci-mathematics/why3
1.4.0
(1.4.0-r3)
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
,
no IPv6
GNU Guix
why3
1.4.1
Summary:
Deductive program verification
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Kali Linux Rolling
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
redir
,
no IPv6
LiGurOS stable
sci-mathematics/why3
1.5.1
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
,
no IPv6
LiGurOS stable
sci-mathematics/why3
1.5.0
(1.5.0-r1)
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
,
no IPv6
LiGurOS stable
sci-mathematics/why3
1.4.1
(1.4.1-r1)
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
,
no IPv6
LiGurOS stable
sci-mathematics/why3
1.4.0
(1.4.0-r3)
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
,
no IPv6
LiGurOS develop
sci-mathematics/why3
1.5.1
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
,
no IPv6
LiGurOS develop
sci-mathematics/why3
1.5.0
(1.5.0-r1)
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
,
no IPv6
LiGurOS develop
sci-mathematics/why3
1.4.1
(1.4.1-r1)
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
,
no IPv6
LiGurOS develop
sci-mathematics/why3
1.4.0
(1.4.0-r3)
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
,
no IPv6
Mageia 7
core/release
why3
1.2.0
(1.2.0-1.mga7)
Summary:
Software verification platform
Category:
Sciences/Computer science
License:
LGPLv2 with exceptions
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
nixpkgs stable 21.11
why3
1.4.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
redir
,
no IPv6
nixpkgs stable 22.05
why3
1.5.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
redir
,
no IPv6
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
redir
,
no IPv6
nixpkgs unstable
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
ok
,
no IPv6
Pardus 17
main
why3
0.87.3
(0.87.3-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
redir
,
no IPv6
Pardus 19
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
redir
,
no IPv6
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
redir
,
no IPv6
Parrot
parrot-updates/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
redir
,
no IPv6
Parrot
parrot/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
redir
,
no IPv6
pkgsrc current
devel/why3
1.5.1
(1.5.1nb1)
Summary:
Platform for deductive program verification
Maintainer:
jihbed.research@gmail.com
Category:
devel
Link(s):
Package sources
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
redir
,
no IPv6
PureOS Amber
why3
1.2.0
(1.2.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
redir
,
no IPv6
PureOS landing
why3
1.3.3
(1.3.3-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
treinen@debian.org
Category:
misc
Link(s):
Upstream homepage
redir
,
no IPv6
Raspbian Oldstable
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
redir
,
no IPv6
Raspbian Stable
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
redir
,
no IPv6
Raspbian Testing
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
redir
,
no IPv6
Trisquel 9.0
etiona/main
why3
0.88.3
(0.88.3-1ubuntu4)
Maintainers:
ubuntu-devel-discuss@lists.ubuntu.com
treinen@debian.org
Category:
universe/misc
Link(s):
Upstream homepage
redir
,
no IPv6
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):
Upstream homepage
redir
,
no IPv6
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
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
,
no IPv6
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
redir
,
no IPv6
Ubuntu 22.10
kinetic/universe
why3
1.5.0
(1.5.0-1build1)
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
redir
,
no IPv6
Ubuntu 23.04
lunar/universe
why3
1.5.1
(1.5.1-1build3)
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
redir
,
no IPv6