Source: ruby-axiom-types Section: ruby Priority: optional Maintainer: Debian Ruby Team Uploaders: Jonas Genannt Build-Depends: debhelper-compat (= 13), gem2deb, ruby-descendants-tracker, ruby-ice-nine, ruby-rspec, ruby-rspec-its, ruby-sorted-set, ruby-thread-safe Standards-Version: 4.6.0 Vcs-Git: https://salsa.debian.org/ruby-team/ruby-axiom-types.git Vcs-Browser: https://salsa.debian.org/ruby-team/ruby-axiom-types Homepage: https://github.com/dkubb/axiom-types Testsuite: autopkgtest-pkg-ruby XS-Ruby-Versions: all Rules-Requires-Root: no Package: ruby-axiom-types Architecture: all XB-Ruby-Versions: ${ruby:Versions} Depends: ${misc:Depends}, ${ruby:Depends}, ${shlibs:Depends} Description: Ruby module for abstract types for logic programming 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.