("5.0.1.5" ("5708d9071b10979e51d70bd5af6bfdd317fe059b" . "b72330860391dea2e554ea91759b3acc9654a3a5") (collects #"eopl" #"eopl.rkt") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"main.rkt") (collects #"mzscheme" #"main.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"struct.rkt") (collects #"scheme" #"list.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
