kevin set package pvs-sbcl summary to Interactive theorem prover from SRI To make changes to this package see: https://admin.fedoraproject.org/pkgdb/packages/name/pvs-sbcl