("5.0.1.5" ("6770ea84dfa41ed3c9943c51eb7eae5da24a033f" . "1c396ad16c1634bd1a74109ec68a9233053f4c70") (collects #"scheme" #"main.rkt") (collects #"lang" #"private" #"teachprims.rkt") (collects #"lang" #"private" #"teach.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
