[Bug 548607] Review Request: pvs-sbcl - SRI's Prototype Verification System
bugzilla at redhat.com
bugzilla at redhat.com
Sat Jan 2 01:25:29 UTC 2010
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 #22 from Jerry James <loganjerry at gmail.com> 2010-01-01 20:25:21 EDT ---
Now that I'm done making merry, I had a chance to work on this again. I found
several more SBCL-specific changes that needed to be made to the PVS code base,
so I've reworked the patches. Give this a try:
http://jjames.fedorapeople.org/pvs/pvs-sbcl.spec
http://jjames.fedorapeople.org/pvs/pvs-sbcl-4.2-2.20091229svn.fc12.src.rpm
This includes changes that were checked into PVS subversion over the last
couple of weeks.
--
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