[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