("8.14" racket ("7fbbf3de0ea50315719c694bade9d726f7ca8634" "bbf0ce64c226ba86c1baa957b35f044386e70328" . "1a771080f8df0dbabc1e11de2ad6fa7f1547b44f") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"intdef.rkt"))
