Bug 1027513

Summary: Review Request: rubygem-axiom-types - Abstract types for logic programming
Product: [Fedora] Fedora Reporter: Ken Dreyer <ktdreyer>
Component: Package ReviewAssignee: Mamoru TASAKA <mtasaka>
Status: CLOSED ERRATA QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: medium Docs Contact:
Priority: medium    
Version: rawhideCC: package-review
Target Milestone: ---Flags: mtasaka: fedora-review+
gwync: fedora-cvs+
Target Release: ---   
Hardware: All   
OS: Linux   
Whiteboard:
Fixed In Version: rubygem-axiom-types-0.0.5-2.fc20 Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2013-12-11 02:02:17 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:

Description Ken Dreyer 2013-11-07 01:34:34 UTC
Spec URL: http://ktdreyer.fedorapeople.org/reviews/rubygem-axiom-types.spec
SRPM URL: http://ktdreyer.fedorapeople.org/reviews/rubygem-axiom-types-0.0.5-1.fc21.src.rpm
Description: Define types with optional constraints for use within axiom and other libraries.
Fedora Account System Username: ktdreyer

F21 scratch build: http://koji.fedoraproject.org/koji/taskinfo?taskID=6147477

Comment 1 Ken Dreyer 2013-11-07 01:38:39 UTC
(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 pushed to stable. So the rubygem-axiom-types package will only build on F21 until these two packages get pushed to stable.)

Comment 3 Mamoru TASAKA 2013-11-28 09:12:00 UTC
Taking

I would appreciate it if you would review one of my review requests (e.g. bug 1031317 )

Comment 4 Mamoru TASAKA 2013-11-30 18:08:36 UTC
Okay.

- Spec file clean
- Builds fine on koji
- Can be installed via yum
- At least the following works:

$ ruby -e "require 'axiom/types' ; puts Axiom::Types::VERSION"
0.0.5
$ gem list axiom-types

*** LOCAL GEMS ***

axiom-types (0.0.5)


--------------------------------------------------------
  This package (rubygem-axiom-types) is APPROVED by
  mtasaka
--------------------------------------------------------

Comment 5 Ken Dreyer 2013-11-30 23:22:15 UTC
Thanks Mamoru for the review!

New Package SCM Request
=======================
Package Name: rubygem-axiom-types
Short Description: Abstract types for logic programming
Owners: ktdreyer
Branches: f19 f20

Comment 6 Gwyn Ciesla 2013-12-01 21:44:30 UTC
Git done (by process-git-requests).

Comment 7 Fedora Update System 2013-12-02 02:26:20 UTC
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

Comment 8 Fedora Update System 2013-12-02 02:27:00 UTC
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

Comment 9 Fedora Update System 2013-12-02 23:53:59 UTC
rubygem-axiom-types-0.0.5-2.fc20 has been pushed to the Fedora 20 testing repository.

Comment 10 Fedora Update System 2013-12-11 02:02:17 UTC
rubygem-axiom-types-0.0.5-2.fc19 has been pushed to the Fedora 19 stable repository.

Comment 11 Fedora Update System 2013-12-14 02:59:45 UTC
rubygem-axiom-types-0.0.5-2.fc20 has been pushed to the Fedora 20 stable repository.