ruby-axiom-types 0.1.0-1 (amd64 binary) in ubuntu wily

 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.

Details

Package version:
0.1.0-1
Source:
ruby-axiom-types 0.1.0-1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional