("8.15" tarm32nb ("d6e27ef4c54028b646afb939d70a05ef156f5ac0" . "136f676a1dbded95e69ed1d1cefdc95fd98bb1be") (collects #"at-exp" #"lang" #"reader.rkt") (collects #"lang" #"imageeq.rkt") (collects #"lang" #"posn.rkt") (collects #"lang" #"private" #"firstorder.rkt") (collects #"lang" #"private" #"provide-and-scribble.rkt") (collects #"lang" #"private" #"sl-eval.rkt") (collects #"lang" #"private" #"teach.rkt") (collects #"lang" #"private" #"teachprims.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"math.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"syntax.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"manual.rkt") (collects #"syntax" #"docprovide.rkt") (collects #"syntax" #"parse.rkt"))
