("5.3.1" ("e0e5a827f8b261b80c0dab4e6515d3c120d764c5" . "7adc85b36a9f2a9d03ee97db3f5ed1554ad86964") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"private" #"portlines.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"port.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
