("6.5" ("a437d951b4d99aeccba9b8a37ee55656c9a4dcc5" . "740755e442b495bf3986b74eeecb4b709d571275") (collects #"deinprogramm" #"define-record-procedures.rkt") (collects #"deinprogramm" #"signature" #"signature-german.rkt") (collects #"deinprogramm" #"signature" #"signature-syntax.rkt") (collects #"deinprogramm" #"signature" #"signature.rkt") (collects #"rackunit" #"main.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"promise.rkt") (collects #"scheme" #"runtime-config.rkt"))
