("7.2" racket ("d1dba75f325099bce8f776343e8bae4465d578f5" . "a153125253698290e6e957edf6c3cb4f1cc3ac23") (collects #"ffi" #"unsafe.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
