("5.0.1.5" ("b94afa19f73f178f6a135f9ddb04113c0705da37" . "e74b7ff83982d60adc4b26f30c25201c855fb642") (collects #"scheme" #"mzscheme.rkt") (collects #"eopl" #"private" #"slldef.rkt") (collects #"mzscheme" #"main.rkt") (collects #"eopl" #"datatype.rkt") (collects #"eopl" #"private" #"sllgen.rkt") (collects #"mzlib" #"trace.rkt") (collects #"mzlib" #"pretty.rkt") (collects #"mzscheme" #"lang" #"reader.rkt"))
