-------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
