("5.0.1.5" ("1dddb546b7f6032cee7a6f279da29ed0ece17818" . "0d8ae39c7a01c8303c6bc39dfdd06f596a9c408a") (collects #"scheme" #"private" #"provider" #"lang.rkt") (collects #"racket" #"cmdline.rkt") (collects #"scheme" #"private" #"provider" #"lang" #"reader.rkt"))
