Sophie: pvs-sbcl-4.2-4.20100126svn.fc13 x86

pvs-sbcl-4.2-4.20100126svn.fc13.x86_64.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse


[Desktop Entry]
Version=1.0
Type=Application
Name=PVS (SBCL Build)
GenericName=PVS
Comment=An interactive theorem prover
TryExec=pvs-sbcl
Exec=pvs-sbcl %F
MimeType=application/x-pvs;
Terminal=false
Categories=Application;Development;
X-Desktop-File-Install-Version=0.16