("8.15" tarm32nb ("41512d89c95d3266b33603628420169d740a4a24" . "7c6f9dca002221e07ff87cb6e28d9effebad0c5e") (collects #"net" #"url.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"web-server" #"insta" #"insta.rkt") (collects #"web-server" #"insta" #"lang" #"reader.rkt"))
