("5.0.1.5" ("08c2d8333e21a2fe299559de21a421010574638e" . "0b1e2d99c060f4cbfd7737543cc662ed37a2b647") (collects #"scheme" #"main.rkt") (collects #"teachpack" #"htdp" #"draw.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"teachpack" #"htdp" #"scribblings" #"shared.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
