(documentation
  (package alt-ergo)
  (mld_files :standard)
)

(documentation
  (package altgr-ergo)
  (mld_files :standard)
)

(library
 (name        alt_ergo_common)
 (libraries   alt-ergo-lib alt-ergo-parsers stdlib-shims cmdliner)
 (modules     Parse_command Input_frontend Signals_profiling Solving_loop)
)
