("5.3.1" ("bc758aa5b32f10e355a87e71bc3f5aae46505de5" . "3bbc661016aba720c9403a8b424d55d129bfa8f6") (collects #"racket" #"contract.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"async-channel.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
