("5.0.1.5" ("8131ab8e2aa600080a22a8578ef41730fd3aaf0c" . "e8e2c78c039963666deff6299f8151c079566633") (collects #"deinprogramm" #"DMdA.rkt") (collects #"syntax" #"docprovide.rkt") (collects #"deinprogramm" #"DMdA" #"lang" #"reader.rkt"))
