("5.3.1" ("54bc8ac4504bfe1ae8e98dbaea88ff9b027f3cbc" . "725d34dc263b7786f12b851f8e6a067c1245ef37") (collects #"racket" #"file.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"date.rkt") (collects #"racket" #"tcp.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
