("6.5" ("7360cb02a0adae14cc47e765dd71ed5134274ab7" . "6c9a1f7f91c2ab9d51ec5b6b0ed18d0f89d43aa2") (collects #"lang" #"private" #"firstorder.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt"))
