("8.15" tarm32nb ("7f517f8fd97bbddc3c7ffabd787b0b01059e0811" . "9b3078d3f93c4bdf445362c056e8c957ef7e12d6") (collects #"deinprogramm" #"signature" #"signature-english.rkt") (collects #"deinprogramm" #"signature" #"signature.rkt") (collects #"lang" #"private" #"firstorder.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"syntax.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"promise.rkt") (collects #"stepper" #"private" #"syntax-property.rkt") (collects #"syntax" #"stx.rkt"))
