ruby-axiom-types binary package in Ubuntu Xenial amd64
This package provides a Ruby module that allows one to define types with
optional constraints for use within axiom and other libraries. It can
be used for logic programming.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2015-10-22 15:20:22 UTC | Published | Ubuntu Xenial amd64 | release | universe | ruby | Optional | 0.1.1-1 | ||
|