("8.17" tarm64le ("7861a4541b0e668f397d21dd1a476eb7e14a566b" . "6ad2ff95fbe349cfd750ff94f98c5d463edbeaeb") (collects #"htdp" #"error.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzscheme" #"main.rkt") (collects #"scheme" #"contract.rkt") (collects #"web-server" #"servlet-env.rkt") (collects #"web-server" #"servlet.rkt") (collects #"xml" #"main.rkt"))
