("6.5" ("65bf7c3ec31910453b01a1f6904902c8fb305479" . "0df4c47a6f528bfe250f33b9bee410febd2bda6b") (collects #"deinprogramm" #"signature" #"signature-english.rkt") (collects #"deinprogramm" #"signature" #"signature.rkt") (collects #"lang" #"private" #"firstorder.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"promise.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"stepper" #"private" #"syntax-property.rkt") (collects #"syntax" #"stx.rkt"))
