rubygem-axiom-types
Abstract types for logic programming
Define types with optional constraints for use within axiom and other libraries.
Для openSUSE Leap 16.0 нет официального пакетаДистрибутивы
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
openSUSE Backports for SLE 15 SP4
openSUSE Backports for SLE 15 SP3
SUSE SLE-15-SP2
SUSE SLE-15-SP1
Неподдерживаемые дистрибутивы
Следующие дистрибутивы не имеют официальной поддержки. Используйте их пакеты на свой страх и риск.