pvs-sbcl-6.0-59.fc28.i686.rpm


Advertisement

Description

pvs-sbcl - Interactive theorem prover from SRI

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package name pvs-sbcl
Package version 6.0
Package release 59.fc28
Package architecture i686
Package type rpm
Installed size 96.27 MB
Download size 22.57 MB
Official Mirror download-ib01.fedoraproject.org
PVS is a verification system: that is, a specification language
integrated with support tools and a theorem prover.  It is intended to
capture the state-of-the-art in mechanized formal methods and to be
sufficiently rugged that it can be used for significant applications.
This build of PVS must be invoked as "pvs-sbcl", both to distinguish it
from builds with other Common Lisp engines, and to distinguish it from
/usr/sbin/pvs in the lvm2 package.

Alternatives

Package Version Architecture Repository
pvs-sbcl-6.0-59.fc28.x86_64.rpm 6.0 x86_64 Fedora Updates
pvs-sbcl-6.0-58.fc28.x86_64.rpm 6.0 x86_64 Fedora
pvs-sbcl-6.0-58.fc28.i686.rpm 6.0 i686 Fedora
pvs-sbcl - - -

Requires

Name Value
/usr/bin/perl -
libc.so.6(GLIBC_2.11) -
libm.so.6 -
libmonadfa.so.1 -
perl(Cwd) -
perl(File::Basename) -
perl(Getopt::Long) -
perl(Term::ANSIColor) -
rtld(GNU_HASH) -
sbcl = 1.4.6-1.fc28
tex(latex) -
yices -

Provides

Name Value
application() -
application(pvs-sbcl.desktop) -
mimehandler(application/x-pvs) -
pvs = 6.0-59.fc28
pvs-sbcl = 6.0-59.fc28
pvs-sbcl(x86-32) = 6.0-59.fc28
pvsio = 6.0-59.fc28

Download

Type URL
Binary Package pvs-sbcl-6.0-59.fc28.i686.rpm
Source Package pvs-sbcl-6.0-59.fc28.src.rpm

Install Howto

Install pvs-sbcl rpm package:

# dnf install pvs-sbcl

Files

