("5.3.1" ("a5fa7ece0be2baf75a0cb7c57e06e9c59ceffe7e" . "ac8c95fc7025b7d08aec11a4b9eff941d4dab421") (collects #"parser-tools" #"lex.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt"))
