("5.0.1.5" ("d5a2769dfcd867ddef0adb72d42d7f5d82f51400" . "525f8d20cf5e698cf0eee7d4685702dd712021fd") (collects #"racket" #"main.rkt") (collects #"unstable" #"list.rkt") (collects #"unstable" #"contract.rkt") (collects #"racket" #"lang" #"reader.rkt"))
