("5.0.1.5" ("db87192325d0b2973416934adbaca071e6060e5a" . "cd224d75a1e5a551ede40ab248a11aa41095e8b3") (collects #"scheme" #"base.rkt") (collects #"syntax" #"stx.rkt") (collects #"stepper" #"private" #"shared.rkt") (collects #"deinprogramm" #"signature" #"signature.rkt") (collects #"scheme" #"promise.rkt") (collects #"lang" #"private" #"teachprims.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
