("5.3.1" ("59c813a102894902d44d8f34250c5dfd7292c977" . "cfbd0ac5d6607334189e2f71e594fd1cc06e6c04") (collects #"scheme" #"foreign.rkt") (collects #"scheme" #"base.rkt") (collects #"ffi" #"vector.rkt") (collects #"ffi" #"unsafe.rkt") (collects #"ffi" #"unsafe" #"cvector.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
