("7.2" racket ("efbdf62c48d2e4056aea50d4ef47823d9576ee0c" . "334277762cab906b022916e7bf2b2ab869dbb61b") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"sort.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"unsafe" #"ops.rkt"))
