("8.15" tarm32nb ("2adee43286d9b6d72cec7740efee2112919d1c7a" . "33b1fc0479b44f7072128486530ec0b06a7239c9") (collects #"deinprogramm" #"sdp" #"private" #"reader.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
