("5.0.1.5" ("75603fd0420d99440c7519cdad6ab6cca604bffc" . "d8b3c4b9bf5549e512b2b1f37ccd4a388c302ebe") (collects #"scheme" #"base.rkt") (collects #"deinprogramm" #"DMdA-reader.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
