("7.2" racket ("2615c498bf9055cc71f357f67f3c74abf20821ac" . "2297eee5cc8c1cfa0077e7ecb2bd9eb2b98a53b9") (collects #"file" #"private" #"check-path.rkt") (collects #"file" #"private" #"strip-prefix.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt"))
