("5.3.1" ("b92fec2951b5afe944e4e944e112c4d88981da86" . "159938f5fc6f70ab0b2691b3d778e69ca9ec3e7c") (collects #"racket" #"base.rkt") (collects #"rackunit" #"docs-complete.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
