("5.0.1.5" ("695034dcefc30189d7e5f222ebb7ca984afc8276" . "2ed637ff99c44b820be711e87f2065a3b5248433") (collects #"scheme" #"base.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
