[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#740761: ITP: ruby-axiom-types -- Ruby module for abstract types for logic programming



Package: wnpp
Severity: wishlist
Owner: Jonas Genannt <jonas.genannt@capi2name.de>

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

* Package name    : ruby-axiom-types
  Version         : 0.1.0
  Upstream Author : Dan Kubb <dan.kubb@gmail.com>
* URL             : https://github.com/dkubb/axiom-types
* License         : MIT
  Programming Lang: Ruby
  Description     : Ruby module for abstract types for logic programming

 Define types with optional constraints for use within axiom and other libraries.
 Abstract types for logic programming


For gitlab, maintained by Ruby PKG Group

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAEBCAAGBQJTFihuAAoJEPBM7/YBbP/QsEEP/1EHGyI1yiGBJc0VOPi7V0Xl
xDg0rasgKBVH0X+rks6Werpk9+rT4cszNjNAm130smgRnHWGWJa2ft7IUqcAnps7
1rSYRdaRg23zTY6bfjh7BV9PkTr1kqkGUZF7Vsy8I/t4xyu5d8Cov5IhglZ9sggj
hytsyEnCQH4uTpl86uD4O3qOKESp616lGoYYuZKzCfSk0YrSeQ+5Mpwqq23soWs+
MUTTq2SEisIhJaqtraPgylPDLSHrUbYOZI0PYH75XKb2zvrhNRhMYBITWwE3sVl7
eg91hsnXES/l/0JyRKtZLrKoQhKYyOY7L8Twb5DOya0JjvieoxaCsuVCu8JIWz6I
qFWv+Z0Fz4tnpAyAX/7Yqgt0eFAWUYwDTBUJ+8Kf4FQ4DdLjFha669eQFM7Q15Wt
wclUSMxexGkVK8x9XOB+Zq7+fq9S3rMMMHWS/2EV84580GtO6aZ/PwUifPi7pmfN
bAisf0PuwKGz1zccJqJvSrNd075cua2rUEW3s5Jq+8hcCmtCl2kPgjL5njpZ/ydG
QF/vXY4oEimewmt/ibbObmocdB5zLXsR5yyybgrgIMDqAlvJg8lLUAh1UwfPUcJS
4EC0JhU3W5TCJBCVybMTB4QdQ+jh4SDvkGGiG2iZf90pcbMuMGwNVSeb28wtQEGR
f5jIGm4gl7K0wLGlxpjP
=1dDO
-----END PGP SIGNATURE-----


Reply to: