("5.0.1.5" ("1ae4e078354150b521b2c870f4fce2441846ba51" . "c4763c33e72c0c23d88089f986c0a8427acb94c4") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"tex2page" #"tex2page.rkt") (collects #"mzlib" #"cmdline.rkt"))
