("8.17" tarm64le ("d053024b381879cea3101e93df780eb53351e63d" . "09d9e74a3d4bc0578da59304dd4544d7b94b6b45") (collects #"2htdp" #"universe.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"realm" #"chapter13" #"client.rkt") (collects #"realm" #"chapter13" #"server.rkt"))
