("7.2" racket ("54ce9c0d81b1c9fd1717638989f61a0940eec6b1" . "2ff1a141a51e99bcb8aeccf1dfebd9732de81a0f") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"port.rkt") (collects #"racket" #"runtime-config.rkt"))
