[pkgdb] rubygem-axiom-types was added for ktdreyer

[Fedora PackageDB]

limb has added Package rubygem-axiom-types with summary Abstract types for logic programming
limb has approved Package rubygem-axiom-types
limb has added a Fedora devel branch for rubygem-axiom-types with an owner of ktdreyer
limb has approved rubygem-axiom-types in Fedora devel
limb has approved Package rubygem-axiom-types
limb has set checkout to Approved for provenpackager on rubygem-axiom-types (Fedora devel)
limb has set commit to Approved for provenpackager on rubygem-axiom-types (Fedora devel)

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