why3-1.5.1-7.fc38 in Fedora 38
↵ 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-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 |
| 2023-01-06 | Jerry James <loganjerry at gmail dot com> - 1.5.1-4 | - BR tex(tgtermes.sty) to fix FTBFS with TeXLive 2022 |
| 2022-11-26 | Jerry James <loganjerry at gmail dot com> - 1.5.1-3 | - Rebuild for coq 8.16.1 |
| 2022-11-01 | Jerry James <loganjerry at gmail dot com> - 1.5.1-2 | - Rebuild for ocaml-ppxlib 0.28.0 |
| 2022-09-16 | Jerry James <loganjerry at gmail dot com> - 1.5.1-1 | - Version 1.5.1 |
| 2022-08-18 | Jerry James <loganjerry at gmail dot com> - 1.5.0-3 | - Rebuild to fix coq dependency - Convert License tag to SPDX |
| 2022-07-23 | Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.0-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild |
| 2022-07-19 | Jerry James <loganjerry at gmail dot com> - 1.5.0-1 | - Remove i686 support |
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/
- 16/
- 8b42b28af27428475e11d973a44f05e69aabee
- 25/
- 02b83439af6181e56da2e5b8261b9a66c6aaed
- 32/
- f3a682195b880e5cd2affdf3034e0bd911c7ad
- 45/
- 3d1ab5e8f95c5308ee0e4cb8e1dfd7a649e2f0
- 5dcb42857e196e9726b4f1b7fe3915794a19e0
- 48/
- efd0bb4d5ed71b170648e7ec360c3e0d6a51aa
- 50/
- 5b0e042296adfd0063102860617ed309c848b6
- 56/
- 19962778c14cbd5b0697a44ae721a5306a4440
- 65/
- 60a262c794d4559b2ffc1103026e4827916e6b
- d215726a99112d2de5da9297dc6813680bed40
- 72/
- 4dfd8d0698c54fc711d07041496a91e0c6d281
- 79/
- c567521f7c92750e9662ae4f1209bbd027dadf
- 89/
- 78bd7435ad2f8c52b51a5c63e817275ec00475
- 8b/
- 45a3622142fdb0ff4e63ab1be8387cbd243e48
- a0/
- 97a026e8ddf40deb98017fb48a9fbc3b670221
- a7/
- 84bb09e00431bfe1f658a828ac7c5a752d9506
- bd/
- 1aec707af96bcf776cc6ddf2f0d90f14d567e3
- c6/
- aaa9108af9e785fa31cd8b8d21ee7db400d48c
- d3/
- 290cadb1535971f8ec9afc1a010497869a020d
- d8/
- 070795b10ee3226a0a88e475b68cdaa7b52a2f
- e5/
- c786b2411e43e267b7c3e05065f8d1ffd03096
- ea/
- dc161d67330ed502f2b337ebe13822e4ce0906
- f9/
- 47cffed4cc596a7afb1bdecdd0a6b9d040d60a
- fa/
- 8ee51cc65c1db8370de5bc517952add30f406b
- e80027b64c343e3c425cb570fea4404778bc8c
- 16/
- .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
- 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-27fb1d6e15443ef5740f34deb31ffdd04481b0c6.png
- graphviz-27fb1d6e15443ef5740f34deb31ffdd04481b0c6.png.map
- graphviz-4c99287827b2f6cb91c8121e480083bf60e12a91.png
- graphviz-4c99287827b2f6cb91c8121e480083bf60e12a91.png.map
- graphviz-566c0a40499ff4f721058fdcaed39d32ac9ee35d.png
- graphviz-566c0a40499ff4f721058fdcaed39d32ac9ee35d.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/
- _sphinx_javascript_frameworks_compat.js
- alabaster.css
- basic.css
- custom.css
- doctools.js
- documentation_options.js
- file.png
- graphviz.css
- jquery-3.6.0.js
- jquery.js
- language_data.js
- minus.png
- plus.png
- pygments.css
- searchtools.js
- sphinx_highlight.js
- underscore-1.13.1.js
- underscore.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
- c.drv
- cakeml.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
- discrimination.gen
- 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
- ocaml-unsafe-int.drv
- ocaml64.drv
- 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-smt.drv
- vampire.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_bv.gen
- z3_smtv1.drv
- zenon.drv
- zenon_modulo.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