("5.0.1.5" ("01e4065df0e321c4540c60d7a645881e17dfe4e2" . "ce9b0db0f771d78d5057e487ef019dd1f545d7e2") (collects #"scheme" #"base.rkt") (collects #"lang" #"private" #"firstorder.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"syntax" #"docprovide.rkt") (collects #"lang" #"private" #"teach.rkt") (collects #"lang" #"private" #"teach-module-begin.rkt") (collects #"test-engine" #"scheme-tests.rkt") (collects #"lang" #"private" #"beginner-funs.rkt"))
