("5.3.1" ("6cd5cc09c96354b229671df88858952e2a9ab7de" . "fe1dcc0a7130af06a36ff3969dad224dee65125e") (collects #"parser-tools" #"private-lex" #"token-syntax.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"list.rkt"))
