("5.0.1.5" ("5bc98604af8db0a7a196359ccbf406582191c055" . "7f058931d85f5cc635ad67c5cdacacd09e71b7c1") (collects #"deinprogramm" #"DMdA-vanilla.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"htdp-langs" #"common.rkt") (collects #"deinprogramm" #"scribblings" #"std-grammar.rkt") (collects #"deinprogramm" #"scribblings" #"prim-ops.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
