("5.3.1" ("a843dbdb955d993aec72d2a566911aae94ddbc4e" . "4faad7e1afbdb799d1c6031bf50c2292c7512ab8") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"base.rkt") (collects #"net" #"private" #"rbtree.rkt") (collects #"openssl" #"main.rkt") (collects #"racket" #"tcp.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
