[Bug 768538] Review Request: why3 - Software verification platform

2012-04-30 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=768538 Fedora Update System changed: What|Removed |Added --

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-28 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=768538 Fedora Update System changed: What|Removed |Added --

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-19 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=768538 Fedora Update System changed: What|Removed |Added --

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-19 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=768538 Fedora Update System changed: What|Removed |Added --

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-19 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=768538 --- Comment #7 from Fedora Update System 2012-04-19 16:06:04 EDT --- why3-0.71-2.fc17 has been submitted as an update for Fedor

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-19 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=768538 --- Comment #8 from Fedora Update System 2012-04-19 16:06:33 EDT --- why3-0.71-2.fc16 has been submitted as an update for Fedor

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-19 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=768538 --- Comment #6 from Jon Ciesla 2012-04-19 14:50:33 EDT --- Git done (by process-git-requests). -- Configure bugmail: https://

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-19 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=768538 Jerry James changed: What|Removed |Added ---

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-19 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=768538 Jon Ciesla changed: What|Removed |Added

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-19 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=768538 --- Comment #3 from Jerry James 2012-04-19 12:35:12 EDT --- Sorry, I was out of town for a little over a week. I thought I'd d

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-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=768538 --- Comment #2 from Jon Ciesla 2012-04-18 09:19:17 EDT --- Ping? -- Configure bugmail: https://bugzilla.redhat.com/userprefs.

[Bug 768538] Review Request: why3 - Software verification platform

2012-04-09 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=768538 Jon Ciesla changed: What|Removed |Added

[Bug 768538] Review Request: why3 - Software verification platform

2011-12-16 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=768538 Jerry James changed: What|Removed |Added ---