("5.3.1" ("c333599a7b45b883c5e48a8f71e00da80da19f00" . "89f81f6ba3c99901244602c3e4e9e5080cc51d65") (collects #"racket" #"unsafe" #"ops.rkt") (collects #"racket" #"base.rkt") (collects #"ffi" #"unsafe.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
