BDEPEND=dev-racket/mischief dev-racket/quickcheck dev-racket/rosette >=dev-scheme/racket-8.1:=[-minimal] doc? ( dev-texlive/texlive-fontsextra ) sys-apps/racket-where
DEFINED_PHASES=compile install postinst prepare prerm test
DESCRIPTION=Bitvectors for Racket a-la Rosette
EAPI=8
HOMEPAGE=https://github.com/pmatos/racket-bv
IUSE=doc
KEYWORDS=~amd64 ~arm ~ppc ~ppc64 ~x86
LICENSE=all-rights-reserved
RDEPEND=dev-racket/mischief dev-racket/quickcheck dev-racket/rosette >=dev-scheme/racket-8.1:=[-minimal]
RESTRICT=mirror
SLOT=0
SRC_URI=https://github.com/pmatos/racket-bv/archive/9c4291e9eefb55db388fe7381e8852bac6a925f7.tar.gz -> bv-0_p20240109.tar.gz
_eclasses_=gh	92b5e396e8258de206f1ccc0c184e683	multiprocessing	45d0620f25c2f063ad6276ecd9ed9399	racket	d398a4206e341923da54007cdd857375	racket-common	9ae6573d53299bb799645d12b6a54db5	xdg-utils	42869b3c8d86a70ef3cf75165a395e09
_md5_=7e8a56dd4d3833cf4493ffa426714b8d