("8.17" tarm64le ("770b2d872a3bf284111c790bd9b4c734534d62e2" . "b68327bfd8ffcff45dc1f8106fc5422fc969cb76") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"web-server" #"servlet-env.rkt") (collects #"web-server" #"servlet.rkt"))
