("5.0.1.5" ("0a6dfe7d68e94a0339f4081b97baabfc5b263a33" . "62c8a1ee3a0e97c99332d1578117b97fd1099479") (collects #"scheme" #"main.rkt") (collects #"teachpack" #"htdp" #"image.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"))
