Fedora 20 Update: rubygem-axiom-types-0.0.5-2.fc20

updates at fedoraproject.org updates at fedoraproject.org
Sat Dec 14 02:59:48 UTC 2013


--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2013-22578
2013-12-02 23:39:02
--------------------------------------------------------------------------------

Name        : rubygem-axiom-types
Product     : Fedora 20
Version     : 0.0.5
Release     : 2.fc20
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.
--------------------------------------------------------------------------------
ChangeLog:

--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------


More information about the package-announce mailing list