("5.3.1" ("c55c84b36e9def7c734603b8b6d7f5069c9704f2" . "5965202b3bcfe515e55c3d1ae714cf6c73723060") (collects #"racket" #"private" #"for.rkt") (collects #"racket" #"unsafe" #"ops.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
