("5.3.1" ("0d1021799a09d153409c4618aff3af8d7997daf0" . "81590aef8b64b6d23ec71bfb6e41c713384990ce") (collects #"racket" #"unit.rkt") (collects #"net" #"cookie-sig.rkt") (collects #"racket" #"base.rkt") (collects #"net" #"cookie.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
