("8.17" ta6le ("9b7bb3d780c893119baa734726d48c42986f599f" . "028418707eb3b6294bfb166960e0b81e7b18604d") (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 #"stepper" #"private" #"syntax-property.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"test-engine" #"syntax.rkt"))
