("5.0.1.5" ("8d6951929fbdb31001cf532551c8dbd834b7eece" . "f36d0f1fe3ec9d4c9e6fa2b8366aaf2e299f16b9") (collects #"lang" #"htdp-beginner.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"htdp-langs" #"common.rkt") (collects #"scribblings" #"htdp-langs" #"std-grammar.rkt") (collects #"scribblings" #"htdp-langs" #"prim-ops.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
