let main () =
let args = OptParse.OptParser.parse_argv Options.options in
Boilerplate.enable_debug (OptParse.Opt.get Options.verbose);
Boilerplate.enable_bars (OptParse.Opt.get Options.progress)
["Depsolver_int.univcheck";"Depsolver_int.init_solver"] ;
Boilerplate.enable_timers (OptParse.Opt.get Options.timers) ["Solver"];
let checklist = OptParse.Opt.opt Options.checkonly in
let failure = OptParse.Opt.get Options.failure in
let explain = OptParse.Opt.get Options.explain in
let summary = OptParse.Opt.get Options.summary in
let dump = OptParse.Opt.get Options.dump in
let default_arch = OptParse.Opt.opt Options.architecture in
let packagelist = Debian.Packages.input_raw ~default_arch args in
ignore(outdated ~summary ~failure ~explain ~dump ~checklist packagelist)