("5.3.1" ("142b9318708b8110373882f1cd2fb930e2c217bd" . "be1f236ede9f7e787fa4ec9bfb688e434dcaaca6") (collects #"compiler" #"demodularizer" #"util.rkt") (collects #"unstable" #"struct.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"lang" #"reader.rkt"))
