Content of RPM why3-0.88.0-1.fc27.x86_64.rpm :
/usr/bin/why3
/usr/lib/.build-id
/usr/lib/.build-id/12
/usr/lib/.build-id/12/627789a05a7f600136412fb0ddde35a20cf9fb
/usr/lib/.build-id/25
/usr/lib/.build-id/25/bca1b1222bdf8880d3736e6f731a2a402127ea
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/ff54f5cff2acdc4aae48e1d65e5af6fc93c1f5
/usr/lib/.build-id/2f
/usr/lib/.build-id/2f/fedb7f4e8f8a834d284716a5e546df4f2dd092
/usr/lib/.build-id/3f
/usr/lib/.build-id/3f/e6cad882296e689ec5276a5cd8a43aaf409bf8
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/81c07e93343a660d6ed1842b782130a0e26056
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/08d79add905fbdca197f28c785920562ace546
/usr/lib/.build-id/66
/usr/lib/.build-id/66/4d9a78a8ee8d2fe2f542e8da4924f36dc98656
/usr/lib/.build-id/67
/usr/lib/.build-id/67/843b7be084496ad099d4e3a273578de287e712
/usr/lib/.build-id/72
/usr/lib/.build-id/72/1fd55fe710cef9a90551b26bce3f4036718339
/usr/lib/.build-id/83
/usr/lib/.build-id/83/02db2e3ccd64328e2c91d968568c5ab1aca33e
/usr/lib/.build-id/98
/usr/lib/.build-id/98/aa37f4eb924e1b8e8ab9fcd0b1bcb840c92581
/usr/lib/.build-id/98/f0a5473ac2f248a8dfd2d3e463f068f61d6974
/usr/lib/.build-id/9e
/usr/lib/.build-id/9e/02295c3d817ac25453f1d97e0b94517f8ef7fd
/usr/lib/.build-id/9f
/usr/lib/.build-id/9f/e6fc1c53330769030b4b3f6d8e4c70652ab400
/usr/lib/.build-id/a0
/usr/lib/.build-id/a0/ffdf64850c62308d0af706514f7b42a8b87225
/usr/lib/.build-id/bf
/usr/lib/.build-id/bf/cf722e04150cfcdc73409cf36412f39713090b
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/f66359164a1d9069d06e6e1d8243ddc447545b
/usr/lib/.build-id/fc
/usr/lib/.build-id/fc/f5c5a7a0d96eb9da859cfad381dc28df33026d
/usr/lib64/why3
/usr/lib64/why3/commands
/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
/usr/lib64/why3/coq-tactic
/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/BuiltIn.vo
/usr/lib64/why3/coq/HighOrd.vo
/usr/lib64/why3/coq/bool
/usr/lib64/why3/coq/bool/Bool.vo
/usr/lib64/why3/coq/bv
/usr/lib64/why3/coq/bv/BV_Gen.vo
/usr/lib64/why3/coq/bv/Pow2int.vo
/usr/lib64/why3/coq/floating_point
/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
/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
/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
/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
/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
/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
/usr/lib64/why3/coq/option/Option.vo
/usr/lib64/why3/coq/real
/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
/usr/lib64/why3/coq/seq/Seq.vo
/usr/lib64/why3/coq/set
/usr/lib64/why3/coq/set/Set.vo
/usr/lib64/why3/plugins
/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/lib64/why3/why3-call-pvs
/usr/lib64/why3/why3cpulimit
/usr/lib64/why3/why3server
/usr/share/bash-completion
/usr/share/bash-completion/completions
/usr/share/bash-completion/completions/why3
/usr/share/doc/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
/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
/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
/usr/share/why3/LICENSE
/usr/share/why3/Makefile.config
/usr/share/why3/drivers
/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
/usr/share/why3/images/fatcow
/usr/share/why3/images/fatcow.rc
/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/images/logo-why.png
/usr/share/why3/modules
/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/mach
/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/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/provers-detection-data.conf
/usr/share/why3/theories
/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/why3/why3session.dtd
/usr/share/zsh
/usr/share/zsh/site-functions
/usr/share/zsh/site-functions/_why3
5688156