why3-1.6.0-6.fc39 in Fedora 39
↵ Return to the main page of why3
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2023-09-09 | Jerry James <loganjerry at gmail dot com> - 1.6.0-6 | - Rebuild for ocaml-ocamlgraph 2.1.0 |
| 2023-07-29 | Jerry James <loganjerry at gmail dot com> - 1.6.0-5 | - Require cvc5 instead of cvc4 |
| 2023-07-27 | Jerry James <loganjerry at gmail dot com> - 1.6.0-4 | - Rebuild for ocaml-zarith 1.13 |
| 2023-07-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.6.0-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild |
| 2023-07-18 | Jerry James <loganjerry at gmail dot com> - 1.6.0-2 | - Validate metadata with appstream-util |
| 2023-07-13 | Jerry James <loganjerry at gmail dot com> - 1.6.0-2 | - Rebuild for mpfr 4.2.0 |
| 2023-07-10 | Jerry James <loganjerry at gmail dot com> - 1.6.0-1 | - Version 1.6.0 - Enable inference with BDDs - Add patch for coq 8.17 support |
| 2023-04-01 | Jerry James <loganjerry at gmail dot com> - 1.5.1-7 | - Rebuild for coq 8.17.0 |
| 2023-01-24 | Richard W.M. Jones <rjones at redhat dot com> - 1.5.1-6 | - Rebuild OCaml packages for F38 |
| 2023-01-21 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.1-5 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild |
Dependencies
Provides
- application()
- application(fr.lri.why3.desktop)
- bundled(js-jquery)
- metainfo()
- metainfo(fr.lri.why3.metainfo.xml)
- why
- why-jessie
- why-pvs-support
- why3
- why3(x86-64)
Files
- usr/
- bin/
- isabelle_client
- why3
- lib/
- .build-id/
- 04/
- 335c883a4675950559458fb97877672c15190b
- 14/
- 6381a1e83d847efb89134fad4ec9b6374c4fea
- 1c/
- 16aed141aa6a4ea2c1fea0d5f75581878fed64
- 35/
- 7808167a95b44a9ee76fdc754b36e4903ae939
- 41/
- 9fa7a21b79d4af053508bb33ada5863b5f818e
- 51/
- ec42d9e19e30083b984d988f2a446fa3a906e4
- 58/
- 03b3acebe0064e228d5962ae1bb1b21e2cc842
- 5b/
- 968b096f50983899dde92ace7a00a93bf52e9b
- 6a/
- a9238c042d152ea6462a98e1d101d9a4918ab4
- 6c/
- d02f154e531b4a41458ec901c8a6d2f5a6ded8
- 74/
- ccb42121170d0790ef0c0d3463e32b4013096a
- 79/
- 37cfa1798c1a038080b00e8a26d33ff0981846
- 7e/
- 7ffaf6bc7b0ac92dc14e6e9f94a3b9033e02d9
- 80/
- 37d8ad4f9fb831c38035c125ec4d9a1ed21a1b
- 8d/
- bb263639049d0e812f24116507a6eed32a8200
- a2/
- 729731adda373e942a39ee877ac2191cb4b530
- a3/
- 9745e5aaf9225ce30dd41222412e4de615fd9d
- a7/
- ddc1a7e9430cd8b669e05381501140d2eb303a
- a8/
- 57dc2fdd321267b4bb54bed10b16d141cbc99d
- ad/
- 8f79c7d05e6086ce71b804ede96305fef5d169
- b3/
- 6d04231c256dfaa67e65ea9c658a37cfee6d46
- b7/
- 3e4637953698ce588161a86b5340c42801e599
- d0/
- 8cbd8e5b7fb1df40fabbb2b21fa72eaf722622
- d6/
- 4c28607bddae86704e6ed286d700707101eb2e
- f2/
- 2319c0b3d766da69378747975e75703960ed66
- 04/
- .build-id/
- lib64/
- why3/
- commands/
- why3config.cmxs
- why3doc.cmxs
- why3execute.cmxs
- why3extract.cmxs
- why3ide.cmxs
- why3pp.cmxs
- why3prove.cmxs
- why3realize.cmxs
- why3replay.cmxs
- why3session.cmxs
- why3shell.cmxs
- why3show.cmxs
- why3wc.cmxs
- why3webserver.cmxs
- coq/
- BuiltIn.vo
- HighOrd.vo
- WellFounded.vo
- bool/
- Bool.vo
- bv/
- BV_Gen.vo
- Pow2int.vo
- floating_point/
- Double.vo
- DoubleFormat.vo
- GenFloat.vo
- Rounding.vo
- Single.vo
- SingleFormat.vo
- for_drivers/
- ComputerOfEuclideanDivision.vo
- ieee_float/
- Float32.vo
- Float64.vo
- GenericFloat.vo
- RoundingMode.vo
- int/
- Abs.vo
- ComputerDivision.vo
- Div2.vo
- EuclideanDivision.vo
- Exponentiation.vo
- Int.vo
- MinMax.vo
- NumOf.vo
- Power.vo
- list/
- Append.vo
- Combine.vo
- Distinct.vo
- HdTl.vo
- HdTlNoOpt.vo
- Length.vo
- List.vo
- Mem.vo
- Nth.vo
- NthHdTl.vo
- NthLength.vo
- NthLengthAppend.vo
- NthNoOpt.vo
- NumOcc.vo
- Permut.vo
- RevAppend.vo
- Reverse.vo
- map/
- Const.vo
- Map.vo
- MapInjection.vo
- MapPermut.vo
- Occ.vo
- number/
- Coprime.vo
- Divisibility.vo
- Gcd.vo
- Parity.vo
- Prime.vo
- option/
- Option.vo
- real/
- Abs.vo
- ExpLog.vo
- FromInt.vo
- MinMax.vo
- PowerInt.vo
- PowerReal.vo
- Real.vo
- RealInfix.vo
- Square.vo
- Trigonometry.vo
- Truncate.vo
- set/
- Cardinal.vo
- Fset.vo
- FsetInduction.vo
- FsetInt.vo
- FsetSum.vo
- Set.vo
- SetApp.vo
- SetAppInt.vo
- SetImp.vo
- SetImpInt.vo
- version
- plugins/
- cfg.cmxs
- dimacs.cmxs
- genequlin.cmxs
- hypothesis_selection.cmxs
- microc.cmxs
- python.cmxs
- tptp.cmxs
- why3-call-pvs
- why3cpulimit
- why3server
- commands/
- why3/
- share/
- applications/
- fr.lri.why3.desktop
- bash-completion/
- completions/
- why3
- completions/
- doc/
- why3/
- AUTHORS
- CHANGES.md
- README.md
- html/
- _images/
- ce_example0_p1.png
- ce_example0_p2.png
- coqide.png
- graphviz-0a1c878b466002478186195be1edc1d63a3dba7f.png
- graphviz-0a1c878b466002478186195be1edc1d63a3dba7f.png.map
- graphviz-27fb1d6e15443ef5740f34deb31ffdd04481b0c6.png
- graphviz-27fb1d6e15443ef5740f34deb31ffdd04481b0c6.png.map
- graphviz-4c99287827b2f6cb91c8121e480083bf60e12a91.png
- graphviz-4c99287827b2f6cb91c8121e480083bf60e12a91.png.map
- graphviz-792470fe0ecd67e11a59f238ffd18db52037c5ec.png
- graphviz-792470fe0ecd67e11a59f238ffd18db52037c5ec.png.map
- graphviz-8f979667d1c704cb426f6e611b7e44d707ba1424.png
- graphviz-8f979667d1c704cb426f6e611b7e44d707ba1424.png.map
- graphviz-a0a9573eecd3e1281c8506e989de8ac30f984c55.png
- graphviz-a0a9573eecd3e1281c8506e989de8ac30f984c55.png.map
- gui-1.png
- gui-2.png
- gui-3.png
- gui-4.png
- gui-5.png
- gui-infer.png
- hello_proof.png
- _sources/
- api.rst.txt
- changes.rst.txt
- exec.rst.txt
- foreword.rst.txt
- genindex.rst.txt
- index.rst.txt
- input_formats.rst.txt
- install.rst.txt
- itp.rst.txt
- manpages.rst.txt
- starting.rst.txt
- syntaxref.rst.txt
- technical.rst.txt
- vcgen.rst.txt
- whyml.rst.txt
- zebibliography.rst.txt
- _static/
- alabaster.css
- basic.css
- custom.css
- doctools.js
- documentation_options.js
- file.png
- graphviz.css
- language_data.js
- minus.png
- plus.png
- pygments.css
- searchtools.js
- sphinx_highlight.js
- api.html
- changes.html
- exec.html
- foreword.html
- genindex.html
- index.html
- input_formats.html
- install.html
- itp.html
- manpages.html
- objects.inv
- search.html
- searchindex.js
- starting.html
- syntaxref.html
- technical.html
- vcgen.html
- whyml.html
- zebibliography.html
- _images/
- manual.pdf
- why3/
- gtksourceview-3.0/
- language-specs/
- why3.lang
- why3c.lang
- why3py.lang
- language-specs/
- icons/
- hicolor/
- scalable/
- why3.svg
- scalable/
- hicolor/
- licenses/
- why3/
- LICENSE
- why3/
- metainfo/
- fr.lri.why3.metainfo.xml
- texlive/
- texmf-local/
- tex/
- latex/
- why3/
- why3lang.sty
- why3/
- latex/
- tex/
- texmf-local/
- vim/
- vimfiles/
- ftdetect/
- why3.vim
- syntax/
- why3.vim
- ftdetect/
- vimfiles/
- why3/
- LICENSE
- Makefile.config
- drivers/
- alt_ergo.drv
- alt_ergo_2_2_0.drv
- alt_ergo_2_3.drv
- alt_ergo_common.drv
- alt_ergo_fp.drv
- alt_ergo_model.drv
- alt_ergo_smt2.drv
- beagle.drv
- colibri.drv
- colibri2.drv
- coq-common.gen
- coq-realizations.aux
- coq-realize.drv
- coq-ssreflect.drv
- coq.drv
- cvc3.drv
- cvc4-realize.drv
- cvc4.drv
- cvc4_14.drv
- cvc4_15.drv
- cvc4_15_counterexample.drv
- cvc4_16.drv
- cvc4_16.gen
- cvc4_16_counterexample.drv
- cvc4_17.drv
- cvc4_17_counterexample.drv
- cvc4_18_strings.drv
- cvc4_18_strings_counterexample.drv
- cvc4_bv.gen
- cvc5.drv
- cvc5_counterexample.drv
- cvc5_strings.drv
- cvc5_strings_counterexample.drv
- discrimination.gen
- dreal.drv
- eprover.drv
- gappa.drv
- iprover.drv
- isabelle-common.gen
- isabelle-realizations.aux
- isabelle-realize.drv
- isabelle.drv
- mathematica.drv
- mathsat.drv
- metis.drv
- metitarski.drv
- no-bv.gen
- polypaver.drv
- princess.drv
- psyche.drv
- pvs-common.gen
- pvs-realizations.aux
- pvs-realize.drv
- pvs.drv
- safeprover.drv
- simplify.drv
- smt-libv2-bv-realization.gen
- smt-libv2-bv.gen
- smt-libv2-floats-gnatprove.gen
- smt-libv2-floats-int_via_bv.gen
- smt-libv2-floats-int_via_real.gen
- smt-libv2-floats.gen
- smt-libv2-gnatprove.gen
- smt-libv2.gen
- smtlib-strings.gen
- spass.drv
- spass_types.drv
- tptp-tff0.drv
- tptp-tff1.drv
- tptp.gen
- vampire.drv
- vampire_4_2_2.drv
- vampire_4_5_1.drv
- verit.drv
- why3.drv
- why3_smt.drv
- why3_tptp.drv
- yices-smt2.drv
- yices.drv
- z3.drv
- z3_432.drv
- z3_440.drv
- z3_440_counterexample.drv
- z3_471.drv
- z3_471_counterexample.drv
- z3_471_nobv.drv
- z3_487.drv
- z3_487_counterexample.drv
- z3_bv.gen
- z3_smtv1.drv
- zenon.drv
- zenon_modulo.drv
- extraction_drivers/
- c.drv
- cakeml.drv
- ocaml-unsafe-int.drv
- ocaml64.drv
- images/
- fatcow/
- accept.png
- bin.png
- bomb.png
- brick_delete.png
- bullet_black.png
- bullet_blue.png
- bullet_green.png
- bullet_red.png
- bullet_white.png
- cancel.png
- control_pause_blue.png
- control_play_blue.png
- database_delete.png
- ddr_memory.png
- delete.png
- exclamation.png
- folder.png
- help.png
- magic_wand_2.png
- multitool.png
- package.png
- pencil.png
- readme-fatcow.txt
- script.png
- time_delete.png
- timeline.png
- update.png
- fatcow.rc
- logo-why.png
- fatcow/
- provers-detection-data.conf
- stdlib/
- algebra.mlw
- array.mlw
- bag.mlw
- bintree.mlw
- bool.mlw
- bv.mlw
- byte_string.mlw
- cursor.mlw
- debug.mlw
- exn.mlw
- floating_point.mlw
- fmap.mlw
- for_drivers.mlw
- function.mlw
- graph.mlw
- hashtbl.mlw
- ieee_float.mlw
- int.mlw
- io.mlw
- list.mlw
- mach/
- array.mlw
- bv.mlw
- c.mlw
- float.mlw
- fxp.mlw
- int.mlw
- matrix.mlw
- onetime.mlw
- peano.mlw
- tagset.mlw
- map.mlw
- matrix.mlw
- microc.mlw
- null.mlw
- number.mlw
- ocaml.mlw
- option.mlw
- pigeon.mlw
- pqueue.mlw
- python.mlw
- queue.mlw
- random.mlw
- real.mlw
- ref.mlw
- regexp.mlw
- relations.mlw
- seq.mlw
- set.mlw
- stack.mlw
- string.mlw
- tptp.mlw
- tree.mlw
- witness.mlw
- vim/
- why3session.dtd
- zsh/
- site-functions/
- _why3
- site-functions/
- applications/
- bin/
Sources on Pagure