("5.3.1" ("77a6c0afbaebf56e710896fadbec8ba3c225fc96" . "d24b56405420dc5eb98223b09bb5be76801c6054") (collects #"srfi" #"69" #"hash.rkt") (collects #"srfi" #"provider.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
