("5.0.1.5" ("22a99ee0e2ab8ed5f702b23ad3b1fae6e19041fd" . "31f17ecc0c3989b1de3ec2077907287f44d48ad8") (collects #"scheme" #"main.rkt") (collects #"teachpack" #"deinprogramm" #"image.rkt") (collects #"teachpack" #"deinprogramm" #"world.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"deinprogramm" #"scribblings" #"shared.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
