("5.0.1.5" ("f8600b614515175b5a7bfa9fa6ab91709bfc6d63" . "4cb8263a1a36c199d0a295e482b52d2a7039c4be") (collects #"scheme" #"base.rkt") (collects #"slatex" #"slatex-wrapper.rkt") (collects #"scheme" #"cmdline.rkt"))
