("5.0.1.5" ("0c8b3aed2a3ac7a4ff4ede02eac3110bdadcbcaa" . "d5a533d1c60f163e12cc3b3ce7254fb43f2e43c0") (collects #"scheme" #"base.rkt") (collects #"scheme" #"file.rkt") (collects #"scheme" #"path.rkt") (collects #"mzscheme" #"main.rkt"))
