("7.2" racket ("af5f2a9c0baacfc07fd9fb419fcd2ce9af7d2c1a" . "2dc6f7bbb7b7a2463198e3d5e50c0cdee9cba8f1") (collects #"racket" #"contract" #"base.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"private" #"manual-style.rkt") (collects #"scribble" #"private" #"manual-utils.rkt") (collects #"scribble" #"struct.rkt"))
