("5.0.1.5" ("39ef25a6a60a4aa06b591076679e08759cf086ca" . "59dfa07fc47f54c2c14d9092c193dd8858d3dc28") (collects #"racket" #"base.rkt") (collects #"ffi" #"unsafe.rkt") (collects #"racket" #"unsafe" #"ops.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
