("5.0.1.5" ("bbc3532b8f1e7cbff15045a493bcc910df631dd9" . "c6f1e2c32a584b884859bd90e2a2f9852b1bb701") (collects #"racket" #"main.rkt") (collects #"rackunit" #"text-ui.rkt") (collects #"racket" #"lang" #"reader.rkt"))
