("5.0.1.5" ("4029438c771727455a9b095720656c3cd51ab6ab" . "9afcae9b8f46f1dba04ebf9b307ac2e2a32fab72") (collects #"drracket" #"tool-lib.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"extract.rkt") (collects #"racket" #"unit" #"lang" #"reader.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt") (collects #"at-exp" #"lang" #"reader.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
