("5.0.1.5" ("c97464439c363cb6713f77284cfc81cd940e6dc4" . "167a30314eeb0d1e6d9e923d3b75ebfa25d0a2dc") (collects #"scheme" #"main.rkt") (collects #"teachpack" #"htdp" #"graphing.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"teachpack" #"htdp" #"scribblings" #"shared.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
