Gentoo Portage Overlays - sci-mathematics/why3

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/why3

Platform for deductive program verification

Screenshots

https://why3.lri.fr/

why3-1.7.2

~amd64

coq doc emacs gtk +ocamlopt re sexp stackify +zarith zip +ocamlopt

View

Download

Browse License: LGPL-2

Overlay: gentoo

why3-1.6.0

~amd64

coq doc emacs gtk +ocamlopt re sexp stackify +zarith zip +ocamlopt

View

Download

Browse License: LGPL-2

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Reverse Dependencies

sci-mathematics/why3

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.