("6.5" ("69c7089c743c750cc1c0c2918d810e4e506cd30d" . "10eb1167aaf7b13293d11df2ad71872fc00a2678") (collects #"lang" #"private" #"firstorder.rkt") (collects #"lang" #"private" #"signature-syntax.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"runtime-config.rkt"))
