("6.12" ("b3308af876b4bd214aba05666836a7a2ad58efe4" . "d7d077c7b5cc6dc7c4c75de87548c75667182787") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"struct.rkt"))
