("5.0.1.5" ("64da48c7b0058a3f6e6e5bad6feb5e5f7bc50af9" . "1a0032b06d737945871858633880f8b306692361") (collects #"scheme" #"main.rkt") (collects #"plai" #"datatype.rkt") (collects #"plai" #"test-harness.rkt") (collects #"plai" #"private" #"gc-core.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
