("5.3.1" ("daf995c2b167063dc7dfe52abca561d1a9c20617" . "a1e7acbfcd8320cf72d655b4d314df3fedc20039") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"base.rkt") (collects #"db" #"base.rkt") (collects #"db" #"private" #"sqlite3" #"main.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
