Fedora 19 Update: rubygem-axiom-types-0.0.5-2.fc19

[updates at fedoraproject.org]

--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2013-22593
2013-12-03 09:37:51
--------------------------------------------------------------------------------

Name        : rubygem-axiom-types
Product     : Fedora 19
Version     : 0.0.5
Release     : 2.fc19
URL         : https://github.com/dkubb/axiom-types
Summary     : Abstract types for logic programming
Description :
Define types with optional constraints for use within axiom and other
libraries.

--------------------------------------------------------------------------------
Update Information:

First Fedora release. axiom-types allows programmers to define types with optional constraints for use within axiom and other libraries.
--------------------------------------------------------------------------------
References:

  [ 1 ] Bug #1027513 - Review Request: rubygem-axiom-types - Abstract types for logic programming
        https://bugzilla.redhat.com/show_bug.cgi?id=1027513
--------------------------------------------------------------------------------

This update can be installed with the "yum" update program.  Use 
su -c 'yum update rubygem-axiom-types' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

All packages are signed with the Fedora Project GPG key.  More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------