("8.17" tarm64le ("998eebb494dfa179f0f4ad0499a79c32055ec89a" . "7474d9d16400a25f37220d994229697875e31bee") (collects #"deinprogramm" #"sdp" #"beginner.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"reader.rkt") (collects #"scribblings" #"htdp-langs" #"common.rkt"))
