("5.3.1" ("5a44ba327bd18c0b056076009711f98eeaa82261" . "dd229325f472b8e079812630ce7a215122d17f12") (collects #"racket" #"private" #"vector-wraps.rkt") (collects #"racket" #"unsafe" #"ops.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
