("5.0.1.5" ("23c9e8b15c5ee28360e3abc21818cea9f18fc9b2" . "6429bd05925acb65717276dcffbcec9d8ba1e997") (collects #"scheme" #"mzscheme.rkt") (collects #"eopl" #"private" #"sllboth.rkt") (collects #"eopl" #"private" #"slldef.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"pretty.rkt") (collects #"scheme" #"mpair.rkt") (collects #"eopl" #"datatype.rkt") (collects #"mzlib" #"etc.rkt"))
