("5.3.1" ("a81043815d1d3e4ee72643cea75323aa157242aa" . "7ea711c4c5db3add6c488e71b1085142c940da4d") (collects #"mzlib" #"class.rkt") (collects #"parser-tools" #"private-yacc" #"grammar.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"list.rkt") (collects #"parser-tools" #"private-yacc" #"lr0.rkt"))
