("7.2" racket ("47f7d34b7633b79222e8f6d94ad110b5f8e1d18e" . "f7e25fd38accf8dbdff16bda45a096d7d8444cb1") (collects #"deinprogramm" #"signature" #"signature.rkt") (collects #"lang" #"private" #"firstorder.rkt") (collects #"lang" #"private" #"signature-syntax.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scheme" #"base.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"test-engine" #"racket-tests.rkt"))
