| 1 | {"name":"rubygem-axiom-types","origin":"devel/rubygem-axiom-types","version":"0.1.1","comment":"Abstract·types·for·logic·programming·in·Ruby","maintainer":"ruby@FreeBSD.org","www":"https://github.com/dkubb/axiom-types","abi":"FreeBSD:11:*","arch":"freebsd:11:*","prefix":"/usr/local","flatsize":1083989,"licenselogic":"single","licenses":["MIT"],"desc":"Axiom-types·provides·a·Ruby·library·that·allows·one·to·define·types·with\noptional·constraints.·It·can·be·used·for·logic·programming.·\n\nWWW:·https://github.com/dkubb/axiom-types","deps":{"ruby22-gems":{"origin":"devel/ruby-gems","version":"2.6.4"},"ruby":{"origin":"lang/ruby22","version":"2.2.5,1"},"rubygem-thread_safe":{"origin":"devel/rubygem-thread_safe","version":"0.3.5"},"rubygem-ice_nine":{"origin":"devel/rubygem-ice_nine","version":"0.11.2"},"rubygem-descendants_tracker":{"origin":"devel/rubygem-descendants_tracker","version":"0.0.4"}},"categories":["devel","rubygems"],"files":{"/usr/local/share/licenses/rubygem-axiom-types-0.1.1/catalog.mk":"1$92f4bf05·✂ | 1 | {"name":"rubygem-axiom-types","origin":"devel/rubygem-axiom-types","version":"0.1.1","comment":"Abstract·types·for·logic·programming·in·Ruby","maintainer":"ruby@FreeBSD.org","www":"https://github.com/dkubb/axiom-types","abi":"FreeBSD:11:*","arch":"freebsd:11:*","prefix":"/usr/local","flatsize":1083989,"licenselogic":"single","licenses":["MIT"],"desc":"Axiom-types·provides·a·Ruby·library·that·allows·one·to·define·types·with\noptional·constraints.·It·can·be·used·for·logic·programming.·\n\nWWW:·https://github.com/dkubb/axiom-types","deps":{"ruby22-gems":{"origin":"devel/ruby-gems","version":"2.6.4"},"ruby":{"origin":"lang/ruby22","version":"2.2.5,1"},"rubygem-thread_safe":{"origin":"devel/rubygem-thread_safe","version":"0.3.5"},"rubygem-ice_nine":{"origin":"devel/rubygem-ice_nine","version":"0.11.2"},"rubygem-descendants_tracker":{"origin":"devel/rubygem-descendants_tracker","version":"0.0.4"}},"categories":["devel","rubygems"],"files":{"/usr/local/share/licenses/rubygem-axiom-types-0.1.1/catalog.mk":"1$92f4bf05·✂ |