[Bug 903428] Review Request: lfsc - SMT proof checker

2013-05-04 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 --- Comment #13 from Fedora Update System upda...@fedoraproject.org --- lfsc-0.20120321-3.fc18 has been pushed to the Fedora 18 stable repository. -- You are receiving this mail because: You are on the CC list for the bug.

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-29 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added Status|ON_QA

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-29 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 --- Comment #12 from Fedora Update System upda...@fedoraproject.org --- lfsc-0.20120321-3.fc19 has been pushed to the Fedora 19 stable repository. -- You are receiving this mail because: You are on the CC list for the bug.

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-22 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Jon Ciesla limburg...@gmail.com changed: What|Removed |Added Flags|fedora-cvs? |

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-22 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 --- Comment #8 from Jon Ciesla limburg...@gmail.com --- Git done (by process-git-requests). -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-22 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added Status|ASSIGNED

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-22 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 --- Comment #10 from Fedora Update System upda...@fedoraproject.org --- lfsc-0.20120321-2.fc18 has been submitted as an update for Fedora 18. https://admin.fedoraproject.org/updates/lfsc-0.20120321-2.fc18 -- You are receiving

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-22 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 --- Comment #11 from Fedora Update System upda...@fedoraproject.org --- lfsc-0.20120321-2.fc19 has been pushed to the Fedora 19 testing repository. -- You are receiving this mail because: You are on the CC list for the bug.

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-22 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Fedora Update System upda...@fedoraproject.org changed: What|Removed |Added Status|MODIFIED

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-18 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 --- Comment #6 from Pavol Babinčák pbabi...@redhat.com --- Git done (by process-git-requests). -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-18 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Pavol Babinčák pbabi...@redhat.com changed: What|Removed |Added Flags|fedora-cvs? |

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-18 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Jerry James loganje...@gmail.com changed: What|Removed |Added Flags|fedora-cvs+ |

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-17 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Paulo Andrade paulo.cesar.pereira.de.andr...@gmail.com changed: What|Removed |Added

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-17 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 --- Comment #4 from Jerry James loganje...@gmail.com --- Oops. How did I do that??? Thanks for the review. -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-17 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Jerry James loganje...@gmail.com changed: What|Removed |Added Flags|

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-16 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Jerry James loganje...@gmail.com changed: What|Removed |Added Status|NEW

[Bug 903428] Review Request: lfsc - SMT proof checker

2013-04-12 Thread bugzilla
Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Paulo Andrade paulo.cesar.pereira.de.andr...@gmail.com changed: What|Removed |Added CC|