("5.0.1.5" ("e23299087c0909d485886a79f2aeedf76a89a6bf" . "0876755263cb447a583a4204851de86bdc4e772d") (collects #"scheme" #"main.rkt") (collects #"scheme" #"unit.rkt") (collects #"mred" #"mred-sig.rkt") (collects #"mred" #"main.rkt") (collects #"frtime" #"animation" #"graphics-sig.rkt") (collects #"frtime" #"animation" #"graphics-unit.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
