("5.0.1.5" ("14e2cfc1db1a12c5e04fa95e4d871f9c190da058" . "06770738b923fdf37d05edeff660d7f5e707f692") (collects #"racket" #"base.rkt") (collects #"syntax" #"modcode.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
