Bug 1027513 - Review Request: rubygem-axiom-types - Abstract types for logic programming
Summary: Review Request: rubygem-axiom-types - Abstract types for logic programming
Alias: None
Product: Fedora
Classification: Fedora
Component: Package Review
Version: rawhide
Hardware: All
OS: Linux
Target Milestone: ---
Assignee: Mamoru TASAKA
QA Contact: Fedora Extras Quality Assurance
Depends On:
TreeView+ depends on / blocked
Reported: 2013-11-07 01:34 UTC by Ken Dreyer
Modified: 2013-12-14 02:59 UTC (History)
1 user (show)

Fixed In Version: rubygem-axiom-types-0.0.5-2.fc20
Doc Type: Bug Fix
Doc Text:
Clone Of:
Last Closed: 2013-12-11 02:02:17 UTC
mtasaka: fedora-review+
gwync: fedora-cvs+

Attachments (Terms of Use)

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

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

- 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"
$ gem list axiom-types

*** LOCAL GEMS ***

axiom-types (0.0.5)

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

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.

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.

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.

Note You need to log in before you can comment on or make changes to this bug.