Fri, 08 Nov 2024 06:25:44 UTC | login

Information for RPM why3-1.7.2-7.fc41.src.rpm

ID1363288
Namewhy3
Version1.7.2
Release7.fc41
Epoch
Archsrc
SummarySoftware verification platform
DescriptionWhy3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
Build Time2024-07-25 11:04:57 GMT
Size6.71 MB
e896af0012dafeace7f171787c7a2de4
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
git:https://gitlab.inria.fr/why3/why3.git
Buildrootf41-build-821301-152509
Provides
ocaml-why3 = 1.7.2-7.fc41
ocaml-why3-devel = 1.7.2-7.fc41
why3 = 1.7.2-7.fc41
why3-all = 1.7.2-7.fc41
why3-emacs = 1.7.2-7.fc41
why3-examples = 1.7.2-7.fc41
why3-proofgeneral = 1.7.2-7.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
coq
emacs-nw
emacs-proofgeneral
flocq
graphviz
latexmk
libappstream-glib
make
ocaml
ocaml-apron-devel
ocaml-camlidl-devel
ocaml-findlib
ocaml-lablgtk3-sourceview3-devel
ocaml-menhir
ocaml-mlmpfr-devel
ocaml-num-devel
ocaml-ocamldoc
ocaml-ocamlgraph-devel
ocaml-ppx-deriving-devel
ocaml-ppx-sexp-conv-devel
ocaml-re-devel
ocaml-sexplib-devel
ocaml-zarith-devel
ocaml-zip-devel
python3dist(sphinx)
python3dist(sphinxcontrib-bibtex)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
tex(capt-of.sty)
tex(comment.sty)
tex(fncychap.sty)
tex(framed.sty)
tex(latex)
tex(needspace.sty)
tex(tabulary.sty)
tex(tgtermes.sty)
tex(upquote.sty)
tex(wrapfig.sty)
tex-urlbst
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
fr.lri.why3.desktop178.00 B
fr.lri.why3.metainfo.xml1.97 KB
why3-1.7.2.tar.gz6.68 MB
why3.spec26.75 KB
Component of No Buildroots