("5.0.1.5" ("914f467aea8b66e7a615fc1af0596cfae85f0f7a" . "b711be84743788c5b9de4b03bc5cca2fbe8a7b62") (collects #"scheme" #"main.rkt") (collects #"scribblings" #"guide" #"death-list-5.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
