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