("7.2" racket ("aeb150d1804ef4a0d97e9462506bbc20b9e5f576" . "19a9b519fe01607a6a0465cf459782df74c66b71") (collects #"planet" #"config.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
