("5.0.1.5" ("020aee4300999ad553c5292b4cb32424624bc97b" . "e9aaf1dfe7588f0a725094c8b997e13b98dcac27") (collects #"scheme" #"main.rkt") (collects #"teachpack" #"htdp" #"gui.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"teachpack" #"htdp" #"scribblings" #"shared.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
