BDEPEND=dev-racket/syntax-class-or dev-racket/syntax-classes-lib >=dev-scheme/racket-8.1:=[-minimal] doc? ( dev-texlive/texlive-fontsextra ) sys-apps/racket-where
DEFINED_PHASES=compile install postinst prepare prerm test
DESCRIPTION=a scribble document for beginner mode of ACL2s
EAPI=8
HOMEPAGE=https://github.com/AlexKnauth/acl2s-scribblings
IUSE=doc
KEYWORDS=~amd64 ~arm ~ppc ~ppc64 ~x86
LICENSE=all-rights-reserved
RDEPEND=dev-racket/syntax-class-or dev-racket/syntax-classes-lib >=dev-scheme/racket-8.1:=[-minimal]
RESTRICT=mirror
SLOT=0
SRC_URI=https://github.com/AlexKnauth/acl2s-scribblings/archive/ac77d9f0d87a9e3c3929e86444dfcd4b3d59640c.tar.gz -> acl2s-scribblings-0_p20251118.tar.gz
_eclasses_=gh	c1511fde42ad512c6c06a7f0aeb96326	multiprocessing	1e32df7deee68372153dca65f4a7c21f	racket	976ac71abda01cfaf08bfa25cf1361ca	racket-common	63431c621a8c230a7226f22fdd9dcc1a	xdg-utils	42869b3c8d86a70ef3cf75165a395e09
_md5_=7bf6ecfec1b4e3df5101c780c8e0e8b0