("5.3.1" ("9bc93eaa02974c7d86ec2b6d48b0985604f71df2" . "2714e5349b3a6f7098d1adf6cfde36965d72c8a1") (collects #"config" #"main.rkt") (collects #"scheme" #"base.rkt") (collects #"setup" #"dirs.rkt") (collects #"scheme" #"promise.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
