("5.3.1" ("dbeec2dce4f51ca7d37e810ae0416062ad2df9c8" . "a017fccc6ac683858bc113da8fce45a06275152e") (collects #"html" #"sgml-reader.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
