("5.0.1.5" ("c146bbd4c1e73e200e308a0a3e32695f8001e28c" . "4a63bef022d596e0b5c83c91700abb69915deb8c") (collects #"scheme" #"main.rkt") (collects #"plai" #"datatype.rkt") (collects #"plai" #"test-harness.rkt") (collects #"web-server" #"servlet.rkt") (collects #"web-server" #"insta" #"insta.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
