("7.2" racket ("aa0cda50b17aa66c9e6e6c790d7dc8f7129aa41c" . "f4f8a6d1b7cd22d592835eb9e2d154e9da5f9b9a") (collects #"racket" #"private" #"pre-base.rkt") (collects #"racket" #"private" #"reverse.rkt") (collects #"racket" #"private" #"sort.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt") (collects #"racket" #"runtime-config.rkt"))
