BDEPEND=>=dev-scheme/racket-8.1:=[-minimal] doc? ( dev-texlive/texlive-fontsextra ) sys-apps/racket-where
DEFINED_PHASES=compile install postinst prepare prerm test
DESCRIPTION=Z3 bindings for Racket
EAPI=8
HOMEPAGE=https://github.com/philnguyen/z3-rkt
IUSE=doc
KEYWORDS=~amd64 ~arm ~ppc ~ppc64 ~x86
LICENSE=all-rights-reserved
RDEPEND=>=dev-scheme/racket-8.1:=[-minimal]
RESTRICT=mirror
SLOT=0
SRC_URI=https://github.com/philnguyen/z3-rkt/archive/78deda2c7a377b93caefd40fd16e5df9c6d53c40.tar.gz -> z3-0_p20190511.tar.gz
_eclasses_=gh	fc6ba371c0469f8c5572be5ddf1caea9	multiprocessing	1e32df7deee68372153dca65f4a7c21f	racket	bc8df6ce7e3179e603d099e8ca0d668a	racket-common	93499343b4e1726605cbaf9e873c650b	xdg-utils	42869b3c8d86a70ef3cf75165a395e09
_md5_=da32154a2d3890c097fb7e532063eda5