("5.3.1" ("ca87245b84f97f7df4c59c504877bf00e0a25623" . "a72b87a30d12a677ea1ff0f5a0082912aac9751d") (collects #"racket" #"unit.rkt") (collects #"racket" #"base.rkt") (collects #"net" #"pop3-sig.rkt") (collects #"net" #"pop3.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
