why3-0.88.3-1.fc28.x86_64.rpm


Advertisement

Description

why3 - Software verification platform

Property Value
Distribution Fedora 29
Repository Fedora x86_64
Package filename why3-0.88.3-1.fc28.x86_64.rpm
Package name why3
Package version 0.88.3
Package release 1.fc28
Package architecture x86_64
Package type rpm
Homepage http://why3.lri.fr/
License LGPLv2 with exceptions
Maintainer -
Download size 27.35 MB
Installed size 111.90 MB
Why3 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.

Alternatives

Package Version Architecture Repository
why3-0.88.3-1.fc28.i686.rpm 0.88.3 i686 Fedora
why3 - - -

Requires

Name Value
gtksourceview2 -
libatk-1.0.so.0()(64bit) -
libc.so.6(GLIBC_2.17)(64bit) -
libcairo.so.2()(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libfontconfig.so.1()(64bit) -
libfreetype.so.6()(64bit) -
libgdk-x11-2.0.so.0()(64bit) -
libgdk_pixbuf-2.0.so.0()(64bit) -
libgio-2.0.so.0()(64bit) -
libglib-2.0.so.0()(64bit) -
libgobject-2.0.so.0()(64bit) -
libgtk-x11-2.0.so.0()(64bit) -
libgtksourceview-2.0.so.0()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libpango-1.0.so.0()(64bit) -
libpangocairo-1.0.so.0()(64bit) -
libpangoft2-1.0.so.0()(64bit) -
libz.so.1()(64bit) -
rtld(GNU_HASH) -
texlive-base -
vim-filesystem -

Provides

Name Value
bundled(jquery) -
why3 = 0.88.3-1.fc28
why3(x86-64) = 0.88.3-1.fc28

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package why3-0.88.3-1.fc28.x86_64.rpm
Source Package why3-0.88.3-1.fc28.src.rpm

Install Howto

Install why3 rpm package:

# dnf install why3

Files

Path
/usr/bin/why3
/usr/lib/.build-id/
/usr/lib/.build-id/08/f91745563f68a5489bfdf370fd8870ba64755b
/usr/lib/.build-id/09/4a04a40ff3ce82d5f11f494570c2b46c3f2bb6
/usr/lib/.build-id/09/4a04a40ff3ce82d5f11f494570c2b46c3f2bb6.1
/usr/lib/.build-id/09/4a04a40ff3ce82d5f11f494570c2b46c3f2bb6.2
/usr/lib/.build-id/28/2fe7d45a29d38156696e4a791b1e3cbc975c28
/usr/lib/.build-id/35/f7a1b74e2da7765fa7548338c4d8f40c364f73
/usr/lib/.build-id/47/e96b3c1a653f5ed52accc9dc2b6b570cab6974
/usr/lib/.build-id/49/0a1ff74ae24b4e7ef36399861f5baba934c2ee
/usr/lib/.build-id/5b/b62626f829024ec6e9c0cbd30d5521112d110e
/usr/lib/.build-id/61/b61f8c1e42d65404a075fb7eb5749236ba6128
/usr/lib/.build-id/81/ae905bdb20241f4158c6a4a263b0768a705b59
/usr/lib/.build-id/95/ac00f228eb57acc8214ef345edfab4c5375123
/usr/lib/.build-id/9e/acdef5abd18f1e7c74249f2f70265af83b6434
/usr/lib/.build-id/a1/2baf5004e3b9f4576f2d063a2f5812c461892f
/usr/lib/.build-id/b0/75f06b44bbda187342d9d7aea5067ef2129dfd
/usr/lib/.build-id/c5/836fa680f686b9ee72ecce26969894d776bef4
/usr/lib/.build-id/c8/96c1f144be502882b810f3c3182f3a0252f878
/usr/lib/.build-id/e5/e4da805ddef9aef8ae6ba55069dd20dff262e0
/usr/lib/.build-id/ef/d354f7c439d63f3091e577b12d73a99a8de5aa
/usr/lib64/why3/why3-call-pvs
/usr/lib64/why3/why3cpulimit
/usr/lib64/why3/why3server
/usr/lib64/why3/commands/why3config
/usr/lib64/why3/commands/why3doc
/usr/lib64/why3/commands/why3execute
/usr/lib64/why3/commands/why3extract
/usr/lib64/why3/commands/why3ide
/usr/lib64/why3/commands/why3prove
/usr/lib64/why3/commands/why3realize
/usr/lib64/why3/commands/why3replay
/usr/lib64/why3/commands/why3session
/usr/lib64/why3/commands/why3wc
/usr/lib64/why3/coq/BuiltIn.vo
/usr/lib64/why3/coq/HighOrd.vo
/usr/lib64/why3/coq-tactic/Why3.glob
/usr/lib64/why3/coq-tactic/Why3.v
/usr/lib64/why3/coq-tactic/Why3.vo
/usr/lib64/why3/coq-tactic/why3tac.cmxs
/usr/lib64/why3/coq/bool/Bool.vo
/usr/lib64/why3/coq/bv/BV_Gen.vo
/usr/lib64/why3/coq/bv/Pow2int.vo
/usr/lib64/why3/coq/floating_point/Double.vo
/usr/lib64/why3/coq/floating_point/DoubleFormat.vo
/usr/lib64/why3/coq/floating_point/GenFloat.vo
/usr/lib64/why3/coq/floating_point/Rounding.vo
/usr/lib64/why3/coq/floating_point/Single.vo
/usr/lib64/why3/coq/floating_point/SingleFormat.vo
/usr/lib64/why3/coq/ieee_float/Float32.vo
/usr/lib64/why3/coq/ieee_float/Float64.vo
/usr/lib64/why3/coq/ieee_float/GenericFloat.vo
/usr/lib64/why3/coq/ieee_float/RoundingMode.vo
/usr/lib64/why3/coq/int/Abs.vo
/usr/lib64/why3/coq/int/ComputerDivision.vo
/usr/lib64/why3/coq/int/Div2.vo
/usr/lib64/why3/coq/int/EuclideanDivision.vo
/usr/lib64/why3/coq/int/Exponentiation.vo
/usr/lib64/why3/coq/int/Int.vo
/usr/lib64/why3/coq/int/MinMax.vo
/usr/lib64/why3/coq/int/NumOf.vo
/usr/lib64/why3/coq/int/Power.vo
/usr/lib64/why3/coq/list/Append.vo
/usr/lib64/why3/coq/list/Combine.vo
/usr/lib64/why3/coq/list/Distinct.vo
/usr/lib64/why3/coq/list/HdTl.vo
/usr/lib64/why3/coq/list/HdTlNoOpt.vo
/usr/lib64/why3/coq/list/Length.vo
/usr/lib64/why3/coq/list/List.vo
/usr/lib64/why3/coq/list/Mem.vo
/usr/lib64/why3/coq/list/Nth.vo
/usr/lib64/why3/coq/list/NthHdTl.vo
/usr/lib64/why3/coq/list/NthLength.vo
/usr/lib64/why3/coq/list/NthLengthAppend.vo
/usr/lib64/why3/coq/list/NthNoOpt.vo
/usr/lib64/why3/coq/list/NumOcc.vo
/usr/lib64/why3/coq/list/Permut.vo
/usr/lib64/why3/coq/list/RevAppend.vo
/usr/lib64/why3/coq/list/Reverse.vo
/usr/lib64/why3/coq/map/Const.vo
/usr/lib64/why3/coq/map/Map.vo
/usr/lib64/why3/coq/map/MapInjection.vo
/usr/lib64/why3/coq/map/MapPermut.vo
/usr/lib64/why3/coq/map/Occ.vo
/usr/lib64/why3/coq/number/Coprime.vo
/usr/lib64/why3/coq/number/Divisibility.vo
/usr/lib64/why3/coq/number/Gcd.vo
/usr/lib64/why3/coq/number/Parity.vo
/usr/lib64/why3/coq/number/Prime.vo
/usr/lib64/why3/coq/option/Option.vo
/usr/lib64/why3/coq/real/Abs.vo
/usr/lib64/why3/coq/real/ExpLog.vo
/usr/lib64/why3/coq/real/FromInt.vo
/usr/lib64/why3/coq/real/MinMax.vo
/usr/lib64/why3/coq/real/PowerInt.vo
/usr/lib64/why3/coq/real/PowerReal.vo
/usr/lib64/why3/coq/real/Real.vo
/usr/lib64/why3/coq/real/RealInfix.vo
/usr/lib64/why3/coq/real/Square.vo
/usr/lib64/why3/coq/real/Trigonometry.vo
/usr/lib64/why3/coq/real/Truncate.vo
/usr/lib64/why3/coq/seq/Seq.vo
/usr/lib64/why3/coq/set/Set.vo
/usr/lib64/why3/plugins/dimacs.cmxs
/usr/lib64/why3/plugins/genequlin.cmxs
/usr/lib64/why3/plugins/hypothesis_selection.cmxs
/usr/lib64/why3/plugins/python.cmxs
/usr/lib64/why3/plugins/tptp.cmxs
/usr/share/bash-completion/
/usr/share/bash-completion/completions/why3
/usr/share/doc/why3/AUTHORS
/usr/share/doc/why3/CHANGES.md
/usr/share/doc/why3/README.md
/usr/share/doc/why3/manual.pdf
/usr/share/gtksourceview-2.0/language-specs/why3.lang
/usr/share/licenses/why3/LICENSE
/usr/share/man/man1/why3-cpulimit.1.gz
/usr/share/man/man1/why3.1.gz
/usr/share/man/man1/why3bench.1.gz
/usr/share/man/man1/why3config.1.gz
/usr/share/man/man1/why3doc.1.gz
/usr/share/man/man1/why3ide.1.gz
/usr/share/man/man1/why3ml.1.gz
/usr/share/man/man1/why3realize.1.gz
/usr/share/man/man1/why3replayer.1.gz
/usr/share/texlive/texmf-local/tex/latex/why3/why3lang.sty
/usr/share/vim/vimfiles/ftdetect/why3.vim
/usr/share/vim/vimfiles/syntax/why3.vim
/usr/share/why3/LICENSE
/usr/share/why3/Makefile.config
/usr/share/why3/provers-detection-data.conf
/usr/share/why3/why3session.dtd
/usr/share/why3/drivers/alt_ergo.drv
/usr/share/why3/drivers/alt_ergo_common.drv
/usr/share/why3/drivers/alt_ergo_fp.drv
/usr/share/why3/drivers/alt_ergo_model.drv
/usr/share/why3/drivers/alt_ergo_smt2.drv
/usr/share/why3/drivers/beagle.drv
/usr/share/why3/drivers/coq-common.gen
/usr/share/why3/drivers/coq-realizations.aux
/usr/share/why3/drivers/coq-realize.drv
/usr/share/why3/drivers/coq-ssreflect.drv
/usr/share/why3/drivers/coq.drv
/usr/share/why3/drivers/cvc3.drv
/usr/share/why3/drivers/cvc4-realize.drv
/usr/share/why3/drivers/cvc4.drv
/usr/share/why3/drivers/cvc4_14.drv
/usr/share/why3/drivers/cvc4_15.drv
/usr/share/why3/drivers/cvc4_bv.gen
/usr/share/why3/drivers/discrimination.gen
/usr/share/why3/drivers/eprover.drv
/usr/share/why3/drivers/gappa.drv
/usr/share/why3/drivers/iprover.drv
/usr/share/why3/drivers/isabelle-common.gen
/usr/share/why3/drivers/isabelle-realizations.aux
/usr/share/why3/drivers/isabelle2016-1-realize.drv
/usr/share/why3/drivers/isabelle2016-1.drv
/usr/share/why3/drivers/isabelle2017-realize.drv
/usr/share/why3/drivers/isabelle2017.drv
/usr/share/why3/drivers/mathematica.drv
/usr/share/why3/drivers/mathsat.drv
/usr/share/why3/drivers/metis.drv
/usr/share/why3/drivers/metitarski.drv
/usr/share/why3/drivers/no-bv.gen
/usr/share/why3/drivers/ocaml-gen.drv
/usr/share/why3/drivers/ocaml-no-arith.drv
/usr/share/why3/drivers/ocaml-unsafe-int.drv
/usr/share/why3/drivers/ocaml32.drv
/usr/share/why3/drivers/ocaml64.drv
/usr/share/why3/drivers/polypaver.drv
/usr/share/why3/drivers/princess.drv
/usr/share/why3/drivers/psyche.drv
/usr/share/why3/drivers/pvs-common.gen
/usr/share/why3/drivers/pvs-realizations.aux
/usr/share/why3/drivers/pvs-realize.drv
/usr/share/why3/drivers/pvs.drv
/usr/share/why3/drivers/safeprover.drv
/usr/share/why3/drivers/simplify.drv
/usr/share/why3/drivers/smt-libv2-bv-realization.gen
/usr/share/why3/drivers/smt-libv2-bv.gen
/usr/share/why3/drivers/smt-libv2-floats.gen
/usr/share/why3/drivers/smt-libv2.drv
/usr/share/why3/drivers/spass.drv
/usr/share/why3/drivers/spass_types.drv
/usr/share/why3/drivers/tptp-tff0.drv
/usr/share/why3/drivers/tptp-tff1.drv
/usr/share/why3/drivers/tptp.gen
/usr/share/why3/drivers/vampire.drv
/usr/share/why3/drivers/verit.drv
/usr/share/why3/drivers/why3.drv
/usr/share/why3/drivers/why3_smt.drv
/usr/share/why3/drivers/why3_tptp.drv
/usr/share/why3/drivers/yices-smt2.drv
/usr/share/why3/drivers/yices.drv
/usr/share/why3/drivers/z3.drv
/usr/share/why3/drivers/z3_432.drv
/usr/share/why3/drivers/z3_440.drv
/usr/share/why3/drivers/z3_smtv1.drv
/usr/share/why3/drivers/zenon.drv
/usr/share/why3/drivers/zenon_modulo.drv
/usr/share/why3/images/fatcow.rc
/usr/share/why3/images/logo-why.png
/usr/share/why3/images/fatcow/accept.png
/usr/share/why3/images/fatcow/bin.png
/usr/share/why3/images/fatcow/bomb.png
/usr/share/why3/images/fatcow/brick_delete.png
/usr/share/why3/images/fatcow/bullet_black.png
/usr/share/why3/images/fatcow/bullet_blue.png
/usr/share/why3/images/fatcow/bullet_green.png
/usr/share/why3/images/fatcow/bullet_red.png
/usr/share/why3/images/fatcow/bullet_white.png
/usr/share/why3/images/fatcow/cancel.png
/usr/share/why3/images/fatcow/control_pause_blue.png
/usr/share/why3/images/fatcow/control_play_blue.png
/usr/share/why3/images/fatcow/database_delete.png
/usr/share/why3/images/fatcow/ddr_memory.png
/usr/share/why3/images/fatcow/delete.png
/usr/share/why3/images/fatcow/exclamation.png
/usr/share/why3/images/fatcow/folder.png
/usr/share/why3/images/fatcow/help.png
/usr/share/why3/images/fatcow/magic_wand_2.png
/usr/share/why3/images/fatcow/multitool.png
/usr/share/why3/images/fatcow/package.png
/usr/share/why3/images/fatcow/pencil.png
/usr/share/why3/images/fatcow/readme-fatcow.txt
/usr/share/why3/images/fatcow/script.png
/usr/share/why3/images/fatcow/time_delete.png
/usr/share/why3/images/fatcow/timeline.png
/usr/share/why3/images/fatcow/update.png
/usr/share/why3/modules/array.mlw
/usr/share/why3/modules/hashtbl.mlw
/usr/share/why3/modules/impset.mlw
/usr/share/why3/modules/io.mlw
/usr/share/why3/modules/matrix.mlw
/usr/share/why3/modules/null.mlw
/usr/share/why3/modules/pqueue.mlw
/usr/share/why3/modules/python.mlw
/usr/share/why3/modules/queue.mlw
/usr/share/why3/modules/random.mlw
/usr/share/why3/modules/ref.mlw
/usr/share/why3/modules/stack.mlw
/usr/share/why3/modules/string.mlw
/usr/share/why3/modules/mach/array.mlw
/usr/share/why3/modules/mach/bv.mlw
/usr/share/why3/modules/mach/float.mlw
/usr/share/why3/modules/mach/int.mlw
/usr/share/why3/modules/mach/matrix.mlw
/usr/share/why3/modules/mach/onetime.mlw
/usr/share/why3/modules/mach/peano.mlw
/usr/share/why3/theories/algebra.why
/usr/share/why3/theories/bag.why
/usr/share/why3/theories/bintree.why
/usr/share/why3/theories/bool.why
/usr/share/why3/theories/bv.why
/usr/share/why3/theories/floating_point.why
/usr/share/why3/theories/function.why
/usr/share/why3/theories/graph.why
/usr/share/why3/theories/ieee_float.why
/usr/share/why3/theories/int.why
/usr/share/why3/theories/list.why
/usr/share/why3/theories/map.why
/usr/share/why3/theories/number.why
/usr/share/why3/theories/option.why
/usr/share/why3/theories/pigeon.why
/usr/share/why3/theories/real.why
/usr/share/why3/theories/regexp.why
/usr/share/why3/theories/relations.why
/usr/share/why3/theories/seq.why
/usr/share/why3/theories/set.why
/usr/share/why3/theories/sum.why
/usr/share/why3/theories/tptp.why
/usr/share/why3/vim/
/usr/share/zsh/
/usr/share/zsh/site-functions/_why3

Changelog

2018-02-12 - Jerry James <loganjerry@gmail.com> - 0.88.3-1
- New upstream release
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 0.88.2-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-12-09 - Jerry James <loganjerry@gmail.com> - 0.88.2-1
- New upstream release
2017-11-17 - Richard W.M. Jones <rjones@redhat.com> - 0.88.1-1
- New upstream version 0.88.1.
- OCaml 4.06.0 rebuild.
2017-10-07 - Jerry James <loganjerry@gmail.com> - 0.88.0-1
- New usptream release
2017-10-05 - Jerry James <loganjerry@gmail.com> - 0.87.3-12
- Rebuild for flocq 2.6.0
2017-09-06 - Richard W.M. Jones <rjones@redhat.com> - 0.87.3-11
- OCaml 4.05.0 rebuild.
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 0.87.3-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 0.87.3-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
2017-06-27 - Richard W.M. Jones <rjones@redhat.com> - 0.87.3-8
- Bump release and rebuild.

See Also

Package Description
why3-all-0.88.3-1.fc28.x86_64.rpm Complete Why3 software verification platform suite
why3-emacs-0.88.3-1.fc28.noarch.rpm Emacs support file for why3 files
why3-examples-0.88.3-1.fc28.noarch.rpm Example inputs
why3-xemacs-0.88.3-1.fc28.noarch.rpm XEmacs support file for why3 files
whysynth-dssi-20120903-7.fc29.x86_64.rpm DSSI software synthesizer plugin
wicd-1.7.4-9.fc29.x86_64.rpm Wireless and wired network connection manager
wicd-common-1.7.4-9.fc29.noarch.rpm Wicd common files
wicd-curses-1.7.4-9.fc29.noarch.rpm Curses client for wicd
wicd-gtk-1.7.4-9.fc29.noarch.rpm GTK+ client for wicd
wicd-kde-0.3.1-14.fc29.x86_64.rpm A Wicd client built on the KDE Development Platform
wide-dhcpv6-20080615-13.1.fc29.7.x86_64.rpm DHCP Client and Server for IPv6
widelands-0-0.67.build19.fc29.x86_64.rpm Open source realtime-strategy game
wifi-radar-2.0.s10-7.fc29.noarch.rpm A utility for managing WiFi profiles
wiggle-1.1-2.fc29.x86_64.rpm A tool for applying patches with conflicts
wiiuse-0.15.0-0.8.gite7fcdf8.fc29.i686.rpm The wiiuse library is used to access and control multiple Nintendo Wiimotes
Advertisement
Advertisement