("5.3.1" ("715b642513001740e0cc94437dfa18c0b1cdb8ef" . "21e68a9bdb95565be2f0b95e67b6dcca86f5cba5") (collects #"mzlib" #"unit.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"syntax" #"kerncase.rkt"))
