("5.3.1" ("0fc719e578682ea5fd2faee3825442371e67013c" . "0392600a33c3da711a625e17c21669c1a6a59d62") (collects #"trace" #"stacktrace.rkt") (collects #"mzlib" #"unit.rkt") (collects #"mzlib" #"etc.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"list.rkt"))
