("7.3" racket ("54ce9c0d81b1c9fd1717638989f61a0940eec6b1" . "baa8fbf6f80ef1ba743922f95069b8b10ce2e066") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"port.rkt") (collects #"racket" #"runtime-config.rkt"))
