2026-06-23 18:55.26: New job: build why3-coq.1.4.0 (fb74ee3a9c3a)
2026-06-23 18:55.26: Waiting for resource in pool day11-builds
2026-06-23 19:58.12: Got resource from pool day11-builds
2026-06-23 19:58.12: [profile full] build why3-coq.1.4.0
2026-06-23 19:58.12: build why3-coq.1.4.0 (fb74ee3a9c3a)
=== DEPENDENCIES (20 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  conf-autoconf.0.2                                  b3cd190cf0b5
  conf-findutils.1                                   a943cdd45084
  conf-gmp.5                                         61e3c79e0ddf
  conf-pkg-config.5                                  4b60827fc174
  coq.8.13.2                                         14bdec21ef04
  dune.3.23.1                                        5402470d931c
  menhir.20260209                                    949a55ecfabe
  menhirCST.20260209                                 2f7f161ea867
  menhirGLR.20260209                                 88b9413f2126
  menhirLib.20260209                                 33c89da356e0
  menhirSdk.20260209                                 3e7d50160069
  num.1.6                                            480227ca99db
  ocaml.4.14.4                                       cb826ea44eb2
  ocaml-base-compiler.4.14.4                         d2f775f983d7
  ocaml-config.2                                     669e0fcf9e4d
  ocamlfind.1.9.8                                    6025f4a8e98e
  why3.1.4.0                                         18aaa4db33b9
  zarith.1.14                                        da8b932acb94
=== STDOUT ===
Processing: [default: loading data]
[why3-coq.1.4.0: extract]
-> retrieved why3-coq.1.4.0  (cached)
[why3-coq: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/why3-coq.1.4.0/./configure "--prefix" "/home/opam/.opam/default" "--disable-why3-lib" "--disable-frama-c" "--disable-ide" "--disable-js-of-ocaml" (CWD=/home/opam/.opam/default/.opam-switch/build/why3-coq.1.4.0)
- checking executable suffix... <none>
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables... 
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking for gcc option to accept ISO C99... none needed
- checking for gcc option to accept ISO Standard C... (cached) none needed
- checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
- checking for a BSD-compatible install... /usr/bin/install -c
- checking for ocamlc... ocamlc
- ocaml version is 4.14.4
- ocaml library path is /home/opam/.opam/default/lib/ocaml
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamldep.opt... ocamldep.opt
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for ocamlyacc... ocamlyacc
- checking for ocamldoc... ocamldoc
- checking for ocamldoc.opt... ocamldoc.opt
- checking for menhir... menhir
- checking for ocamlfind... ocamlfind
- checking For Why3... /home/opam/.opam/default/lib/why3
- ocamlfind found compiler-libs in /home/opam/.opam/default/lib/ocaml/compiler-libs
- checking for sphinx-build... no
- configure: WARNING: Cannot find sphinx-build, Documentation disabled.
- checking for emacs... no
- configure: WARNING: Cannot find emacs, compilation of why3.elc disabled.
- ocamlfind found num in /home/opam/.opam/default/lib/num
- checking for /home/opam/.opam/default/lib/num/nums.cma... yes
- checking for /home/opam/.opam/default/lib/num/num.cmi... yes
- ocamlfind found zarith in /home/opam/.opam/default/lib/zarith
- checking for /home/opam/.opam/default/lib/zarith/z.cmi... yes
- ocamlfind: Package `zip' not found
- ocamlfind found camlzip in 
- checking for /home/opam/.opam/default/lib/ocaml/zip/zip.cma... no
- checking for /home/opam/.opam/default/lib/ocaml/zip/zip.cmi... no
- configure: WARNING: Lib camlzip not found, sessions files will not be compressed.
- ocamlfind found menhirLib in /home/opam/.opam/default/lib/menhirLib
- checking for /home/opam/.opam/default/lib/menhirLib/menhirLib.cmi... yes
- ocamlfind: Package `seq' not found
- checking for /home/opam/.opam/default/lib/ocaml/stdlib__seq.cmi... no
- configure: WARNING: Library seq not found.
- ocamlfind: Package `ocamlgraph' not found
- checking for /home/opam/.opam/default/lib/ocaml/ocamlgraph/graph.cma... no
- checking for /home/opam/.opam/default/lib/ocaml/ocamlgraph/graph.cmi... no
- configure: WARNING: Lib ocamlgraph not found, hypothesis selection disabled.
- ocamlfind: Package `mlmpfr' not found
- ocamlfind: Package `ppx_sexp_conv' not found
- checking for coqc... coqc
- checking Coq version... 8.13.2
- checking for coqdep... coqdep
- checking for Flocq... File "./conftest.v", line 1, characters 15-28:
- Error: Cannot find a physical path bound to logical path matching suffix
- Flocq.
- 
- no
- configure: WARNING: Cannot find Flocq.
- checking for pvs... no
- configure: WARNING: Cannot find pvs.
- checking for isabelle... no
- configure: WARNING: Cannot find isabelle.
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating src/config.sh
- config.status: creating lib/why3/META
- config.status: creating .merlin
- config.status: creating src/jessie/Makefile
- config.status: creating src/jessie/.merlin
- config.status: creating lib/coq/version
- config.status: creating lib/pvs/version
- config.status: executing chmod commands
- 
-                  Summary
- -----------------------------------------
- Verbose make                : no
- OCaml compiler              : yes
-     Version                 : 4.14.4
-     Library path            : /home/opam/.opam/default/lib/ocaml
-     Ocamlfind               : yes
-     Native compilation      : yes
-     Profiling               : no
-     Memory profiling        : no (disabled by default)
-     PPX                     : yes
-     S-expr for why3pp       : no (requires ppx_sexp_conv)
-     Javascript support      : no (disabled by user)
-     Mpfr support            : no (mlmpfr not found)
-     Re support              : no (seq not found)
- Components
-     Why3 library            : no
-     GTK IDE                 : no (disabled by user)
-     Web IDE                 : no (Javascript support not available)
-     GMP arithmetic          : yes
-     Compressed sessions     : no (camlzip not found)
-     Hypothesis selection    : no (ocamlgraph not found)
-     Invariant inference(exp): no (disabled by default)
-     Frama-C support         : no
- Documentation               : no (sphinx-build not found)
- Support for interactive proof assistants
-     Coq                     : yes
-         Version             : 8.13.2
-         Library path        : /home/opam/.opam/default/lib/coq
-         Realization support : yes
-             FP arithmetic   : no (Flocq >= 3.1 not found)
-     PVS                     : no (pvs not found)
-     Isabelle                : no (isabelle not found)
- Installable                 : yes
-     Binary path             : ${exec_prefix}/bin
-     Library path            : ${exec_prefix}/lib/why3
-     Data path               : ${prefix}/share/why3
-     OCaml library path      : /home/opam/.opam/default/lib/why3
-     Relocatable             : no
[why3-coq: make coq]
+ /usr/bin/make "-j39" "coq" (CWD=/home/opam/.opam/default/.opam-switch/build/why3-coq.1.4.0)
- Ocamldep src/trywhy3/why3_worker.ml
- Ocamldep src/trywhy3/worker_proto.ml
- Ocamldep src/trywhy3/trywhy3.ml
- Ocamldep src/trywhy3/shortener.ml
- Ocamllex src/why3doc/doc_lexer.mll
- Ocamldep src/trywhy3/bindings.ml
- Ocamldep src/trywhy3/alt_ergo_worker.ml
- cp src/tools/why3pp_sexp-dummy.ml src/tools/why3pp_sexp.ml
- Coqdep   lib/coq/for_drivers/ComputerOfEuclideanDivision.v
- Ocamldep src/isabelle-client/isabelle_client_main.ml
- Coqdep   lib/coq/bv/BV_Gen.v
- Coqdep   lib/coq/bv/Pow2int.v
- Coqdep   lib/coq/option/Option.v
- Coqdep   lib/coq/list/NumOcc.v
- Coqdep   lib/coq/list/Permut.v
- Coqdep   lib/coq/list/Distinct.v
- Coqdep   lib/coq/list/Combine.v
- Coqdep   lib/coq/list/RevAppend.v
- Coqdep   lib/coq/list/NthNoOpt.v
- 125 states, 1119 transitions, table size 5226 bytes
- 1793 additional bytes used for bindings
- Coqdep   lib/coq/list/HdTlNoOpt.v
- Coqdep   lib/coq/list/Reverse.v
- Coqdep   lib/coq/list/NthLengthAppend.v
- Coqdep   lib/coq/list/Append.v
- Coqdep   lib/coq/list/NthHdTl.v
- Coqdep   lib/coq/list/HdTl.v
- Coqdep   lib/coq/list/NthLength.v
- Coqdep   lib/coq/list/Nth.v
- Coqdep   lib/coq/list/Length.v
- Coqdep   lib/coq/list/Mem.v
- Coqdep   lib/coq/map/MapInjection.v
- Coqdep   lib/coq/list/List.v
- Coqdep   lib/coq/map/MapPermut.v
- Coqdep   lib/coq/map/Occ.v
- Coqdep   lib/coq/map/Const.v
- Coqdep   lib/coq/map/Map.v
- Coqdep   lib/coq/set/SetImpInt.v
- Coqdep   lib/coq/set/SetImp.v
- Coqdep   lib/coq/set/SetAppInt.v
- Coqdep   lib/coq/set/SetApp.v
- Coqdep   lib/coq/set/FsetSum.v
- Coqdep   lib/coq/set/FsetInt.v
- Coqdep   lib/coq/set/FsetInduction.v
- Coqdep   lib/coq/set/Fset.v
- Coqdep   lib/coq/set/Cardinal.v
- Coqdep   lib/coq/number/Coprime.v
- Coqdep   lib/coq/set/Set.v
- Coqdep   lib/coq/number/Prime.v
- Coqdep   lib/coq/number/Parity.v
- Coqdep   lib/coq/number/Gcd.v
- Coqdep   lib/coq/number/Divisibility.v
- Coqdep   lib/coq/real/Trigonometry.v
- Coqdep   lib/coq/real/Square.v
- Coqdep   lib/coq/real/RealInfix.v
- Coqdep   lib/coq/real/Real.v
- Coqdep   lib/coq/real/PowerReal.v
- Coqdep   lib/coq/real/PowerInt.v
- Coqdep   lib/coq/real/MinMax.v
- Coqdep   lib/coq/real/FromInt.v
- Coqdep   lib/coq/real/ExpLog.v
- Coqdep   lib/coq/real/Abs.v
- Coqdep   lib/coq/bool/Bool.v
- Coqdep   lib/coq/int/NumOf.v
- Coqdep   lib/coq/int/Power.v
- Coqdep   lib/coq/int/MinMax.v
- Coqdep   lib/coq/int/Int.v
- Coqdep   lib/coq/int/Div2.v
- Coqdep   lib/coq/int/EuclideanDivision.v
- Coqdep   lib/coq/int/ComputerDivision.v
- Coqdep   lib/coq/int/Abs.v
- Coqdep   lib/coq/int/Exponentiation.v
- Coqdep   lib/coq/BuiltIn.v
- Coqdep   lib/coq/HighOrd.v
- Ocamldep src/why3session/why3session_update.ml
- Ocamldep src/why3session/why3session_main.ml
- Ocamldep src/why3session/why3session_latex.ml
- Ocamldep src/why3session/why3session_html.ml
- Ocamldep src/tools/why3shell.ml
- Ocamldep src/why3session/why3session_info.ml
- Ocamldep src/ide/why3web.ml
- Ocamldep src/why3session/why3session_lib.ml
- Ocamldep src/ide/wserver.ml
- Ocamllex src/tools/why3wc.mll
- Ocamllex plugins/tptp/tptp_lexer.mll
- Menhir plugins/tptp/tptp_parser.mly
- Ocamllex plugins/python/py_lexer.mll
- Menhir plugins/python/py_parser.mly
- Ocamllex plugins/microc/mc_lexer.mll
- Menhir plugins/microc/mc_parser.mly
- Ocamllex plugins/cfg/cfg_lexer.mll
- 56 states, 651 transitions, table size 2940 bytes
- 1375 additional bytes used for bindings
- Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly
- Ocamllex plugins/parser/dimacs.mll
- Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly
- 77 states, 473 transitions, table size 2354 bytes
- 1504 additional bytes used for bindings
- 101 states, 1563 transitions, table size 6858 bytes
- 3126 additional bytes used for bindings
- Ocamllex src/util/rc.mll
- Generate src/util/config.ml
- Ocamllex src/util/lexlib.mll
- cp src/util/mysexplib-dummy.ml src/util/mysexplib.ml
- 34 states, 434 transitions, table size 1940 bytes
- 1293 additional bytes used for bindings
- Ocamllex src/util/json_lexer.mll
- cp src/util/mlmpfr_dummy.ml src/util/mlmpfr_wrapper.ml
- 39 states, 600 transitions, table size 2634 bytes
- 1338 additional bytes used for bindings
- 48 states, 1889 transitions, table size 7844 bytes
- 3073 additional bytes used for bindings
- cp src/util/dynlink_new.ml src/util/dynlink_wrapper.ml
- Ocamllex src/parser/lexer.mll
- Menhir src/parser/parser_common.mly src/parser/parser.mly
- 52 states, 495 transitions, table size 2292 bytes
- Menhir src/util/json_parser.mly
- Menhir src/parser/parser_common.mly src/parser/parser.mly
- Menhir src/driver/driver_parser.mly
- Ocamllex src/driver/driver_lexer.mll
- 155 states, 4342 transitions, table size 18298 bytes
- 7537 additional bytes used for bindings
- cp src/session/compress_none.ml src/session/compress.ml
- Ocamllex src/driver/sexp.mll
- 34 states, 1366 transitions, table size 5668 bytes
- Ocamllex src/session/xml.mll
- Ocamllex src/session/strategy_parser.mll
- 27 states, 306 transitions, table size 1386 bytes
- cp src/util/recompat.ml src/util/re.ml
- 43 states, 639 transitions, table size 2814 bytes
- 1799 additional bytes used for bindings
- 117 states, 1396 transitions, table size 6286 bytes
- 3556 additional bytes used for bindings
- Ocamldep src/why3doc/doc_main.ml
- Ocamldep src/why3doc/doc_lexer.ml
- Ocamldep src/why3doc/doc_def.ml
- Ocamldep src/why3doc/doc_html.ml
- Ocamldep src/tools/why3pp.ml
- Ocamldep src/tools/why3pp_sexp.ml
- 158 states, 4359 transitions, table size 18384 bytes
- 7555 additional bytes used for bindings
- 307 states, 15627 transitions, table size 64350 bytes
- Read 3 sample input sentences and 3 error messages.
- menhir --explain --strict src/parser/parser_common.mly src/parser/parser.mly --base src/parser/parser --compile-errors \
- 	src/parser/handcrafted.messages > src/parser/parser_messages.ml
- Read 3 sample input sentences and 3 error messages.
- Ocamldep src/tools/why3wc.ml
- Ocamldep src/tools/why3replay.ml
- Ocamldep src/tools/why3realize.ml
- Ocamldep src/tools/why3extract.ml
- Ocamldep src/tools/why3prove.ml
- Ocamldep src/tools/why3execute.ml
- Ocamldep src/tools/main.ml
- Ocamldep src/tools/why3config.ml
- Ocamldep plugins/cfg/cfg_main.ml
- Ocamldep plugins/cfg/cfg_lexer.ml
- Ocamldep plugins/cfg/cfg_tokens.ml
- Ocamldep plugins/microc/mc_main.ml
- Ocamldep plugins/cfg/cfg_ast.ml
- Ocamldep plugins/microc/mc_lexer.ml
- Ocamldep plugins/microc/mc_printer.ml
- Ocamldep plugins/cfg/cfg_parser.ml
- Ocamldep plugins/microc/mc_parser.ml
- Ocamldep plugins/microc/mc_ast.ml
- Ocamldep plugins/python/py_main.ml
- Ocamldep plugins/python/py_lexer.ml
- Ocamldep plugins/python/py_parser.ml
- Ocamldep plugins/python/py_ast.ml
- Ocamldep plugins/tptp/tptp_lexer.ml
- Ocamldep plugins/tptp/tptp_typing.ml
- Ocamldep plugins/tptp/tptp_printer.ml
- Ocamldep plugins/tptp/tptp_parser.ml
- Ocamldep plugins/tptp/tptp_ast.ml
- Ocamldep plugins/parser/dimacs.ml
- Ocamldep src/session/json_util.ml
- Ocamldep plugins/parser/genequlin.ml
- Ocamldep src/session/unix_scheduler.ml
- Ocamldep src/session/itp_server.ml
- Ocamldep src/session/itp_communication.ml
- Ocamldep src/session/server_utils.ml
- Ocamldep src/session/controller_itp.ml
- Ocamldep src/session/strategy_parser.ml
- Ocamldep src/session/strategy.ml
- Ocamldep src/session/session_itp.ml
- Ocamldep src/session/termcode.ml
- Ocamldep src/session/xml.ml
- Ocamldep src/session/compress.ml
- Ocamldep src/printer/mathematica.ml
- Ocamldep src/printer/cvc3.ml
- Ocamldep src/printer/yices.ml
- Ocamldep src/printer/gappa.ml
- Ocamldep src/printer/simplify.ml
- Ocamldep src/printer/isabelle.ml
- Ocamldep src/printer/pvs.ml
- Ocamldep src/printer/coq.ml
- Ocamldep src/printer/smtv2.ml
- Ocamldep src/printer/smtv1.ml
- Ocamldep src/printer/why3printer.ml
- Ocamldep src/printer/alt_ergo.ml
- Ocamldep src/transform/matching.ml
- Ocamldep src/printer/cntexmp_printer.ml
- Ocamldep src/transform/reflection.ml
- Ocamldep src/transform/induction_pr.ml
- Ocamldep src/transform/induction.ml
- Ocamldep src/transform/prepare_for_counterexmp.ml
- Ocamldep src/transform/intro_vc_vars_counterexmp.ml
- Ocamldep src/transform/congruence.ml
- Ocamldep src/transform/cut.ml
- Ocamldep src/transform/subst.ml
- Ocamldep src/transform/ind_itp.ml
- Ocamldep src/transform/introduction.ml
- Ocamldep src/transform/destruct.ml
- Ocamldep src/transform/apply.ml
- Ocamldep src/transform/case.ml
- Ocamldep src/transform/generic_arg_trans_utils.ml
- Ocamldep src/transform/eliminate_literal.ml
- Ocamldep src/transform/smoke_detector.ml
- Ocamldep src/transform/prop_curry.ml
- Ocamldep src/transform/instantiate_predicate.ml
- Ocamldep src/transform/intro_projections_counterexmp.ml
- Ocamldep src/transform/close_epsilon.ml
- Ocamldep src/transform/eliminate_epsilon.ml
- Ocamldep src/transform/abstraction.ml
- Ocamldep src/transform/filter_trigger.ml
- Ocamldep src/transform/simplify_array.ml
- Ocamldep src/transform/lift_epsilon.ml
- Ocamldep src/transform/encoding_sort.ml
- Ocamldep src/transform/encoding_twin.ml
- Ocamldep src/transform/encoding_tags.ml
- Ocamldep src/transform/encoding_guards.ml
- Ocamldep src/transform/encoding_tags_full.ml
- Ocamldep src/transform/encoding_guards_full.ml
- Ocamldep src/transform/encoding_select.ml
- Ocamldep src/transform/encoding.ml
- Ocamldep src/transform/libencoding.ml
- Ocamldep src/transform/discriminate.ml
- Ocamldep src/transform/eliminate_if.ml
- Ocamldep src/transform/eliminate_let.ml
- Ocamldep src/transform/eliminate_inductive.ml
- Ocamldep src/transform/eliminate_symbol.ml
- Ocamldep src/transform/eliminate_unknown_lsymbols.ml
- Ocamldep src/transform/eliminate_unknown_types.ml
- Ocamldep src/transform/abstract_quantifiers.ml
- Ocamldep src/transform/eliminate_algebraic.ml
- Ocamldep src/transform/compute.ml
- Ocamldep src/transform/eliminate_definition.ml
- Ocamldep src/transform/detect_polymorphism.ml
- Ocamldep src/transform/args_wrapper.ml
- Ocamldep src/transform/reduction_engine.ml
- Ocamldep src/transform/split_goal.ml
- Ocamldep src/transform/inlining.ml
- Ocamldep src/transform/simplify_formula.ml
- Ocamldep src/parser/mlw_printer.ml
- Ocamldep src/parser/report.ml
- Ocamldep src/parser/lexer.ml
- Ocamldep src/parser/parser_messages.ml
- Ocamldep src/parser/parser.ml
- Ocamldep src/parser/glob.ml
- Ocamldep src/parser/typing.ml
- Ocamldep src/parser/ptree_helpers.ml
- Ocamldep src/parser/ptree.ml
- Ocamldep src/extract/cakeml.ml
- Ocamldep src/extract/ocaml.ml
- Ocamldep src/extract/c.ml
- Ocamldep src/extract/ml_printer.ml
- Ocamldep src/extract/pdriver.ml
- Ocamldep src/extract/mlinterp.ml
- Ocamldep src/extract/mltree.ml
- Ocamldep src/mlw/counterexample.ml
- Ocamldep src/extract/compile.ml
- Ocamldep src/mlw/pinterp.ml
- Ocamldep src/mlw/big_real.ml
- Ocamldep src/mlw/eval_match.ml
- Ocamldep src/mlw/typeinv.ml
- Ocamldep src/mlw/pmodule.ml
- Ocamldep src/mlw/dexpr.ml
- Ocamldep src/mlw/vc.ml
- Ocamldep src/mlw/pdecl.ml
- Ocamldep src/mlw/ity.ml
- Ocamldep src/mlw/expr.ml
- Ocamldep src/driver/smtv2_model_parser.ml
- Ocamldep src/driver/sexp.ml
- Ocamldep src/driver/collect_data_model.ml
- Ocamldep src/driver/smtv2_model_defs.ml
- Ocamldep src/driver/autodetection.ml
- Ocamldep src/driver/driver.ml
- Ocamldep src/driver/whyconf.ml
- Ocamldep src/driver/driver_lexer.ml
- Ocamldep src/driver/driver_parser.ml
- Ocamldep src/driver/driver_ast.ml
- Ocamldep src/driver/prove_client.ml
- Ocamldep src/driver/call_provers.ml
- Ocamldep src/core/model_parser.ml
- Ocamldep src/core/trans.ml
- Ocamldep src/core/env.ml
- Ocamldep src/core/dterm.ml
- Ocamldep src/core/pretty.ml
- Ocamldep src/core/printer.ml
- Ocamldep src/core/task.ml
- Ocamldep src/core/theory.ml
- Ocamldep src/core/coercion.ml
- Ocamldep src/core/decl.ml
- Ocamldep src/core/pattern.ml
- Ocamldep src/core/term.ml
- Ocamldep src/core/ty.ml
- Ocamldep src/util/re.ml
- Ocamldep src/core/ident.ml
- Ocamldep src/util/pqueue.ml
- Ocamldep src/util/constant.ml
- Ocamldep src/util/vector.ml
- Ocamldep src/util/bigInt.ml
- Ocamldep src/util/plugin.ml
- Ocamldep src/util/number.ml
- Ocamldep src/util/rc.ml
- Ocamldep src/util/warning.ml
- Ocamldep src/util/sysutil.ml
- Ocamldep src/util/cmdline.ml
- Ocamldep src/util/dynlink_wrapper.ml
- Ocamldep src/util/debug.ml
- Ocamldep src/util/lexlib.ml
- Ocamldep src/util/print_tree.ml
- Ocamldep src/util/loc.ml
- Ocamldep src/util/json_lexer.ml
- Ocamldep src/util/json_base.ml
- Ocamldep src/util/json_parser.ml
- Ocamldep src/util/exn_printer.ml
- Ocamldep src/util/getopt.ml
- Ocamldep src/util/wstdlib.ml
- Ocamldep src/util/hashcons.ml
- Ocamldep src/util/diffmap.ml
- Ocamldep src/util/weakhtbl.ml
- Ocamldep src/util/exthtbl.ml
- Ocamldep src/util/extset.ml
- Ocamldep src/util/extmap.ml
- Ocamldep src/util/strings.ml
- Ocamldep src/util/lists.ml
- Ocamldep src/util/pp.ml
- Ocamldep src/util/opt.ml
- Ocamldep src/util/util.ml
- Ocamldep src/util/mlmpfr_wrapper.ml
- Ocamldep src/util/config.ml
- Ocamldep src/util/mysexplib.ml
- Coqc     lib/coq/BuiltIn.v
- Generate drivers/coq-realizations.aux
- Coqc     lib/coq/HighOrd.v
- Coqc     lib/coq/int/Int.v
- Coqc     lib/coq/bool/Bool.v
- Coqc     lib/coq/real/Real.v
- Coqc     lib/coq/list/List.v
- Coqc     lib/coq/option/Option.v
- Coqc     lib/coq/int/Exponentiation.v
- Coqc     lib/coq/int/Abs.v
- Coqc     lib/coq/int/MinMax.v
- Coqc     lib/coq/bv/Pow2int.v
- Coqc     lib/coq/int/NumOf.v
- Coqc     lib/coq/map/Map.v
- Coqc     lib/coq/list/Length.v
- Coqc     lib/coq/list/Mem.v
- Coqc     lib/coq/list/HdTlNoOpt.v
- Coqc     lib/coq/list/NthNoOpt.v
- Coqc     lib/coq/list/Combine.v
- Coqc     lib/coq/list/Nth.v
- Coqc     lib/coq/list/HdTl.v
- Coqc     lib/coq/real/Abs.v
- Coqc     lib/coq/real/ExpLog.v
- Coqc     lib/coq/real/FromInt.v
- Coqc     lib/coq/real/MinMax.v
- Coqc     lib/coq/real/RealInfix.v
- Coqc     lib/coq/real/Square.v
- File "./lib/coq/int/Abs.v", line 43, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 53, characters 2-35:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/MinMax.v", line 31, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 56, characters 2-28:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/MinMax.v", line 47, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/int/ComputerDivision.v
- Coqc     lib/coq/int/EuclideanDivision.v
- File "./lib/coq/list/Length.v", line 57, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/Exponentiation.v", line 72, characters 0-15:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/list/Append.v
- Coqc     lib/coq/map/Const.v
- Coqc     lib/coq/map/Occ.v
- File "./lib/coq/int/NumOf.v", line 83, characters 2-52:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 86, characters 2-15:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 88, characters 2-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/int/Power.v
- Coqc     lib/coq/list/NthLength.v
- Coqc     lib/coq/list/NthHdTl.v
- Coqc     lib/coq/real/PowerInt.v
- File "./lib/coq/int/NumOf.v", line 104, characters 2-52:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 113, characters 2-23:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 114, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 121, characters 2-42:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 133, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 144, characters 2-52:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 158, characters 2-52:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 176, characters 2-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 177, characters 2-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 180, characters 2-47:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 200, characters 2-59:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 201, characters 2-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 204, characters 2-47:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 218, characters 2-40:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 219, characters 2-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 221, characters 2-17:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/NthHdTl.v", line 36, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 232, characters 2-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 250, characters 0-40:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 263, characters 0-40:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 278, characters 2-76:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/set/Set.v
- File "./lib/coq/int/NumOf.v", line 282, characters 2-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 283, characters 2-52:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 284, characters 2-62:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/real/Trigonometry.v
- File "./lib/coq/int/NumOf.v", line 309, characters 2-51:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 310, characters 2-61:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/NumOf.v", line 316, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/NthLength.v", line 38, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/NthLength.v", line 60, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/NthLength.v", line 63, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/NthLength.v", line 76, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/NthLength.v", line 85, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 38, characters 0-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/ComputerDivision.v", line 50, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 42, characters 0-43:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/ComputerDivision.v", line 62, characters 0-25:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/ComputerDivision.v", line 65, characters 0-25:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/EuclideanDivision.v", line 54, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/ComputerDivision.v", line 85, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/ComputerDivision.v", line 114, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/Power.v", line 60, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/EuclideanDivision.v", line 57, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/real/PowerReal.v
- File "./lib/coq/map/Occ.v", line 73, characters 0-33:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 74, characters 0-20:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 81, characters 0-24:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Set.v", line 44, characters 0-16:
- Warning: Adding and removing hints in the core database implicitly is
- deprecated. Please specify a hint database.
- [implicit-core-hint-db,deprecated]
- File "./lib/coq/set/Set.v", line 44, characters 0-16:
- Warning: The default value for hint locality is currently "local" in a
- section and "global" otherwise, but is scheduled to change in a future
- release. For the time being, adding hints outside of sections without
- specifying an explicit locality is therefore deprecated. It is recommended to
- use "export" whenever possible. [deprecated-hint-without-locality,deprecated]
- File "./lib/coq/map/Occ.v", line 91, characters 0-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/list/NthLengthAppend.v
- Coqc     lib/coq/list/Reverse.v
- Coqc     lib/coq/list/Distinct.v
- File "./lib/coq/real/PowerInt.v", line 67, characters 0-15:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/real/PowerInt.v", line 68, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/EuclideanDivision.v", line 66, characters 0-31:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/EuclideanDivision.v", line 70, characters 0-80:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/real/PowerInt.v", line 132, characters 0-40:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 151, characters 20-29:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/real/PowerInt.v", line 135, characters 0-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 153, characters 41-50:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/real/PowerInt.v", line 138, characters 0-18:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 155, characters 0-41:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/EuclideanDivision.v", line 76, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 156, characters 0-29:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 161, characters 0-15:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/EuclideanDivision.v", line 81, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 163, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 164, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/EuclideanDivision.v", line 99, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 169, characters 0-15:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 171, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 172, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/EuclideanDivision.v", line 137, characters 0-40:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/number/Parity.v
- File "./lib/coq/map/Occ.v", line 186, characters 22-31:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 189, characters 43-52:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 191, characters 0-41:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 194, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 200, characters 0-15:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 202, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 202, characters 7-13:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 205, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 212, characters 0-15:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/bv/BV_Gen.v
- Coqc     lib/coq/int/Div2.v
- Coqc     lib/coq/for_drivers/ComputerOfEuclideanDivision.v
- File "./lib/coq/map/Occ.v", line 214, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 214, characters 7-13:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 217, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 232, characters 0-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 233, characters 28-34:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 236, characters 41-50:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 238, characters 0-41:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 239, characters 0-29:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 242, characters 2-18:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/NthLengthAppend.v", line 44, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/list/RevAppend.v
- Coqc     lib/coq/list/NumOcc.v
- File "./lib/coq/list/NthLengthAppend.v", line 70, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/NthLengthAppend.v", line 73, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 247, characters 14-20:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 248, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 261, characters 0-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 262, characters 25-47:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 262, characters 48-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/int/Div2.v", line 31, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 266, characters 41-50:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 268, characters 0-41:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 269, characters 25-47:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 269, characters 48-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 271, characters 27-33:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 272, characters 39-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 272, characters 46-52:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 275, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 277, characters 17-23:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/for_drivers/ComputerOfEuclideanDivision.v", line 82, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 289, characters 20-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 291, characters 20-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 294, characters 52-58:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 294, characters 59-65:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 296, characters 55-61:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 297, characters 62-68:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 298, characters 64-70:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 299, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/number/Divisibility.v
- File "./lib/coq/bv/BV_Gen.v", line 41, characters 2-28:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/for_drivers/ComputerOfEuclideanDivision.v", line 90, characters 4-10:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 63, characters 2-30:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 311, characters 0-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 314, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 314, characters 7-13:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 70, characters 2-73:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 318, characters 41-50:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 320, characters 0-41:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 77, characters 2-41:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 78, characters 2-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 321, characters 47-53:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 321, characters 54-60:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/for_drivers/ComputerOfEuclideanDivision.v", line 97, characters 4-10:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 84, characters 2-41:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 327, characters 9-15:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 85, characters 2-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 327, characters 16-22:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 327, characters 41-47:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 327, characters 48-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 96, characters 2-44:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 329, characters 24-30:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 329, characters 31-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 104, characters 2-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 108, characters 2-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 335, characters 9-15:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 335, characters 16-22:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 335, characters 41-47:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 335, characters 48-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 115, characters 2-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 337, characters 24-30:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 337, characters 31-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 119, characters 2-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/NumOcc.v", line 61, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 127, characters 2-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 132, characters 2-17:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/NumOcc.v", line 78, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 361, characters 0-42:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 361, characters 0-42:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 362, characters 0-48:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 362, characters 0-48:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 369, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/Occ.v", line 372, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 140, characters 2-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 144, characters 2-34:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 153, characters 2-32:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 163, characters 2-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 176, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/list/Permut.v
- File "./lib/coq/bv/BV_Gen.v", line 185, characters 2-35:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 204, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 212, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 338, characters 2-30:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 341, characters 2-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 351, characters 0-31:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 364, characters 2-33:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 365, characters 2-28:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 366, characters 2-32:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 388, characters 2-17:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 390, characters 2-23:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 392, characters 2-40:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 393, characters 2-41:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 394, characters 2-17:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 411, characters 2-86:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/map/MapPermut.v
- Coqc     lib/coq/map/MapInjection.v
- File "./lib/coq/bv/BV_Gen.v", line 441, characters 2-30:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 445, characters 2-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 446, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 447, characters 2-34:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 458, characters 2-40:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 460, characters 2-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 479, characters 2-56:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 483, characters 2-30:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 492, characters 2-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 493, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 494, characters 2-34:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 505, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 506, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 529, characters 2-30:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 530, characters 2-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 532, characters 2-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 542, characters 2-49:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 547, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 549, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 555, characters 2-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 561, characters 2-24:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 563, characters 2-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 572, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 585, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 596, characters 2-35:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 633, characters 2-39:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 634, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 635, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 636, characters 2-39:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 647, characters 2-32:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 649, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 650, characters 2-27:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 651, characters 2-29:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 657, characters 2-31:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 663, characters 2-31:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 685, characters 2-16:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 703, characters 2-22:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 47, characters 0-22:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 51, characters 0-51:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 64, characters 2-39:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 712, characters 2-23:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 69, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 713, characters 2-65:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 75, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 77, characters 2-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 78, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 720, characters 2-44:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/number/Gcd.v
- Coqc     lib/coq/number/Prime.v
- File "./lib/coq/bv/BV_Gen.v", line 732, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 733, characters 2-44:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 734, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 739, characters 2-43:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 760, characters 10-16:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 765, characters 10-16:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 767, characters 6-12:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 774, characters 10-16:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 779, characters 10-16:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 781, characters 6-12:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 800, characters 2-29:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 801, characters 2-49:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 802, characters 2-29:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 836, characters 2-49:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 850, characters 2-22:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/set/Cardinal.v
- File "./lib/coq/bv/BV_Gen.v", line 868, characters 2-135:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 870, characters 2-63:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 879, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 883, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 884, characters 2-63:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 888, characters 2-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 88, characters 2-35:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 903, characters 2-35:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 908, characters 2-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/Permut.v", line 150, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 923, characters 2-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 929, characters 2-31:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 930, characters 2-25:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/Permut.v", line 160, characters 4-10:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 937, characters 2-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 942, characters 2-25:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 948, characters 2-31:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 948, characters 2-31:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/list/Permut.v", line 178, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 973, characters 2-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 974, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 980, characters 2-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 980, characters 2-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 982, characters 2-28:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 985, characters 2-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 986, characters 2-57:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 987, characters 2-66:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 987, characters 2-66:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 992, characters 2-51:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 992, characters 2-51:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 996, characters 2-28:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1003, characters 2-44:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1003, characters 2-44:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1005, characters 2-25:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1021, characters 2-25:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1027, characters 2-51:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1038, characters 2-73:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1044, characters 2-40:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1046, characters 2-34:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1047, characters 2-51:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1049, characters 2-39:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1049, characters 2-39:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1051, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1058, characters 2-24:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1065, characters 2-46:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1065, characters 2-46:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1065, characters 2-46:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1068, characters 2-60:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1085, characters 2-101:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 92, characters 2-35:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1093, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1094, characters 2-31:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1096, characters 2-101:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 87, characters 0-35:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 95, characters 2-35:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 92, characters 0-18:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 98, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 105, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 106, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 115, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 122, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 133, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 135, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 142, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 145, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 146, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 154, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 155, characters 0-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 183, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/number/Prime.v", line 196, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1247, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1252, characters 2-80:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/number/Coprime.v
- File "./lib/coq/bv/BV_Gen.v", line 1268, characters 2-96:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1279, characters 2-64:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1286, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1287, characters 2-49:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1288, characters 2-45:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1289, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1294, characters 2-48:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1320, characters 2-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1332, characters 2-76:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1333, characters 2-86:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1335, characters 2-34:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1338, characters 2-60:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1340, characters 2-39:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1341, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1353, characters 2-65:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1462, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1463, characters 2-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1463, characters 2-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1463, characters 2-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1464, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1465, characters 55-61:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1469, characters 36-42:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1855, characters 2-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1951, characters 6-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1985, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 1997, characters 4-10:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 2009, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 2013, characters 2-63:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 2043, characters 2-63:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 2044, characters 2-63:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 2065, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 2069, characters 2-22:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 2070, characters 2-34:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/bv/BV_Gen.v", line 2076, characters 2-19:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 121, characters 0-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 126, characters 0-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 307, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 138, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 433, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 468, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 471, characters 38-44:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 151, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 490, characters 6-46:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 523, characters 40-46:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 186, characters 0-32:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 194, characters 2-60:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 209, characters 0-32:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 216, characters 0-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 251, characters 0-43:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 268, characters 0-65:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 270, characters 48-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 272, characters 35-41:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 273, characters 0-63:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 276, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 278, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 281, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 282, characters 2-27:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 283, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 284, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 285, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 286, characters 52-58:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 287, characters 0-22:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 288, characters 48-54:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 289, characters 0-22:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 296, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 298, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 301, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 302, characters 2-27:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 303, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 304, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 305, characters 0-46:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 308, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 310, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 313, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 314, characters 2-27:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 315, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 316, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 320, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 322, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 325, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 548, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 327, characters 2-26:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 330, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 331, characters 2-27:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 332, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 333, characters 2-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 337, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 339, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/map/MapInjection.v", line 340, characters 0-27:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 660, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 678, characters 31-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 732, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Cardinal.v", line 761, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/set/Fset.v
- File "./lib/coq/set/Fset.v", line 594, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/Fset.v", line 597, characters 17-23:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/set/FsetInt.v
- Coqc     lib/coq/set/FsetInduction.v
- Coqc     lib/coq/set/FsetSum.v
- Coqc     lib/coq/set/SetApp.v
- Coqc     lib/coq/set/SetImp.v
- File "./lib/coq/set/FsetInt.v", line 52, characters 38-44:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 53, characters 69-75:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 58, characters 32-38:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 63, characters 31-37:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 82, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 118, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 136, characters 15-21:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 137, characters 28-34:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 143, characters 2-8:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 145, characters 30-42:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 160, characters 38-44:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 182, characters 4-31:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 193, characters 4-10:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 231, characters 2-29:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetSum.v", line 195, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 258, characters 6-36:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 261, characters 6-30:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 263, characters 38-62:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- File "./lib/coq/set/FsetInt.v", line 267, characters 21-27:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
- Coqc     lib/coq/set/SetAppInt.v
- Coqc     lib/coq/set/SetImpInt.v
- File "./lib/coq/set/FsetSum.v", line 258, characters 0-6:
- Warning: omega is deprecated since 8.12; use “lia” instead.
- [omega-is-deprecated,deprecated]
-> compiled  why3-coq.1.4.0
[why3-coq: make install-coq]
+ /usr/bin/make "install-coq" (CWD=/home/opam/.opam/default/.opam-switch/build/why3-coq.1.4.0)
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq
- /usr/bin/install -c -m 644 lib/coq/version /home/opam/.opam/default/lib/why3/coq/
- /usr/bin/install -c -m 644 lib/coq/BuiltIn.vo lib/coq/HighOrd.vo /home/opam/.opam/default/lib/why3/coq/
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq/int
- /usr/bin/install -c -m 644 lib/coq/int/Exponentiation.vo lib/coq/int/Abs.vo lib/coq/int/ComputerDivision.vo lib/coq/int/Div2.vo lib/coq/int/EuclideanDivision.vo lib/coq/int/Int.vo lib/coq/int/MinMax.vo lib/coq/int/Power.vo lib/coq/int/NumOf.vo /home/opam/.opam/default/lib/why3/coq/int/
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq/bool
- /usr/bin/install -c -m 644 lib/coq/bool/Bool.vo /home/opam/.opam/default/lib/why3/coq/bool/
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq/real
- /usr/bin/install -c -m 644 lib/coq/real/Abs.vo lib/coq/real/ExpLog.vo lib/coq/real/FromInt.vo lib/coq/real/MinMax.vo lib/coq/real/PowerInt.vo lib/coq/real/PowerReal.vo lib/coq/real/Real.vo lib/coq/real/RealInfix.vo lib/coq/real/Square.vo lib/coq/real/Trigonometry.vo /home/opam/.opam/default/lib/why3/coq/real/
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq/number
- /usr/bin/install -c -m 644 lib/coq/number/Divisibility.vo lib/coq/number/Gcd.vo lib/coq/number/Parity.vo lib/coq/number/Prime.vo lib/coq/number/Coprime.vo /home/opam/.opam/default/lib/why3/coq/number/
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq/set
- /usr/bin/install -c -m 644 lib/coq/set/Set.vo lib/coq/set/Cardinal.vo lib/coq/set/Fset.vo lib/coq/set/FsetInduction.vo lib/coq/set/FsetInt.vo lib/coq/set/FsetSum.vo lib/coq/set/SetApp.vo lib/coq/set/SetAppInt.vo lib/coq/set/SetImp.vo lib/coq/set/SetImpInt.vo /home/opam/.opam/default/lib/why3/coq/set/
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq/map
- /usr/bin/install -c -m 644 lib/coq/map/Map.vo lib/coq/map/Const.vo lib/coq/map/Occ.vo lib/coq/map/MapPermut.vo lib/coq/map/MapInjection.vo /home/opam/.opam/default/lib/why3/coq/map/
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq/list
- /usr/bin/install -c -m 644 lib/coq/list/List.vo lib/coq/list/Length.vo lib/coq/list/Mem.vo lib/coq/list/Nth.vo lib/coq/list/NthLength.vo lib/coq/list/HdTl.vo lib/coq/list/NthHdTl.vo lib/coq/list/Append.vo lib/coq/list/NthLengthAppend.vo lib/coq/list/Reverse.vo lib/coq/list/HdTlNoOpt.vo lib/coq/list/NthNoOpt.vo lib/coq/list/RevAppend.vo lib/coq/list/Combine.vo lib/coq/list/Distinct.vo lib/coq/list/NumOcc.vo lib/coq/list/Permut.vo /home/opam/.opam/default/lib/why3/coq/list/
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq/option
- /usr/bin/install -c -m 644 lib/coq/option/Option.vo /home/opam/.opam/default/lib/why3/coq/option/
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq/bv
- /usr/bin/install -c -m 644 lib/coq/bv/Pow2int.vo lib/coq/bv/BV_Gen.vo /home/opam/.opam/default/lib/why3/coq/bv/
- /usr/bin/mkdir -p /home/opam/.opam/default/lib/why3/coq/for_drivers
- /usr/bin/install -c -m 644 lib/coq/for_drivers/ComputerOfEuclideanDivision.vo /home/opam/.opam/default/lib/why3/coq/for_drivers/
- /usr/bin/mkdir -p /home/opam/.opam/default/share/why3/drivers
- /usr/bin/install -c -m 644 drivers/coq-realizations.aux /home/opam/.opam/default/share/why3/drivers/
-> installed why3-coq.1.4.0
[WARNING] Opam packages conf-autoconf.0.2 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf pkg-config
  - conf-autoconf.0.2: depends on autoconf
  - conf-pkg-config.5: depends on pkg-config

=== STDERR ===

2026-06-23 20:00.26: OK: build why3-coq.1.4.0 (runc: 75.2s, disk: 101KB)
2026-06-23 20:00.26: Job succeeded