("7.2" racket ("4b56ca336eac8681295485a9dd6831d7c5515c53" . "c83d588ad28faa79c38d7884d3015b213d357fc7") (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"))
