("5.0.1.5" ("1b281a379dca28cc0fdd28c79389a7b8b1577353" . "f63ddc932d6275cb4ad5cde0d235f7838be633f0") (collects #"syntax" #"module-reader.rkt") (collects #"scribble" #"reader.rkt") (collects #"scribble" #"base" #"reader.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
