("5.3.1" ("df167ff6c1329a1052e86b8d4f26291223a6f7b1" . "fb58d778a2fdfbae0a8a3a10e80d34762d205e23") (collects #"scheme" #"help.rkt") (collects #"scheme" #"main.rkt") (collects #"scheme" #"enter.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
