("5.3.1" ("dcf85a25a2c1d489fb45da9aca945908c3b708ae" . "9f6d77c3388375e6b8b208eef31797f47f9c839d") (collects #"syntax" #"parse" #"private" #"keywords.rkt") (collects #"syntax" #"parse" #"private" #"sc.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
