pvs-sbcl-7.1-3.fc34 in Fedora 34
↵ Return to the main page of pvs-sbcl
View build
Search for updates
Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Changelog
| Date | Author | Change |
|---|---|---|
| 2021-02-04 | Jerry James <loganjerry at gmail dot com> - 7.1-3 | - Rebuild to fix sbcl dependency - Add MIME type for pvs source files |
| 2021-01-27 | Fedora Release Engineering <releng at fedoraproject dot org> - 7.1-2 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild |
| 2020-12-02 | Jerry James <loganjerry at gmail dot com> - 7.1-1 | - Version 7.1 - Drop upstreamed -siglongjmp, -fno-common, -texi, and -user-guide patches - Add -api patch to fix API doc build |
| 2020-08-21 | Jerry James <loganjerry at gmail dot com> - 7.0-3.20200818.4cb56e7 | - Update to latest git snapshot for bug fixes - Drop upstreamed -language-manual and -language-manual-latex patches |
| 2020-07-28 | Fedora Release Engineering <releng at fedoraproject dot org> - 7.0-3.20200527.12652a0 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild |
| 2020-05-28 | Jerry James <loganjerry at gmail dot com> - 7.0-2.20200218.12652a0 | - Update to latest git snapshot for bug fixes - Adapt to TexLive 2020; add -language-manual-latex patch |
| 2020-02-28 | Jerry James <loganjerry at gmail dot com> - 7.0-1.20200218.a1f7148 | - Rebuild for sbcl 2.0.1 (bz 1807476) - Update to latest git snapshot for bug fixes |
| 2020-02-04 | Jerry James <loganjerry at gmail dot com> - 7.0-1.20200129.b517ae2 | - Update to latest git snapshot - Drop upstream patches: -chmod, -emacs26, -hashfn, -makeindex, -remove-backslashes, -unicode - Add patches to fix documentation: -language-manual, -texi, -user-guide - Add -fno-common patch to fix FTBFS with GCC 10 - Drop XEmacs support |
| 2020-01-30 | Fedora Release Engineering <releng at fedoraproject dot org> - 6.0-65 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild |
| 2019-08-02 | Jerry James <loganjerry at gmail dot com> - 6.0-64 | - rebuild (sbcl) |
Dependencies
Provides
- application()
- application(pvs-sbcl.desktop)
- mimehandler(application/x-pvs)
- pvs
- pvs-sbcl
- pvs-sbcl(x86-64)
- pvsio
Files
- usr/
- bin/
- proveit
- provethem
- pvs-sbcl
- pvsio
- lib/
- .build-id/
- 18/
- ec5bf64b858ddaf0191cb0cda10c5e4ab8b19e
- 3d/
- 5e972d110565e2bf04f190c61c30ca2d53ab0a
- 54/
- 6b20ef5b381cdf3b2e2ed1530abc2c8b55fb3b
- db/
- ecbf956ee5da6bd80f9438d17b3f41f635f30e
- 18/
- .build-id/
- lib64/
- pvs/
- bin/
- ix86_64-Linux/
- b64
- runtime/
- bdd-sbcl.fasl
- bdd-sbcl.lisp
- dfa-foreign-sbcl.fasl
- dfa-foreign-sbcl.lisp
- mu-sbcl.fasl
- mu-sbcl.lisp
- mu.so
- pvs-sbclisp
- sbcl
- ws1s.so
- yices2
- pvs-platform
- tar-b64-mail
- tarmail
- untarmail
- ix86_64-Linux/
- doc/
- release-notes/
- pvs-release-notes.info
- release-notes/
- emacs/
- README
- configured-for-x
- go-pvs.el
- ilisp/
- ACKNOWLEDGMENTS
- COPYING
- HISTORY
- comint-ipc.el
- comint-ipc.elc
- completer.el
- completer.elc
- docs/
- ilisp.texi
- ilcompat.el
- ilcompat.elc
- ilfsf18.el
- ilfsf19.el
- ilfsf20.el
- ilfsf20.elc
- ilisp-acl.el
- ilisp-acl.elc
- ilisp-aut.el
- ilisp-aut.elc
- ilisp-bat.el
- ilisp-bat.elc
- ilisp-chs.el
- ilisp-chs.elc
- ilisp-cl-easy-menu.el
- ilisp-cl-easy-menu.elc
- ilisp-cl.el
- ilisp-cl.elc
- ilisp-cmp.el
- ilisp-cmp.elc
- ilisp-cmt.el
- ilisp-cmt.elc
- ilisp-cmu.el
- ilisp-cmu.elc
- ilisp-def.el
- ilisp-def.elc
- ilisp-dia.el
- ilisp-dia.elc
- ilisp-doc.el
- ilisp-doc.elc
- ilisp-ext.el
- ilisp-ext.elc
- ilisp-hi.el
- ilisp-hi.elc
- ilisp-hnd.el
- ilisp-hnd.elc
- ilisp-imenu.el
- ilisp-imenu.elc
- ilisp-ind.el
- ilisp-ind.elc
- ilisp-inp.el
- ilisp-inp.elc
- ilisp-key.el
- ilisp-key.elc
- ilisp-kil.el
- ilisp-kil.elc
- ilisp-low.el
- ilisp-low.elc
- ilisp-menu.el
- ilisp-mnb.el
- ilisp-mnb.elc
- ilisp-mod.el
- ilisp-mod.elc
- ilisp-mov.el
- ilisp-mov.elc
- ilisp-out.el
- ilisp-out.elc
- ilisp-prc.el
- ilisp-prc.elc
- ilisp-prn.el
- ilisp-prn.elc
- ilisp-rng.el
- ilisp-rng.elc
- ilisp-sbcl.el
- ilisp-sbcl.elc
- ilisp-snd.el
- ilisp-snd.elc
- ilisp-src.el
- ilisp-src.elc
- ilisp-sym.el
- ilisp-sym.elc
- ilisp-utl.el
- ilisp-utl.elc
- ilisp-val.el
- ilisp-val.elc
- ilisp-xfr.el
- ilisp-xfr.elc
- ilisp-xls.el
- ilisp-xls.elc
- ilisp.el
- ilisp.elc
- illuc19.el
- ilxemacs.el
- manip-debug-utils.el
- manip-debug-utils.elc
- newcomment.el
- newcomment.elc
- prooflite.el
- prooflite.elc
- pvs-abbreviations.el
- pvs-abbreviations.elc
- pvs-browser.el
- pvs-browser.elc
- pvs-byte-compile.el
- pvs-byte-compile.elc
- pvs-cmds.el
- pvs-cmds.elc
- pvs-eval.el
- pvs-eval.elc
- pvs-file-list.el
- pvs-file-list.elc
- pvs-ilisp.el
- pvs-ilisp.elc
- pvs-load.el
- pvs-load.elc
- pvs-ltx.el
- pvs-ltx.elc
- pvs-macros.el
- pvs-macros.elc
- pvs-menu.el
- pvs-menu.elc
- pvs-mode.el
- pvs-mode.elc
- pvs-prelude-files-and-regions.el
- pvs-prelude-files-and-regions.elc
- pvs-print.el
- pvs-print.elc
- pvs-proofstate.el
- pvs-proofstate.elc
- pvs-prover-helps.el
- pvs-prover-helps.elc
- pvs-prover-manip.el
- pvs-prover-manip.elc
- pvs-prover.el
- pvs-prover.elc
- pvs-pvsio.el
- pvs-pvsio.elc
- pvs-set-prelude-info.el
- pvs-set-prelude-info.elc
- pvs-tcl.el
- pvs-tcl.elc
- pvs-utils.el
- pvs-utils.elc
- pvs-view.el
- pvs-view.elc
- pvs.xpm
- pvslogo.gif
- tcl.el
- tcl.elc
- lib/
- bitvectors/
- BitvectorMultiplication.prf
- BitvectorMultiplication.pvs
- BitvectorMultiplicationWidenNarrow.prf
- BitvectorMultiplicationWidenNarrow.pvs
- BitvectorOneComplementDivision.prf
- BitvectorOneComplementDivision.pvs
- BitvectorTwoComplementDivision.prf
- BitvectorTwoComplementDivision.pvs
- BitvectorTwoComplementDivisionWidenNarrow.prf
- BitvectorTwoComplementDivisionWidenNarrow.pvs
- BitvectorUtil.prf
- BitvectorUtil.pvs
- DivisionUtil.prf
- DivisionUtil.pvs
- bv_adder.prf
- bv_adder.pvs
- bv_arith_caret.prf
- bv_arith_caret.pvs
- bv_arith_caret_concat_rules.prf
- bv_arith_caret_concat_rules.pvs
- bv_arith_caret_rules.prf
- bv_arith_caret_rules.pvs
- bv_arith_concat.prf
- bv_arith_concat.pvs
- bv_arith_extend.prf
- bv_arith_extend.pvs
- bv_arith_int_caret.prf
- bv_arith_int_caret.pvs
- bv_arith_int_concat.prf
- bv_arith_int_concat.pvs
- bv_arith_int_rules.prf
- bv_arith_int_rules.pvs
- bv_arith_minus_rules.prf
- bv_arith_minus_rules.pvs
- bv_arith_nat.prf
- bv_arith_nat.pvs
- bv_arith_nat_caret_rules.prf
- bv_arith_nat_caret_rules.pvs
- bv_arith_nat_rules.prf
- bv_arith_nat_rules.pvs
- bv_arith_rules.prf
- bv_arith_rules.pvs
- bv_arithmetic.prf
- bv_arithmetic.pvs
- bv_bitwise_rules.prf
- bv_bitwise_rules.pvs
- bv_caret_bitwise.prf
- bv_caret_bitwise.pvs
- bv_caret_bitwise_rules.prf
- bv_caret_bitwise_rules.pvs
- bv_caret_concat.prf
- bv_caret_concat.pvs
- bv_caret_concat_rules.prf
- bv_caret_concat_rules.pvs
- bv_caret_rules.prf
- bv_caret_rules.pvs
- bv_concat.prf
- bv_concat.pvs
- bv_concat_rules.prf
- bv_concat_rules.pvs
- bv_constants.prf
- bv_constants.pvs
- bv_core.pvs
- bv_extend.prf
- bv_extend.pvs
- bv_fract.prf
- bv_fract.pvs
- bv_int.prf
- bv_int.pvs
- bv_mult_div_rem.prf
- bv_mult_div_rem.pvs
- bv_nat_rules.prf
- bv_nat_rules.pvs
- bv_notes.pvs
- bv_overflow.prf
- bv_overflow.pvs
- bv_rotate.prf
- bv_rotate.pvs
- bv_rules.pvs
- bv_shift.prf
- bv_shift.pvs
- bv_sum.prf
- bv_sum.pvs
- div.prf
- div.pvs
- mod_rules.prf
- mod_rules.pvs
- sums.prf
- sums.pvs
- top.pvs
- character_adt.pvs
- finite_sets/
- card_tricks.prf
- card_tricks.pvs
- finite_cross.prf
- finite_cross.pvs
- finite_sets_below.prf
- finite_sets_below.pvs
- finite_sets_card_eq.prf
- finite_sets_card_eq.pvs
- finite_sets_eq.prf
- finite_sets_eq.pvs
- finite_sets_inductions.prf
- finite_sets_inductions.pvs
- finite_sets_int.prf
- finite_sets_int.pvs
- finite_sets_minmax.prf
- finite_sets_minmax.pvs
- finite_sets_minmax_props.prf
- finite_sets_minmax_props.pvs
- finite_sets_nat.prf
- finite_sets_nat.pvs
- finite_sets_pred.prf
- finite_sets_pred.pvs
- finite_sets_product.prf
- finite_sets_product.pvs
- finite_sets_product_real.prf
- finite_sets_product_real.pvs
- finite_sets_subtype_props.prf
- finite_sets_subtype_props.pvs
- finite_sets_sum.prf
- finite_sets_sum.pvs
- finite_sets_sum_real.prf
- finite_sets_sum_real.pvs
- fs_constructors.prf
- fs_constructors.pvs
- func_composition.prf
- func_composition.pvs
- prelude_aux.prf
- prelude_aux.pvs
- top.prf
- top.pvs
- lift_adt.pvs
- list_adt.pvs
- ordstruct_adt.pvs
- orphaned-proofs.prf
- prelude.prf
- prelude.pvs
- pvs-gui.json
- pvs-language.help
- pvs-prover.help
- pvs-style.css
- pvs-unicode.help
- pvs.bnf
- pvs.grammar
- pvs.help
- pvs.json
- pvs.rnc
- pvsio_prelude.prf
- pvsio_prelude.pvs
- union_adt.pvs
- bitvectors/
- pvs-tex.sub
- wish/
- gray.xbm
- pvs-support.tcl
- sequent.xbm
- bin/
- pvs/
- share/
- applications/
- pvs-sbcl.desktop
- doc/
- pvs-sbcl/
- Examples/
- AgExample/
- AgExample.dmp
- AgSpec.txt
- FA_Element.pvs
- FA_Language.pvs
- FA_axioms.prf
- FA_axioms.pvs
- FA_lemmas.pvs
- FA_semantic.prf
- FA_semantic.pvs
- FODL_Language.pvs
- FODL_axioms.prf
- FODL_axioms.pvs
- FODL_conversions.prf
- FODL_conversions.pvs
- FODL_lemmas.prf
- FODL_lemmas.pvs
- FODL_semantic.prf
- FODL_semantic.pvs
- RTC.pvs
- SRI-report.pdf
- SpecActions.prf
- SpecActions.pvs
- SpecPredicates.prf
- SpecPredicates.pvs
- SpecProperties.prf
- SpecProperties.pvs
- ag-pp.lisp
- dom-finitos.txt
- list_max.prf
- list_max.pvs
- pvs-strategies
- run.el
- validate.el
- wf_FODL_Language.prf
- wf_FODL_Language.pvs
- HWVbookchap/
- Arbiter/
- README
- arbiter.dump
- arbiter.prf
- arbiter.pvs
- pvs-strategies
- Blackjack/
- README
- blackjack.dump
- blackjack.prf
- blackjack.pvs
- pvs-strategies
- transition.pvs
- Detect110/
- README
- components.pvs
- detect110.dump
- detect110.prf
- detect110.pvs
- pvs-strategies
- quantifier_rules.prf
- quantifier_rules.pvs
- signal.pvs
- time.pvs
- Fir_filter5/
- README
- fir_filter5.dump
- fir_filter5.prf
- fir_filter5.pvs
- pvs-strategies
- signal.pvs
- sum.prf
- sum.pvs
- time.pvs
- Pipeline/
- README
- new_pipe.prf
- new_pipe.pvs
- pipe.dump
- pvs-strategies
- signal.pvs
- time.pvs
- README
- Singlepulser/
- README
- pvs-strategies
- singlepulser.dump
- singlepulser.prf
- singlepulser.pvs
- Tamarack/
- README
- hard2.prf
- hard2.pvs
- microrom_rewrite.prf
- microrom_rewrite.pvs
- soft.pvs
- tamarack.dump
- trace_equiv.prf
- trace_equiv.pvs
- traces.prf
- traces.pvs
- verification.prf
- verification.pvs
- verification_rewrites.prf
- verification_rewrites.pvs
- wordth.prf
- wordth.pvs
- Arbiter/
- README
- ackerman.pvs
- byzantine/
- C1.ps
- C2.ps
- README
- byzantine.dmp
- byzantine.prf
- byzantine.ps
- byzantine.pvs
- cardinality/
- cardinality.prf
- cardinality.pvs
- csl-92-1.dvi.Z
- csl-92-1.html
- csl-92-1.ps
- elementary-tutorial/
- README
- airline/
- basic_defs.prf
- basic_defs.pvs
- ops.prf
- ops.pvs
- pvs-strategies
- validate.el
- airline.dmp
- csl-95-10.html
- csl-95-10.ps
- mizar/
- mizar.prf
- mizar.pvs
- pvs-strategies
- validate.el
- mizar.dmp
- noninterference.sub
- pvs-strategies
- unwinding/
- unwinding.prf
- unwinding.pvs
- validate.el
- unwinding.dmp
- f91.pvs
- fm99/
- bakery.prf
- bakery.pvs
- bakery.sal
- bijections.prf
- bijections.pvs
- eval.lisp
- expression.prf
- expression.pvs
- fm99tut.pdf
- fm99tut.ps
- fm99tut.tex
- glade.lisp
- gprint.lisp
- hassen.ps
- lang.prf
- lang.pvs
- light_bakery.prf
- light_bakery.pvs
- phone_1.prf
- phone_1.pvs
- phone_2.prf
- phone_2.pvs
- phone_3.prf
- phone_3.pvs
- phone_4.prf
- phone_4.pvs
- phones.dmp
- phones.prf
- phones.pvs
- print.lisp
- print.prf
- print.pvs
- sine.prf
- sine.pvs
- stamps.prf
- stamps.pvs
- sum.lisp
- sum.prf
- sum.pvs
- top.pvs
- validate.el
- fme96/
- fme96-tutorial.ps
- half.dmp
- half.prf
- half.pvs
- index.shtml
- validate.el
- forte97-tutorial/
- README
- cache/
- abs_cache.prf
- abs_cache.pvs
- cache2.prf
- cache2.pvs
- cache_array.prf
- cache_array.pvs
- refinement.prf
- refinement.pvs
- top.pvs
- trans.pvs
- cache.dmp
- cache2-3.dmp
- cache2.3/
- abs_cache.prf
- abs_cache.pvs
- cache2.prf
- cache2.pvs
- cache_array.prf
- cache_array.pvs
- refinement.prf
- refinement.pvs
- top.pvs
- trans.pvs
- forte97.dvi.Z
- forte97.html
- forte97.ps.gz
- groups.pvs
- pvs-tables/
- autopilot/
- autopilot.prf
- autopilot.pvs
- hassen.prf
- hassen.pvs
- scr.pvs
- validate.el
- autopilot.dmp
- cruise/
- cruise.prf
- cruise.pvs
- scr.pvs
- validate.el
- cruise.dmp
- csl-95-12.dvi.Z
- csl-95-12.html
- csl-95-12.ps.gz
- decision_tables/
- tablewise.prf
- tablewise.pvs
- validate.el
- decision_tables.dmp
- simple_tables/
- simple_tables.prf
- simple_tables.pvs
- validate.el
- simple_tables.dmp
- autopilot/
- stack.pvs
- stacks.pvs
- sum.prf
- sum.pvs
- sum2.pvs
- ustacks.pvs
- vstte12/
- BFS.prf
- BFS.pvs
- README
- combinators.prf
- combinators.pvs
- finseq_ops.prf
- finseq_ops.pvs
- problems.pdf
- ring_buffer.prf
- ring_buffer.pvs
- sri-vstte12-competition.tgz
- top.pvs
- tree_reconstruction.prf
- tree_reconstruction.pvs
- two_way_sort.prf
- two_way_sort.pvs
- vstte12-pvs.tgz
- wift-tutorial/
- README.md
- adder/
- adder.prf
- adder.pvs
- validate.el
- adder.dmp
- phones/
- phone_1.prf
- phone_1.pvs
- phone_2.prf
- phone_2.pvs
- phone_3.prf
- phone_3.pvs
- phone_4.prf
- phone_4.pvs
- phones.prf
- phones.pvs
- validate.el
- phones.dmp
- pipe/
- pipe.prf
- pipe.pvs
- signal.prf
- signal.pvs
- time.pvs
- validate.el
- pipe.dmp
- wift-tutorial.pdf
- wift95.html
- wift95.ps
- AgExample/
- PVSio-2.d.pdf
- ProofLite-4.2.pdf
- README.md
- csl-93-9.ps.gz
- csl-97-2.ps.gz
- extrategies.pdf
- interpretations.pdf
- language.pdf
- manip-guide.pdf
- prover.pdf
- pvs-api.pdf
- pvs-prelude.pdf
- pvs-release-notes.pdf
- user-guide.pdf
- Examples/
- pvs-sbcl/
- licenses/
- pvs-sbcl/
- LICENSE
- NOTICES
- pvs-sbcl/
- mime/
- packages/
- pvs.xml
- packages/
- texlive/
- texmf-local/
- tex/
- latex/
- pvs/
- pvs.sty
- pvs/
- latex/
- tex/
- texmf-local/
- applications/
- bin/
Sources on Pagure