Path
/usr/bin/proveit
/usr/bin/provethem
/usr/bin/pvs-sbcl
/usr/bin/pvsio
/usr/lib/.build-id/
/usr/lib/.build-id/1a/4bf6c257dacb4aaf270f14b57f259d1dcdc84c
/usr/lib/.build-id/52/6bcc761d4f16d8591bd2f1bf742de7705c4ae6
/usr/lib/.build-id/88/89e898c2a3b50ac0407e04825a29cc72139dfc
/usr/lib/pvs/pvs-tex.sub
/usr/lib/pvs/bin/pvs-platform
/usr/lib/pvs/bin/tar-b64-mail
/usr/lib/pvs/bin/tarmail
/usr/lib/pvs/bin/untarmail
/usr/lib/pvs/bin/linux/b64
/usr/lib/pvs/bin/linux/runtime/bdd-sbcl.lisp
/usr/lib/pvs/bin/linux/runtime/bdd-sbcl.x86s
/usr/lib/pvs/bin/linux/runtime/dfa-foreign-sbcl.lisp
/usr/lib/pvs/bin/linux/runtime/dfa-foreign-sbcl.x86s
/usr/lib/pvs/bin/linux/runtime/mu-sbcl.lisp
/usr/lib/pvs/bin/linux/runtime/mu-sbcl.x86s
/usr/lib/pvs/bin/linux/runtime/mu.so
/usr/lib/pvs/bin/linux/runtime/pvs-sbclisp
/usr/lib/pvs/bin/linux/runtime/ws1s.so
/usr/lib/pvs/doc/
/usr/lib/pvs/doc/release-notes/pvs-release-notes.info
/usr/lib/pvs/emacs/README
/usr/lib/pvs/emacs/go-pvs.el
/usr/lib/pvs/emacs/emacs-src/manip-debug-utils.el
/usr/lib/pvs/emacs/emacs-src/newcomment.el
/usr/lib/pvs/emacs/emacs-src/prooflite.el
/usr/lib/pvs/emacs/emacs-src/pvs-abbreviations.el
/usr/lib/pvs/emacs/emacs-src/pvs-browser.el
/usr/lib/pvs/emacs/emacs-src/pvs-byte-compile.el
/usr/lib/pvs/emacs/emacs-src/pvs-cmds.el
/usr/lib/pvs/emacs/emacs-src/pvs-eval.el
/usr/lib/pvs/emacs/emacs-src/pvs-file-list.el
/usr/lib/pvs/emacs/emacs-src/pvs-ilisp.el
/usr/lib/pvs/emacs/emacs-src/pvs-load.el
/usr/lib/pvs/emacs/emacs-src/pvs-macros.el
/usr/lib/pvs/emacs/emacs-src/pvs-menu.el
/usr/lib/pvs/emacs/emacs-src/pvs-mode.el
/usr/lib/pvs/emacs/emacs-src/pvs-prelude-files-and-regions.el
/usr/lib/pvs/emacs/emacs-src/pvs-print.el
/usr/lib/pvs/emacs/emacs-src/pvs-prover-helps.el
/usr/lib/pvs/emacs/emacs-src/pvs-prover-manip.el
/usr/lib/pvs/emacs/emacs-src/pvs-prover.el
/usr/lib/pvs/emacs/emacs-src/pvs-pvsio.el
/usr/lib/pvs/emacs/emacs-src/pvs-set-prelude-info.el
/usr/lib/pvs/emacs/emacs-src/pvs-tcl.el
/usr/lib/pvs/emacs/emacs-src/pvs-utils.el
/usr/lib/pvs/emacs/emacs-src/pvs-view.el
/usr/lib/pvs/emacs/emacs-src/pvs.xpm
/usr/lib/pvs/emacs/emacs-src/tcl.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ACKNOWLEDGMENTS
/usr/lib/pvs/emacs/emacs-src/ilisp/COPYING
/usr/lib/pvs/emacs/emacs-src/ilisp/HISTORY
/usr/lib/pvs/emacs/emacs-src/ilisp/comint-ipc.el
/usr/lib/pvs/emacs/emacs-src/ilisp/completer.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilcompat.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilfsf18.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilfsf19.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilfsf20.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-acl.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-aut.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-bat.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-chs.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-cl-easy-menu.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-cl.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-cmp.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-cmt.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-cmu.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-def.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-dia.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-doc.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-ext.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-hi.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-hnd.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-imenu.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-ind.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-inp.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-key.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-kil.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-low.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-menu.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-mnb.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-mod.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-mov.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-out.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-prc.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-prn.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-rng.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-sbcl.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-snd.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-src.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-sym.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-utl.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-val.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-xfr.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp-xls.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilisp.el
/usr/lib/pvs/emacs/emacs-src/ilisp/illuc19.el
/usr/lib/pvs/emacs/emacs-src/ilisp/ilxemacs.el
/usr/lib/pvs/emacs/emacs-src/ilisp/docs/ilisp.texi
/usr/lib/pvs/emacs/emacs26/comint-ipc.el
/usr/lib/pvs/emacs/emacs26/comint-ipc.elc
/usr/lib/pvs/emacs/emacs26/completer.el
/usr/lib/pvs/emacs/emacs26/completer.elc
/usr/lib/pvs/emacs/emacs26/ilcompat.el
/usr/lib/pvs/emacs/emacs26/ilcompat.elc
/usr/lib/pvs/emacs/emacs26/ilfsf18.el
/usr/lib/pvs/emacs/emacs26/ilfsf19.el
/usr/lib/pvs/emacs/emacs26/ilfsf20.el
/usr/lib/pvs/emacs/emacs26/ilfsf20.elc
/usr/lib/pvs/emacs/emacs26/ilisp-acl.el
/usr/lib/pvs/emacs/emacs26/ilisp-acl.elc
/usr/lib/pvs/emacs/emacs26/ilisp-aut.el
/usr/lib/pvs/emacs/emacs26/ilisp-aut.elc
/usr/lib/pvs/emacs/emacs26/ilisp-bat.el
/usr/lib/pvs/emacs/emacs26/ilisp-bat.elc
/usr/lib/pvs/emacs/emacs26/ilisp-chs.el
/usr/lib/pvs/emacs/emacs26/ilisp-chs.elc
/usr/lib/pvs/emacs/emacs26/ilisp-cl-easy-menu.el
/usr/lib/pvs/emacs/emacs26/ilisp-cl-easy-menu.elc
/usr/lib/pvs/emacs/emacs26/ilisp-cl.el
/usr/lib/pvs/emacs/emacs26/ilisp-cl.elc
/usr/lib/pvs/emacs/emacs26/ilisp-cmp.el
/usr/lib/pvs/emacs/emacs26/ilisp-cmp.elc
/usr/lib/pvs/emacs/emacs26/ilisp-cmt.el
/usr/lib/pvs/emacs/emacs26/ilisp-cmt.elc
/usr/lib/pvs/emacs/emacs26/ilisp-cmu.el
/usr/lib/pvs/emacs/emacs26/ilisp-cmu.elc
/usr/lib/pvs/emacs/emacs26/ilisp-def.el
/usr/lib/pvs/emacs/emacs26/ilisp-def.elc
/usr/lib/pvs/emacs/emacs26/ilisp-dia.el
/usr/lib/pvs/emacs/emacs26/ilisp-dia.elc
/usr/lib/pvs/emacs/emacs26/ilisp-doc.el
/usr/lib/pvs/emacs/emacs26/ilisp-doc.elc
/usr/lib/pvs/emacs/emacs26/ilisp-ext.el
/usr/lib/pvs/emacs/emacs26/ilisp-ext.elc
/usr/lib/pvs/emacs/emacs26/ilisp-hi.el
/usr/lib/pvs/emacs/emacs26/ilisp-hi.elc
/usr/lib/pvs/emacs/emacs26/ilisp-hnd.el
/usr/lib/pvs/emacs/emacs26/ilisp-hnd.elc
/usr/lib/pvs/emacs/emacs26/ilisp-imenu.el
/usr/lib/pvs/emacs/emacs26/ilisp-imenu.elc
/usr/lib/pvs/emacs/emacs26/ilisp-ind.el
/usr/lib/pvs/emacs/emacs26/ilisp-ind.elc
/usr/lib/pvs/emacs/emacs26/ilisp-inp.el
/usr/lib/pvs/emacs/emacs26/ilisp-inp.elc
/usr/lib/pvs/emacs/emacs26/ilisp-key.el
/usr/lib/pvs/emacs/emacs26/ilisp-key.elc
/usr/lib/pvs/emacs/emacs26/ilisp-kil.el
/usr/lib/pvs/emacs/emacs26/ilisp-kil.elc
/usr/lib/pvs/emacs/emacs26/ilisp-low.el
/usr/lib/pvs/emacs/emacs26/ilisp-low.elc
/usr/lib/pvs/emacs/emacs26/ilisp-menu.el
/usr/lib/pvs/emacs/emacs26/ilisp-mnb.el
/usr/lib/pvs/emacs/emacs26/ilisp-mnb.elc
/usr/lib/pvs/emacs/emacs26/ilisp-mod.el
/usr/lib/pvs/emacs/emacs26/ilisp-mod.elc
/usr/lib/pvs/emacs/emacs26/ilisp-mov.el
/usr/lib/pvs/emacs/emacs26/ilisp-mov.elc
/usr/lib/pvs/emacs/emacs26/ilisp-out.el
/usr/lib/pvs/emacs/emacs26/ilisp-out.elc
/usr/lib/pvs/emacs/emacs26/ilisp-prc.el
/usr/lib/pvs/emacs/emacs26/ilisp-prc.elc
/usr/lib/pvs/emacs/emacs26/ilisp-prn.el
/usr/lib/pvs/emacs/emacs26/ilisp-prn.elc
/usr/lib/pvs/emacs/emacs26/ilisp-rng.el
/usr/lib/pvs/emacs/emacs26/ilisp-rng.elc
/usr/lib/pvs/emacs/emacs26/ilisp-sbcl.el
/usr/lib/pvs/emacs/emacs26/ilisp-sbcl.elc
/usr/lib/pvs/emacs/emacs26/ilisp-snd.el
/usr/lib/pvs/emacs/emacs26/ilisp-snd.elc
/usr/lib/pvs/emacs/emacs26/ilisp-src.el
/usr/lib/pvs/emacs/emacs26/ilisp-src.elc
/usr/lib/pvs/emacs/emacs26/ilisp-sym.el
/usr/lib/pvs/emacs/emacs26/ilisp-sym.elc
/usr/lib/pvs/emacs/emacs26/ilisp-utl.el
/usr/lib/pvs/emacs/emacs26/ilisp-utl.elc
/usr/lib/pvs/emacs/emacs26/ilisp-val.el
/usr/lib/pvs/emacs/emacs26/ilisp-val.elc
/usr/lib/pvs/emacs/emacs26/ilisp-xfr.el
/usr/lib/pvs/emacs/emacs26/ilisp-xfr.elc
/usr/lib/pvs/emacs/emacs26/ilisp-xls.el
/usr/lib/pvs/emacs/emacs26/ilisp-xls.elc
/usr/lib/pvs/emacs/emacs26/ilisp.el
/usr/lib/pvs/emacs/emacs26/ilisp.elc
/usr/lib/pvs/emacs/emacs26/illuc19.el
/usr/lib/pvs/emacs/emacs26/ilxemacs.el
/usr/lib/pvs/emacs/emacs26/manip-debug-utils.el
/usr/lib/pvs/emacs/emacs26/manip-debug-utils.elc
/usr/lib/pvs/emacs/emacs26/newcomment.el
/usr/lib/pvs/emacs/emacs26/newcomment.elc
/usr/lib/pvs/emacs/emacs26/prooflite.el
/usr/lib/pvs/emacs/emacs26/prooflite.elc
/usr/lib/pvs/emacs/emacs26/pvs-abbreviations.el
/usr/lib/pvs/emacs/emacs26/pvs-abbreviations.elc
/usr/lib/pvs/emacs/emacs26/pvs-browser.el
/usr/lib/pvs/emacs/emacs26/pvs-browser.elc
/usr/lib/pvs/emacs/emacs26/pvs-byte-compile.el
/usr/lib/pvs/emacs/emacs26/pvs-byte-compile.elc
/usr/lib/pvs/emacs/emacs26/pvs-cmds.el
/usr/lib/pvs/emacs/emacs26/pvs-cmds.elc
/usr/lib/pvs/emacs/emacs26/pvs-eval.el
/usr/lib/pvs/emacs/emacs26/pvs-eval.elc
/usr/lib/pvs/emacs/emacs26/pvs-file-list.el
/usr/lib/pvs/emacs/emacs26/pvs-file-list.elc
/usr/lib/pvs/emacs/emacs26/pvs-ilisp.el
/usr/lib/pvs/emacs/emacs26/pvs-ilisp.elc
/usr/lib/pvs/emacs/emacs26/pvs-load.el
/usr/lib/pvs/emacs/emacs26/pvs-load.elc
/usr/lib/pvs/emacs/emacs26/pvs-macros.el
/usr/lib/pvs/emacs/emacs26/pvs-macros.elc
/usr/lib/pvs/emacs/emacs26/pvs-menu.el
/usr/lib/pvs/emacs/emacs26/pvs-menu.elc
/usr/lib/pvs/emacs/emacs26/pvs-mode.el
/usr/lib/pvs/emacs/emacs26/pvs-mode.elc
/usr/lib/pvs/emacs/emacs26/pvs-prelude-files-and-regions.el
/usr/lib/pvs/emacs/emacs26/pvs-prelude-files-and-regions.elc
/usr/lib/pvs/emacs/emacs26/pvs-print.el
/usr/lib/pvs/emacs/emacs26/pvs-print.elc
/usr/lib/pvs/emacs/emacs26/pvs-prover-helps.el
/usr/lib/pvs/emacs/emacs26/pvs-prover-helps.elc
/usr/lib/pvs/emacs/emacs26/pvs-prover-manip.el
/usr/lib/pvs/emacs/emacs26/pvs-prover-manip.elc
/usr/lib/pvs/emacs/emacs26/pvs-prover.el
/usr/lib/pvs/emacs/emacs26/pvs-prover.elc
/usr/lib/pvs/emacs/emacs26/pvs-pvsio.el
/usr/lib/pvs/emacs/emacs26/pvs-pvsio.elc
/usr/lib/pvs/emacs/emacs26/pvs-set-prelude-info.el
/usr/lib/pvs/emacs/emacs26/pvs-set-prelude-info.elc
/usr/lib/pvs/emacs/emacs26/pvs-tcl.el
/usr/lib/pvs/emacs/emacs26/pvs-tcl.elc
/usr/lib/pvs/emacs/emacs26/pvs-utils.el
/usr/lib/pvs/emacs/emacs26/pvs-utils.elc
/usr/lib/pvs/emacs/emacs26/pvs-view.el
/usr/lib/pvs/emacs/emacs26/pvs-view.elc
/usr/lib/pvs/emacs/emacs26/tcl.el
/usr/lib/pvs/emacs/emacs26/tcl.elc
/usr/lib/pvs/emacs/xemacs21/comint-ipc.el
/usr/lib/pvs/emacs/xemacs21/comint-ipc.elc
/usr/lib/pvs/emacs/xemacs21/completer.el
/usr/lib/pvs/emacs/xemacs21/completer.elc
/usr/lib/pvs/emacs/xemacs21/ilcompat.el
/usr/lib/pvs/emacs/xemacs21/ilcompat.elc
/usr/lib/pvs/emacs/xemacs21/ilfsf18.el
/usr/lib/pvs/emacs/xemacs21/ilfsf19.el
/usr/lib/pvs/emacs/xemacs21/ilfsf20.el
/usr/lib/pvs/emacs/xemacs21/ilisp-acl.el
/usr/lib/pvs/emacs/xemacs21/ilisp-acl.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-aut.el
/usr/lib/pvs/emacs/xemacs21/ilisp-aut.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-bat.el
/usr/lib/pvs/emacs/xemacs21/ilisp-bat.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-chs.el
/usr/lib/pvs/emacs/xemacs21/ilisp-chs.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-cl-easy-menu.el
/usr/lib/pvs/emacs/xemacs21/ilisp-cl-easy-menu.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-cl.el
/usr/lib/pvs/emacs/xemacs21/ilisp-cl.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-cmp.el
/usr/lib/pvs/emacs/xemacs21/ilisp-cmp.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-cmt.el
/usr/lib/pvs/emacs/xemacs21/ilisp-cmt.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-cmu.el
/usr/lib/pvs/emacs/xemacs21/ilisp-cmu.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-def.el
/usr/lib/pvs/emacs/xemacs21/ilisp-def.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-dia.el
/usr/lib/pvs/emacs/xemacs21/ilisp-dia.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-doc.el
/usr/lib/pvs/emacs/xemacs21/ilisp-doc.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-ext.el
/usr/lib/pvs/emacs/xemacs21/ilisp-ext.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-hi.el
/usr/lib/pvs/emacs/xemacs21/ilisp-hi.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-hnd.el
/usr/lib/pvs/emacs/xemacs21/ilisp-hnd.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-imenu.el
/usr/lib/pvs/emacs/xemacs21/ilisp-imenu.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-ind.el
/usr/lib/pvs/emacs/xemacs21/ilisp-ind.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-inp.el
/usr/lib/pvs/emacs/xemacs21/ilisp-inp.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-key.el
/usr/lib/pvs/emacs/xemacs21/ilisp-key.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-kil.el
/usr/lib/pvs/emacs/xemacs21/ilisp-kil.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-low.el
/usr/lib/pvs/emacs/xemacs21/ilisp-low.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-menu.el
/usr/lib/pvs/emacs/xemacs21/ilisp-mnb.el
/usr/lib/pvs/emacs/xemacs21/ilisp-mnb.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-mod.el
/usr/lib/pvs/emacs/xemacs21/ilisp-mod.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-mov.el
/usr/lib/pvs/emacs/xemacs21/ilisp-mov.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-out.el
/usr/lib/pvs/emacs/xemacs21/ilisp-out.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-prc.el
/usr/lib/pvs/emacs/xemacs21/ilisp-prc.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-prn.el
/usr/lib/pvs/emacs/xemacs21/ilisp-prn.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-rng.el
/usr/lib/pvs/emacs/xemacs21/ilisp-rng.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-sbcl.el
/usr/lib/pvs/emacs/xemacs21/ilisp-sbcl.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-snd.el
/usr/lib/pvs/emacs/xemacs21/ilisp-snd.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-src.el
/usr/lib/pvs/emacs/xemacs21/ilisp-src.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-sym.el
/usr/lib/pvs/emacs/xemacs21/ilisp-sym.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-utl.el
/usr/lib/pvs/emacs/xemacs21/ilisp-utl.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-val.el
/usr/lib/pvs/emacs/xemacs21/ilisp-val.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-xfr.el
/usr/lib/pvs/emacs/xemacs21/ilisp-xfr.elc
/usr/lib/pvs/emacs/xemacs21/ilisp-xls.el
/usr/lib/pvs/emacs/xemacs21/ilisp-xls.elc
/usr/lib/pvs/emacs/xemacs21/ilisp.el
/usr/lib/pvs/emacs/xemacs21/ilisp.elc
/usr/lib/pvs/emacs/xemacs21/illuc19.el
/usr/lib/pvs/emacs/xemacs21/ilxemacs.el
/usr/lib/pvs/emacs/xemacs21/ilxemacs.elc
/usr/lib/pvs/emacs/xemacs21/manip-debug-utils.el
/usr/lib/pvs/emacs/xemacs21/manip-debug-utils.elc
/usr/lib/pvs/emacs/xemacs21/newcomment.el
/usr/lib/pvs/emacs/xemacs21/newcomment.elc
/usr/lib/pvs/emacs/xemacs21/prooflite.el
/usr/lib/pvs/emacs/xemacs21/prooflite.elc
/usr/lib/pvs/emacs/xemacs21/pvs-abbreviations.el
/usr/lib/pvs/emacs/xemacs21/pvs-abbreviations.elc
/usr/lib/pvs/emacs/xemacs21/pvs-browser.el
/usr/lib/pvs/emacs/xemacs21/pvs-browser.elc
/usr/lib/pvs/emacs/xemacs21/pvs-byte-compile.el
/usr/lib/pvs/emacs/xemacs21/pvs-byte-compile.elc
/usr/lib/pvs/emacs/xemacs21/pvs-cmds.el
/usr/lib/pvs/emacs/xemacs21/pvs-cmds.elc
/usr/lib/pvs/emacs/xemacs21/pvs-eval.el
/usr/lib/pvs/emacs/xemacs21/pvs-eval.elc
/usr/lib/pvs/emacs/xemacs21/pvs-file-list.el
/usr/lib/pvs/emacs/xemacs21/pvs-file-list.elc
/usr/lib/pvs/emacs/xemacs21/pvs-ilisp.el
/usr/lib/pvs/emacs/xemacs21/pvs-ilisp.elc
/usr/lib/pvs/emacs/xemacs21/pvs-load.el
/usr/lib/pvs/emacs/xemacs21/pvs-load.elc
/usr/lib/pvs/emacs/xemacs21/pvs-macros.el
/usr/lib/pvs/emacs/xemacs21/pvs-macros.elc
/usr/lib/pvs/emacs/xemacs21/pvs-menu.el
/usr/lib/pvs/emacs/xemacs21/pvs-menu.elc
/usr/lib/pvs/emacs/xemacs21/pvs-mode.el
/usr/lib/pvs/emacs/xemacs21/pvs-mode.elc
/usr/lib/pvs/emacs/xemacs21/pvs-prelude-files-and-regions.el
/usr/lib/pvs/emacs/xemacs21/pvs-prelude-files-and-regions.elc
/usr/lib/pvs/emacs/xemacs21/pvs-print.el
/usr/lib/pvs/emacs/xemacs21/pvs-print.elc
/usr/lib/pvs/emacs/xemacs21/pvs-prover-helps.el
/usr/lib/pvs/emacs/xemacs21/pvs-prover-helps.elc
/usr/lib/pvs/emacs/xemacs21/pvs-prover-manip.el
/usr/lib/pvs/emacs/xemacs21/pvs-prover-manip.elc
/usr/lib/pvs/emacs/xemacs21/pvs-prover.el
/usr/lib/pvs/emacs/xemacs21/pvs-prover.elc
/usr/lib/pvs/emacs/xemacs21/pvs-pvsio.el
/usr/lib/pvs/emacs/xemacs21/pvs-pvsio.elc
/usr/lib/pvs/emacs/xemacs21/pvs-set-prelude-info.el
/usr/lib/pvs/emacs/xemacs21/pvs-set-prelude-info.elc
/usr/lib/pvs/emacs/xemacs21/pvs-tcl.el
/usr/lib/pvs/emacs/xemacs21/pvs-tcl.elc
/usr/lib/pvs/emacs/xemacs21/pvs-utils.el
/usr/lib/pvs/emacs/xemacs21/pvs-utils.elc
/usr/lib/pvs/emacs/xemacs21/pvs-view.el
/usr/lib/pvs/emacs/xemacs21/pvs-view.elc
/usr/lib/pvs/emacs/xemacs21/tcl.el
/usr/lib/pvs/emacs/xemacs21/tcl.elc
/usr/lib/pvs/lib/character_adt.pvs
/usr/lib/pvs/lib/lift_adt.pvs
/usr/lib/pvs/lib/list_adt.pvs
/usr/lib/pvs/lib/ordstruct_adt.pvs
/usr/lib/pvs/lib/prelude.prf
/usr/lib/pvs/lib/prelude.pvs
/usr/lib/pvs/lib/pvs-language.help
/usr/lib/pvs/lib/pvs-prover.help
/usr/lib/pvs/lib/pvs-style.css
/usr/lib/pvs/lib/pvs-unicode.help
/usr/lib/pvs/lib/pvs.bnf
/usr/lib/pvs/lib/pvs.grammar
/usr/lib/pvs/lib/pvs.help
/usr/lib/pvs/lib/pvs.rnc
/usr/lib/pvs/lib/union_adt.pvs
/usr/lib/pvs/lib/bitvectors/BitvectorMultiplication.prf
/usr/lib/pvs/lib/bitvectors/BitvectorMultiplication.pvs
/usr/lib/pvs/lib/bitvectors/BitvectorMultiplicationWidenNarrow.prf
/usr/lib/pvs/lib/bitvectors/BitvectorMultiplicationWidenNarrow.pvs
/usr/lib/pvs/lib/bitvectors/BitvectorOneComplementDivision.prf
/usr/lib/pvs/lib/bitvectors/BitvectorOneComplementDivision.pvs
/usr/lib/pvs/lib/bitvectors/BitvectorTwoComplementDivision.prf
/usr/lib/pvs/lib/bitvectors/BitvectorTwoComplementDivision.pvs
/usr/lib/pvs/lib/bitvectors/BitvectorTwoComplementDivisionWidenNarrow.prf
/usr/lib/pvs/lib/bitvectors/BitvectorTwoComplementDivisionWidenNarrow.pvs
/usr/lib/pvs/lib/bitvectors/BitvectorUtil.prf
/usr/lib/pvs/lib/bitvectors/BitvectorUtil.pvs
/usr/lib/pvs/lib/bitvectors/DivisionUtil.prf
/usr/lib/pvs/lib/bitvectors/DivisionUtil.pvs
/usr/lib/pvs/lib/bitvectors/bv_adder.prf
/usr/lib/pvs/lib/bitvectors/bv_adder.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_caret.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_caret.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_caret_concat_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_caret_concat_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_caret_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_caret_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_concat.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_concat.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_extend.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_extend.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_int_caret.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_int_caret.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_int_concat.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_int_concat.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_int_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_int_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_minus_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_minus_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_nat.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_nat.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_nat_caret_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_nat_caret_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_nat_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_nat_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_arith_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_arith_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_arithmetic.prf
/usr/lib/pvs/lib/bitvectors/bv_arithmetic.pvs
/usr/lib/pvs/lib/bitvectors/bv_bitwise_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_bitwise_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_caret_bitwise.prf
/usr/lib/pvs/lib/bitvectors/bv_caret_bitwise.pvs
/usr/lib/pvs/lib/bitvectors/bv_caret_bitwise_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_caret_bitwise_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_caret_concat.prf
/usr/lib/pvs/lib/bitvectors/bv_caret_concat.pvs
/usr/lib/pvs/lib/bitvectors/bv_caret_concat_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_caret_concat_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_caret_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_caret_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_concat.prf
/usr/lib/pvs/lib/bitvectors/bv_concat.pvs
/usr/lib/pvs/lib/bitvectors/bv_concat_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_concat_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_constants.prf
/usr/lib/pvs/lib/bitvectors/bv_constants.pvs
/usr/lib/pvs/lib/bitvectors/bv_core.pvs
/usr/lib/pvs/lib/bitvectors/bv_extend.prf
/usr/lib/pvs/lib/bitvectors/bv_extend.pvs
/usr/lib/pvs/lib/bitvectors/bv_fract.prf
/usr/lib/pvs/lib/bitvectors/bv_fract.pvs
/usr/lib/pvs/lib/bitvectors/bv_int.prf
/usr/lib/pvs/lib/bitvectors/bv_int.pvs
/usr/lib/pvs/lib/bitvectors/bv_mult_div_rem.prf
/usr/lib/pvs/lib/bitvectors/bv_mult_div_rem.pvs
/usr/lib/pvs/lib/bitvectors/bv_nat_rules.prf
/usr/lib/pvs/lib/bitvectors/bv_nat_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_notes.pvs
/usr/lib/pvs/lib/bitvectors/bv_overflow.prf
/usr/lib/pvs/lib/bitvectors/bv_overflow.pvs
/usr/lib/pvs/lib/bitvectors/bv_rotate.prf
/usr/lib/pvs/lib/bitvectors/bv_rotate.pvs
/usr/lib/pvs/lib/bitvectors/bv_rules.pvs
/usr/lib/pvs/lib/bitvectors/bv_shift.prf
/usr/lib/pvs/lib/bitvectors/bv_shift.pvs
/usr/lib/pvs/lib/bitvectors/bv_sum.prf
/usr/lib/pvs/lib/bitvectors/bv_sum.pvs
/usr/lib/pvs/lib/bitvectors/div.prf
/usr/lib/pvs/lib/bitvectors/div.pvs
/usr/lib/pvs/lib/bitvectors/mod_rules.prf
/usr/lib/pvs/lib/bitvectors/mod_rules.pvs
/usr/lib/pvs/lib/bitvectors/sums.prf
/usr/lib/pvs/lib/bitvectors/sums.pvs
/usr/lib/pvs/lib/bitvectors/top.pvs
/usr/lib/pvs/lib/finite_sets/card_tricks.prf
/usr/lib/pvs/lib/finite_sets/card_tricks.pvs
/usr/lib/pvs/lib/finite_sets/finite_cross.prf
/usr/lib/pvs/lib/finite_sets/finite_cross.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_below.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_below.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_card_eq.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_card_eq.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_eq.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_eq.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_inductions.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_inductions.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_int.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_int.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_minmax.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_minmax.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_minmax_props.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_minmax_props.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_nat.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_nat.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_pred.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_pred.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_product.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_product.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_product_real.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_product_real.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_subtype_props.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_subtype_props.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_sum.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_sum.pvs
/usr/lib/pvs/lib/finite_sets/finite_sets_sum_real.prf
/usr/lib/pvs/lib/finite_sets/finite_sets_sum_real.pvs
/usr/lib/pvs/lib/finite_sets/fs_constructors.prf
/usr/lib/pvs/lib/finite_sets/fs_constructors.pvs
/usr/lib/pvs/lib/finite_sets/func_composition.prf
/usr/lib/pvs/lib/finite_sets/func_composition.pvs
/usr/lib/pvs/lib/finite_sets/prelude_aux.prf
/usr/lib/pvs/lib/finite_sets/prelude_aux.pvs
/usr/lib/pvs/lib/finite_sets/top.prf
/usr/lib/pvs/lib/finite_sets/top.pvs
/usr/lib/pvs/wish/gray.xbm
/usr/lib/pvs/wish/pvs-support.tcl
/usr/lib/pvs/wish/sequent.xbm
/usr/share/applications/pvs-sbcl.desktop
/usr/share/doc/pvs-sbcl/NOTICES
/usr/share/doc/pvs-sbcl/PVSio-2.d.pdf
/usr/share/doc/pvs-sbcl/ProofLite-4.2.pdf
/usr/share/doc/pvs-sbcl/README
/usr/share/doc/pvs-sbcl/csl-93-9.ps.gz
/usr/share/doc/pvs-sbcl/csl-97-2.ps.gz
/usr/share/doc/pvs-sbcl/extrategies.pdf
/usr/share/doc/pvs-sbcl/interpretations.pdf
/usr/share/doc/pvs-sbcl/language.pdf
/usr/share/doc/pvs-sbcl/manip-guide.pdf
/usr/share/doc/pvs-sbcl/prover.pdf
/usr/share/doc/pvs-sbcl/pvs-api.pdf
/usr/share/doc/pvs-sbcl/pvs-prelude.pdf
/usr/share/doc/pvs-sbcl/pvs-release-notes.pdf
/usr/share/doc/pvs-sbcl/user-guide.pdf
/usr/share/doc/pvs-sbcl/Examples/README
/usr/share/doc/pvs-sbcl/Examples/ackerman.pvs
/usr/share/doc/pvs-sbcl/Examples/f91.pvs
/usr/share/doc/pvs-sbcl/Examples/groups.pvs
/usr/share/doc/pvs-sbcl/Examples/stack.pvs
/usr/share/doc/pvs-sbcl/Examples/stacks.pvs
/usr/share/doc/pvs-sbcl/Examples/sum.pvs
/usr/share/doc/pvs-sbcl/Examples/sum2.pvs
/usr/share/doc/pvs-sbcl/Examples/ustacks.pvs
/usr/share/licenses/pvs-sbcl/LICENSE
/usr/share/texlive/texmf-local/tex/latex/pvs/pvs.sty

