("5.0.1.5" ("a25d6cd102ff893601de183b1739977855638c40" . "66ae87310f0a6883b14975c0e3d4c8d5b5545fe3") (collects #"mrlib" #"switchable-button.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mrlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
