[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-18 Thread 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=719757 Fedora Update System changed: What|Removed |Added --

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-10 Thread 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=719757 Fedora Update System changed: What|Removed |Added --

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-07 Thread 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=719757 --- Comment #13 from Fedora Update System 2011-11-07 11:52:38 EST --- apron-0.9.10-3.fc16 has been submitted as an update for F

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-07 Thread 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=719757 Fedora Update System changed: What|Removed |Added --

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-06 Thread 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=719757 --- Comment #12 from Jon Ciesla 2011-11-06 15:37:02 EST --- Git done (by process-git-requests). -- Configure bugmail: https://

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-05 Thread 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=719757 --- Comment #11 from Jerry James 2011-11-05 17:01:33 EDT --- In this case, the newpolka/mf_qsort.c file winds up in %{_libdir}/

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-04 Thread 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=719757 --- Comment #10 from Jason Tibbitts 2011-11-04 19:05:54 EDT --- Just wanted to be sure that everyone's aware that the license t

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-04 Thread 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=719757 Jerry James changed: What|Removed |Added ---

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-04 Thread 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=719757 Brendan Jones changed: What|Removed |Added -

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-04 Thread 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=719757 --- Comment #7 from Jerry James 2011-11-04 18:37:02 EDT --- Argh, you're right. How about if I change the comment on the Licen

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-04 Thread 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=719757 Brendan Jones changed: What|Removed |Added -

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-04 Thread 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=719757 --- Comment #5 from Jerry James 2011-11-04 17:21:55 EDT --- (In reply to comment #4) > [?] Be licensed with a Fedora approved l

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-04 Thread 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=719757 --- Comment #4 from Brendan Jones 2011-11-04 04:07:13 EDT --- Hi Jerry, looking pretty good. Just a few questions below: Requ

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-11-02 Thread 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=719757 Brendan Jones changed: What|Removed |Added -

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-08-24 Thread 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=719757 --- Comment #2 from Jerry James 2011-08-24 19:10:00 EDT --- Thanks for the notes. I have made the following changes: - increas

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-08-24 Thread 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=719757 --- Comment #3 from Jerry James 2011-08-24 19:13:16 EDT --- Oh, I forgot to add that the incorrect-fsf-address warning is due t

[Bug 719757] Review Request: apron - Numerical abstract domain library

2011-08-23 Thread 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=719757 Volker Fröhlich changed: What|Removed |Added ---