("8.17" tarm64le ("4489ef546093a29640ed2608cb6a600a5ab40a47" . "731d0518b42b81200b4faf0b246608e42a2703f8") (collects #"racket" #"base.rkt") (collects #"racket" #"bool.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"benchmark" #"models" #"delim-cont" #"delim-cont.rkt") (collects #"redex" #"private" #"generate-term.rkt") (collects #"redex" #"reduction-semantics.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
