[pkgdb] rubygem-axiom-types summary updated by limb

[Fedora PackageDB]

limb set package rubygem-axiom-types summary to Abstract types for logic programming

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/acls/name/rubygem-axiom-types