("5.3.1" ("a3754c8e834374b64fdb1a0bddeab8016f4979a3" . "d989d9c4a2e3b8d21cdb502299c16a3d7d632161") (collects #"racket" #"private" #"reverse.rkt") (collects #"racket" #"private" #"pre-base.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt") (collects #"racket" #"private" #"sort.rkt"))
