("7.2" racket ("ed02d6570c07436a8c0f455a6da2f8958d4ff378" . "1533e579b4780f213f9b7eec618a8ecd72cd113a") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"scribble" #"base" #"reader.rkt") (collects #"scribble" #"reader.rkt") (collects #"syntax" #"module-reader.rkt"))
