("5.0.1.5" ("66020774d01a7020cf70aa3c0dc312165a61058e" . "fdec8d64079a8d468cf699e1cf6876e5224f184b") (collects #"scheme" #"base.rkt") (collects #"lang" #"private" #"teach.rkt") (collects #"lang" #"private" #"teach-module-begin.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"syntax" #"docprovide.rkt") (collects #"test-engine" #"scheme-tests.rkt") (collects #"lang" #"htdp-intermediate.rkt"))
