("5.0.1.5" ("e1c01b220863bce5336b6bdfbb0d3ab2300d4308" . "60b9c94a44e77d2bdeb95ed48f56174f14ad8147") (collects #"scheme" #"main.rkt") (collects #"srfi" #"13.rkt") (collects #"plai" #"private" #"command-line.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
