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

[bugzilla at redhat.com]

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 #28 from David A. Wheeler <dwheeler at dwheeler.com>  2010-01-02 22:46:45 EDT ---
> I can't account for the timestamp difference you see, but since the time is off
by 2 hours in one direction and the time zone is off by 2 hours in the other
direction, they represent the same time.

You're right!  They're the same time, and that text is the only "difference". 
That is a weird thing that svn does, but that's a clear explanation... it
appears that in certain cases, svn uses the local timezone when retrieving, and
thus I see a "difference" that isn't really a difference at all.  Great; that
means that that MUST is resolved.

And I see what you mean about the .so files.  You're right, those "MUST"s are
vacuously satisfied.

So: all requirements are met.  Thank you SO MUCH for packaging PVS; this one
required real work to make it 64-bit-ready, and was *tricky* for other reasons
too.  Great job.

APPROVED.

-- 
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.