("8.17" ta6le ("7861a4541b0e668f397d21dd1a476eb7e14a566b" . "2992dc0e40ae2807f992203d8a04b577c8059a7b") (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"))
