[Bug 456398] Review Request: why - Why software verification platform
by Red Hat Bugzilla
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=456398
--- Comment #13 from David A. Wheeler <dwheeler(a)dwheeler.com> 2008-08-02 22:18:12 EDT ---
Excellent!
I checked and confirmed that you've fixed the blocker (not including the
license file). rpmlint is now 100% silent (which is good; that means the
buffer overflow protection, etc., will now work properly).
I started up the graphical "gwhy" and confirmed that (1) you can now navigate
the filesystem using the GUI, and that (2) you can work with files not in the
current directory. Looks good. I did a try with binary_search.c, and
confirmed that it now works with Zenon (which already has a Fedora package).
Zenon doesn't do a _great_ job, but it does prove some verification conditions.
Reducing the number of default columns is a big help; new users will be
overwhelmed enough.
I think it's ready for release. Congrats!
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.
15 years, 8 months
[Bug 226276] Merge Review: perl
by Red Hat Bugzilla
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=226276
Tom "spot" Callaway <tcallawa(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |CLOSED
Customer Facing|NO |---
Resolution| |RAWHIDE
--- Comment #38 from Tom "spot" Callaway <tcallawa(a)redhat.com> 2008-08-02 21:35:21 EDT ---
This one has been done for some time now. Setting the review flag to + and
closing this bug out.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
15 years, 8 months
[Bug 457232] New: Package Change Request : Pem-0.7.3
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.
https://bugzilla.redhat.com/show_bug.cgi?id=457232
Summary: Package Change Request : Pem-0.7.3
Product: Fedora
Version: rawhide
Platform: All
URL: http://pjp.dgplug.org/tools/pem-0.7.3.tar.gz
OS/Version: Linux
Status: NEW
Severity: low
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: pj.pandit(a)yahoo.co.in
QAContact: extras-qa(a)fedoraproject.org
CC: fedora-package-review@redhat.com,notting(a)redhat.com
Hello there, I'd like to add a new branch EL-4 for pem-0.7.3.
Package Change Request
======================
Package Name: pem
Version : 0.7.3
New Branches: EL-4
Thank you!
--
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, or are watching someone who is.
15 years, 8 months