("5.3.1" ("387d8cc030bffd8db6e09129dbd2bd11d0f88708" . "d02c5b4e1fde80e5416a1f66bf1c96c19cc14832") (collects #"racket" #"serialize.rkt") (collects #"srfi" #"14" #"char-set.rkt") (collects #"srfi" #"13" #"string.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
