Fedora 39 for x86_64 : / usr /lib64 /pvs /lib

• bitvectors
• character_adt.pvs
• finite_sets
• 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

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 9 17:50:32 2025