("5.3.1" ("770b2d872a3bf284111c790bd9b4c734534d62e2" . "f99d3515b8343ee63686525d9e33b6b0e1060d81") (collects #"web-server" #"servlet.rkt") (collects #"web-server" #"servlet-env.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"lang" #"reader.rkt"))
