("5.0.1.5" ("1ee1554c7094a67f4fc60be9003a9cf4cc577107" . "d52ca8ffd61032b6d1db2d90ba10fc9f0e5ac1fa") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"scribble" #"core.rkt") (collects #"mzlib" #"class.rkt"))
