[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-11-06 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 --- Comment #1 from Ken Dreyer --- (Please note that this package depends on the newly-accepted rubygem-ice_nine and rubygem-descendants_tracker packages. These dependencies are in updates-testing for F20 and F19, but they have not yet been pu

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-11-20 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 --- Comment #2 from Ken Dreyer --- The package now builds on F19. Spec URL: http://ktdreyer.fedorapeople.org/reviews/rubygem-axiom-types.spec SRPM URL: http://ktdreyer.fedorapeople.org/reviews/rubygem-axiom-types-0.0.5-2.fc21.src.rpm F19 scr

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-11-28 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 Mamoru TASAKA changed: What|Removed |Added Status|NEW |ASSIGNED Assignee|nob...@fedo

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-11-30 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 Mamoru TASAKA changed: What|Removed |Added Flags|fedora-review? |fedora-review+ --- Comment #4 from Ma

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-11-30 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 Ken Dreyer changed: What|Removed |Added Flags||fedora-cvs? --- Comment #5 from Ken Drey

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-12-01 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 --- Comment #6 from Jon Ciesla --- Git done (by process-git-requests). -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component __

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-12-01 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 Jon Ciesla changed: What|Removed |Added Flags|fedora-cvs? |fedora-cvs+ -- You are receiving this m

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-12-01 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 Fedora Update System changed: What|Removed |Added Status|ASSIGNED|MODIFIED -- You are receiving

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-12-01 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 --- Comment #7 from Fedora Update System --- rubygem-axiom-types-0.0.5-2.fc20 has been submitted as an update for Fedora 20. https://admin.fedoraproject.org/updates/rubygem-axiom-types-0.0.5-2.fc20 -- You are receiving this mail because: You

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-12-01 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 --- Comment #8 from Fedora Update System --- rubygem-axiom-types-0.0.5-2.fc19 has been submitted as an update for Fedora 19. https://admin.fedoraproject.org/updates/rubygem-axiom-types-0.0.5-2.fc19 -- You are receiving this mail because: You

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-12-02 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 Fedora Update System changed: What|Removed |Added Status|MODIFIED|ON_QA --- Comment #9 from Fedo

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-12-10 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 Fedora Update System changed: What|Removed |Added Status|ON_QA |CLOSED Fixed In Version|

[Bug 1027513] Review Request: rubygem-axiom-types - Abstract types for logic programming

2013-12-13 Thread bugzilla
https://bugzilla.redhat.com/show_bug.cgi?id=1027513 Fedora Update System changed: What|Removed |Added Fixed In Version|rubygem-axiom-types-0.0.5-2 |rubygem-axiom-types-0.0.5-2