("5.0.1.5" ("7eb4aacc4209fdbd68b4fb2928f193ba7936779a" . "519efa414e8a59451917ccb634932bf9cc37c11c") (collects #"scheme" #"base.rkt") (collects #"lang" #"private" #"teachprims.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"pretty.rkt") (collects #"syntax" #"docprovide.rkt") (collects #"scheme" #"promise.rkt") (collects #"scheme" #"port.rkt") (collects #"lang" #"posn.rkt"))
