("8.17" tarm64le ("29589bdcea06651228e88942de166083053724d5" . "4a17503e9bc9825f9b3a55042c5f11912c3f75a3") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"benchmark" #"models" #"rvm" #"jdg-grammar.rkt") (collects #"redex" #"reduction-semantics.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
