("5.3.1" ("4b101669f924b0ec584960be51aa1538bef3ac46" . "dec5cc8e82e9977ce7eecdb4d335d06e13487d9b") (collects #"mzlib" #"etc.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"8" #"receive.rkt") (collects #"mzlib" #"contract.rkt"))
