("5.3.1" ("2343cd62a805956b2cfe6924c2752e9ffde5fb77" . "4e9c2a71eec2b1c5a2db728667ac3e2f83a26251") (collects #"scheme" #"base.rkt") (collects #"scribble" #"reader.rkt") (collects #"syntax" #"module-reader.rkt"))
