why3-0.87.3-3.fc26.i686.rpm


Advertisement

Description

why3 - Software verification platform

Property Value
Distribution Fedora 26
Repository Fedora i386
Package name why3
Package version 0.87.3
Package release 3.fc26
Package architecture i686
Package type rpm
Installed size 80.76 MB
Download size 22.11 MB
Official Mirror archives.fedoraproject.org
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.87.3-3.fc26.x86_64.rpm 0.87.3 x86_64 Fedora
why3 - - -

Requires

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

Provides

Name Value
bundled(jquery) -
why3 = 0.87.3-3.fc26
why3(x86-32) = 0.87.3-3.fc26

Download

Type URL
Binary Package why3-0.87.3-3.fc26.i686.rpm
Source Package why3-0.87.3-3.fc26.src.rpm

Install Howto

Install the why3 rpm package:

# dnf install why3

Files

Path
/usr/bin/why3
/usr/lib/why3/why3-call-pvs
/usr/lib/why3/why3-cpulimit
/usr/lib/why3/commands/why3config
/usr/lib/why3/commands/why3doc
/usr/lib/why3/commands/why3execute
/usr/lib/why3/commands/why3extract
/usr/lib/why3/commands/why3ide
/usr/lib/why3/commands/why3prove
/usr/lib/why3/commands/why3realize
/usr/lib/why3/commands/why3replay
/usr/lib/why3/commands/why3session
/usr/lib/why3/commands/why3wc
/usr/lib/why3/coq/BuiltIn.vo
/usr/lib/why3/coq/HighOrd.vo
/usr/lib/why3/coq-tactic/Why3.glob
/usr/lib/why3/coq-tactic/Why3.v
/usr/lib/why3/coq-tactic/Why3.vo
/usr/lib/why3/coq-tactic/why3tac.cmxs
/usr/lib/why3/coq/bool/Bool.vo
/usr/lib/why3/coq/bv/BV_Gen.vo
/usr/lib/why3/coq/bv/Pow2int.vo
/usr/lib/why3/coq/floating_point/Double.vo
/usr/lib/why3/coq/floating_point/DoubleFormat.vo
/usr/lib/why3/coq/floating_point/GenFloat.vo
/usr/lib/why3/coq/floating_point/Rounding.vo
/usr/lib/why3/coq/floating_point/Single.vo
/usr/lib/why3/coq/floating_point/SingleFormat.vo
/usr/lib/why3/coq/int/Abs.vo
/usr/lib/why3/coq/int/ComputerDivision.vo
/usr/lib/why3/coq/int/Div2.vo
/usr/lib/why3/coq/int/EuclideanDivision.vo
/usr/lib/why3/coq/int/Exponentiation.vo
/usr/lib/why3/coq/int/Int.vo
/usr/lib/why3/coq/int/MinMax.vo
/usr/lib/why3/coq/int/NumOf.vo
/usr/lib/why3/coq/int/Power.vo
/usr/lib/why3/coq/list/Append.vo
/usr/lib/why3/coq/list/Combine.vo
/usr/lib/why3/coq/list/Distinct.vo
/usr/lib/why3/coq/list/HdTl.vo
/usr/lib/why3/coq/list/HdTlNoOpt.vo
/usr/lib/why3/coq/list/Length.vo
/usr/lib/why3/coq/list/List.vo
/usr/lib/why3/coq/list/Mem.vo
/usr/lib/why3/coq/list/Nth.vo
/usr/lib/why3/coq/list/NthHdTl.vo
/usr/lib/why3/coq/list/NthLength.vo
/usr/lib/why3/coq/list/NthLengthAppend.vo
/usr/lib/why3/coq/list/NthNoOpt.vo
/usr/lib/why3/coq/list/NumOcc.vo
/usr/lib/why3/coq/list/Permut.vo
/usr/lib/why3/coq/list/RevAppend.vo
/usr/lib/why3/coq/list/Reverse.vo
/usr/lib/why3/coq/map/Const.vo
/usr/lib/why3/coq/map/Map.vo
/usr/lib/why3/coq/map/MapInjection.vo
/usr/lib/why3/coq/map/MapPermut.vo
/usr/lib/why3/coq/map/Occ.vo
/usr/lib/why3/coq/number/Coprime.vo
/usr/lib/why3/coq/number/Divisibility.vo
/usr/lib/why3/coq/number/Gcd.vo
/usr/lib/why3/coq/number/Parity.vo
/usr/lib/why3/coq/number/Prime.vo
/usr/lib/why3/coq/option/Option.vo
/usr/lib/why3/coq/real/Abs.vo
/usr/lib/why3/coq/real/ExpLog.vo
/usr/lib/why3/coq/real/FromInt.vo
/usr/lib/why3/coq/real/MinMax.vo
/usr/lib/why3/coq/real/PowerInt.vo
/usr/lib/why3/coq/real/PowerReal.vo
/usr/lib/why3/coq/real/Real.vo
/usr/lib/why3/coq/real/RealInfix.vo
/usr/lib/why3/coq/real/Square.vo
/usr/lib/why3/coq/real/Trigonometry.vo
/usr/lib/why3/coq/seq/Seq.vo
/usr/lib/why3/coq/set/Set.vo
/usr/lib/why3/plugins/dimacs.cmxs
/usr/lib/why3/plugins/genequlin.cmxs
/usr/lib/why3/plugins/hypothesis_selection.cmxs
/usr/lib/why3/plugins/tptp.cmxs
/usr/share/bash-completion/
/usr/share/bash-completion/completions/why3
/usr/share/doc/why3/AUTHORS
/usr/share/doc/why3/CHANGES
/usr/share/doc/why3/README
/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/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_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-2016-1.gen
/usr/share/why3/drivers/isabelle-2016.gen
/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/isabelle2016-realize.drv
/usr/share/why3/drivers/isabelle2016.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.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-realize.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/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/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/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/zsh/
/usr/share/zsh/site-functions/_why3

Changelog

2017-03-24 - Jerry James <loganjerry@gmail.com> - 0.87.3-3
- Rebuild to fix coq consistency issue
2017-02-11 - Fedora Release Engineering <releng@fedoraproject.org> - 0.87.3-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
2017-01-12 - Jerry James <loganjerry@gmail.com> - 0.87.3-1
- New upstream release
2016-11-07 - Richard W.M. Jones <rjones@redhat.com> - 0.87.2-4
- Rebuild for OCaml 4.04.0.
2016-10-28 - Jerry James <loganjerry@gmail.com> - 0.87.2-3
- Rebuild for coq 8.5pl3
- Remove obsolete scriptlets
- Fix install location of why3lang.sty
2016-09-29 - Jerry James <loganjerry@gmail.com> - 0.87.2-2
- Rebuild for flocq 2.5.2 and gappalib-coq 1.3.1
2016-09-02 - Jerry James <loganjerry@gmail.com> - 0.87.2-1
- New upstream release
2016-07-13 - Jerry James <loganjerry@gmail.com> - 0.87.1-2
- Rebuild for coq 8.5pl2
2016-06-01 - Jerry James <loganjerry@gmail.com> - 0.87.1-1
- New upstream release
2016-04-22 - Jerry James <loganjerry@gmail.com> - 0.87.0-3
- Rebuild for coq 8.5pl1

See Also

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