("5.3.1" ("7f1c8b6dda8a9beb1aa16a4631be95b26e3a00cb" . "8852f9d9f75d11a8ca648e705d85241da780f644") (collects #"srfi" #"14" #"char-set.rkt") (collects #"mzlib" #"etc.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"8" #"receive.rkt") (collects #"srfi" #"optional.rkt") (collects #"mzscheme" #"lang" #"reader.rkt"))
