Cmdliner: Deprecation warnings #2

File "bin/main.ml", line 74, characters 14-23:
74 |   let exits = exit_info ~doc:"on user error." 1 :: default_exits in
                   ^^^^^^^^^
Alert deprecated: Cmdliner.Term.exit_info
Use Cmd.Exit.info instead.
File "bin/main.ml", line 74, characters 51-64:
74 |   let exits = exit_info ~doc:"on user error." 1 :: default_exits in
                                                        ^^^^^^^^^^^^^
Alert deprecated: Cmdliner.Term.default_exits
Use Cmd.Exit.defaults or Cmd.info's defaults ~exits value instead.
File "bin/main.ml", line 75, characters 2-6:
75 |   exit @@ eval begin
       ^^^^
Alert deprecated: Cmdliner.Term.exit
Use Stdlib.exit and Cmd.eval instead.
File "bin/main.ml", line 75, characters 10-14:
75 |   exit @@ eval begin
               ^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "bin/main.ml", line 80, characters 4-8:
80 |     info ~doc:"Coq synthesizer" ~exits "coq_synth"
         ^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
    ocamlopt lib/coq_synth.cmxs
ld: warning: -undefined suppress is deprecated
ld: warning: -undefined suppress is deprecated
File "bin/main.ml", line 74, characters 14-23:
74 |   let exits = exit_info ~doc:"on user error." 1 :: default_exits in
                   ^^^^^^^^^
Alert deprecated: Cmdliner.Term.exit_info
Use Cmd.Exit.info instead.
File "bin/main.ml", line 74, characters 51-64:
74 |   let exits = exit_info ~doc:"on user error." 1 :: default_exits in
                                                        ^^^^^^^^^^^^^
Alert deprecated: Cmdliner.Term.default_exits
Use Cmd.Exit.defaults or Cmd.info's defaults ~exits value instead.
File "bin/main.ml", line 75, characters 2-6:
75 |   exit @@ eval begin
       ^^^^
Alert deprecated: Cmdliner.Term.exit
Use Stdlib.exit and Cmd.eval instead.
File "bin/main.ml", line 75, characters 10-14:
75 |   exit @@ eval begin
               ^^^^
Alert deprecated: Cmdliner.Term.eval
Use Cmd.v and one of Cmd.eval* instead.
File "bin/main.ml", line 80, characters 4-8:
80 |     info ~doc:"Coq synthesizer" ~exits "coq_synth"
         ^^^^
Alert deprecated: Cmdliner.Term.info
Use Cmd.info instead.
        opam (internal)
[WARNING] var was deprecated in version 2.1 of the opam CLI. Use opam var instead or set OPAMCLI environment variable to 2.0.