("5.0.1.5" ("ba00e592fec4a8daae6b56db9fc2c27474e67c08" . "d7f1c0de88e4967b2e8c5b49b4b0a87a6e21cc78") (collects #"racket" #"base.rkt") (collects #"html" #"html.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
