[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System

bugzilla at redhat.com bugzilla at redhat.com
Fri Dec 18 14:49:00 UTC 2009


Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=548607





--- Comment #2 from David A. Wheeler <dwheeler at dwheeler.com>  2009-12-18 09:48:57 EDT ---
A few additional random thoughts on this package:
* On Fedora there's already an /sbin/pvs (provided by lvm2), and /sbin is now
in many users'  paths.  Is this likely to cause trouble?
* I see a "Provides:", that's good.  Should it provide
"prototype-verification-system" instead of "pvs", since "pvs" has other
meanings?
* It seems to me that PVS should have a desktop entry, as defined by
http://standards.freedesktop.org/desktop-entry-spec/latest/
  That way, people can invoke it from the GUI, and double-click on ".pvs" files
to invoke things correctly.  Something like this in pvs.desktop:
[Desktop Entry]
Version=1.0
Type=Application
Name=Prototype Verification System (PVS)
Comment=A verification system (a specification language integrated with support
tools and a theorem prover).
TryExec=pvs
Exec=pvs %F
#  Icon=fooview
MimeType=image/x-pvs;

(Obviously, such a desktop entry should be submitted upstream, so that in the
long term everyone will package it up & they'll maintain the desktop entry.)

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.




More information about the Fedora-package-review mailing list