("5.0.1.5" ("8bfab7027f7df92e7e0cb8c9d72ee4284959b0f2" . "047f8b9f864e0f4b4b49a4c023f2fb6abee47104") (collects #"scheme" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"private" #"provide-structs.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scheme" #"provide-syntax.rkt") (collects #"scheme" #"struct-info.rkt") (collects #"scheme" #"contract.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
