("5.0.1.5" ("fae75edfc8cbbfd368ba0003b2ea77eb0d8027a3" . "da0e310bd7dc43a077ddb8abbf5c7cb028f39098") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"8" #"receive.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"contract.rkt"))
