("5.0.1.5" ("72c4122f7c0dc6dc76cc5d0e5066b707be5fcc6a" . "022a00009e65526a1a1058e482e77b4cafbad445") (collects #"scheme" #"base.rkt") (collects #"scribble" #"srcdoc.rkt") (collects #"scheme" #"class.rkt") (collects #"scheme" #"gui" #"base.rkt") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"file.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt") (collects #"scribble" #"reader.rkt"))
