("7.9" racket ("c1f4276312f626e7cb778e06be19fbd0399a109e" "92d51a652f80081c95309ba6e8104ce977301c92" . "0fd9fcbd83748a77fc6c8f4020f58f6e22f5b97a") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"streams.rkt") (collects #"racket" #"runtime-config.rkt"))