Changelog

2018-07-13 - Fedora Release Engineering <releng@fedoraproject.org> - 6.0-59
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-04-06 - Rex Dieter <rdieter@fedoraproject.org> - 6.0-58
- rebuild (sbcl)
2018-02-13 - Jerry James <loganjerry@gmail.com> - 6.0-57
- Bump and rebuild for sbcl dependency
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 6.0-56
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-12-01 - Rex Dieter <rdieter@fedoraproject.org> - 6.0-55
- rebuild (sbcl)
2017-10-20 - Rex Dieter <rdieter@fedoraproject.org> - 6.0-54
- rebuild (sbcl)
2017-10-18 - Rex Dieter <rdieter@fedoraproject.org> - 6.0-53
- rebuild (sbcl)
2017-09-22 - Rex Dieter <rdieter@fedoraproject.org> - 6.0-52
- rebuild (sbcl)
2017-08-03 - Fedora Release Engineering <releng@fedoraproject.org> - 6.0-51
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
2017-07-27 - Fedora Release Engineering <releng@fedoraproject.org> - 6.0-50
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild

See Also

Package Description
pwgen-2.08-1.fc28.i686.rpm Automatic password generation
py3status-3.12-1.fc28.noarch.rpm An extensible i3status wrapper written in python
py3status-doc-3.12-1.fc28.noarch.rpm Documentation files for py3status
py4j-doc-0.10.7-1.fc28.noarch.rpm Documentation files for py4j
py4j-java-0.10.7-1.fc28.noarch.rpm Py4J Java Library
py4j-javadoc-0.10.7-1.fc28.noarch.rpm Javadoc files for py4j
pybind11-devel-2.2.4-1.fc28.i686.rpm Development headers for pybind11
pycdlib-tools-1.7.0-1.fc28.noarch.rpm Tools that rely on pycdlib
pygame-devel-1.9.4-4.fc28.i686.rpm Files needed for developing programs which use pygame
pygobject3-devel-3.28.3-1.fc28.i686.rpm Development files for embedding PyGObject introspection support
pygsl-2.3.0-1.fc28.i686.rpm GNU Scientific Library Interface for python
pygsl-devel-2.3.0-1.fc28.i686.rpm Development files for pygsl
pykf5-kconfig-devel-5.55.0-1.fc28.noarch.rpm SIP files for kconfig Python bindings
pykickstart-3.12-4.fc28.noarch.rpm Python utilities for manipulating kickstart files.
pyotherside-1.5.4-1.fc28.i686.rpm Asynchronous Python 3 Bindings for Qt 5
Advertisement
Advertisement