("5.3.1" ("d18a82e715de4c9df785a27b4ad5791f5950359d" . "f1f404d34800f94452e3ed3ba7836ec8dcc3dae9") (collects #"scheme" #"serialize.rkt") (collects #"srfi" #"8" #"receive.rkt") (collects #"racket" #"main.rkt") (collects #"srfi" #"29.rkt") (collects #"srfi" #"optional.rkt") (collects #"racket" #"lang" #"reader.rkt"))
