("5.0.1.5" ("504d90e5f67aae45bbda9173ea3ec4825949dee2" . "91bce27b7b088d22f59937a8292de90c032820e2") (collects #"mrlib" #"bitmap-label.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mrlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
