Running phase: unpackPhase unpacking sources unpacking source archive /nix/store/wyxs9c17yvxfwzn38lpwkycy39hihh4p-source source root is source Running phase: patchPhase patching sources Running phase: configurePhase configuring configure flags: --prefix=/nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2 alt-ergo-lib Using provided value for 'prefix' : /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2 Using default value for 'libdir' : /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib Using default value for 'mandir' : /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/man Generating file src/lib/util/config.ml...done. Generating file src/bin/text/flags.dune...done. Generating file Makefile.config...done. Good to go! Running phase: buildPhase building ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ty.{cmo,cmt} File "src/lib/structures/ty.ml", line 200, characters 20-51: 200 | [@ocaml.ppwarning "TODO: should be implemented ?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should be implemented ? File "src/lib/structures/ty.ml", line 334, characters 24-65: 334 | [@ocaml.ppwarning "TODO: detect when there are no changes "] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: detect when there are no changes File "src/lib/structures/ty.ml", line 589, characters 28-59: 589 | | _ , _ [@ocaml.ppwarning "TODO: remove fragile pattern "] -> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: remove fragile pattern File "src/lib/structures/ty.ml", line 639, characters 20-61: 639 | [@ocaml.ppwarning "TODO: detect when there are no changes "] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: detect when there are no changes ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Parsed_interface.{cmi,cmti} File "src/lib/frontend/parsed_interface.mli", line 18, characters 20-77: 18 | [@ocaml.ppwarning "TODO: add documentation for every function in this file"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: add documentation for every function in this file ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Records.{cmo,cmt} File "src/lib/reasoners/records.ml", line 283, characters 26-69: 283 | [@ocaml.ppwarning "TODO: should not rebuild if not changed !"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should not rebuild if not changed ! ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Expr.{cmo,cmt} File "src/lib/structures/expr.ml", line 1387, characters 33-66: 1387 | else acc [@ocaml.ppwarning "TODO: add some stuff from let_e"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: add some stuff from let_e File "src/lib/structures/expr.ml", lines 1599-1601, characters 24-55: 1599 | ........................"TODO: should also inline form in form. But \ 1600 | not possible to detect if we are not \ 1601 | inlining a form inside a term". Warning 22 [preprocessor]: TODO: should also inline form in form. But not possible to detect if we are not inlining a form inside a term File "src/lib/structures/expr.ml", lines 2094-2097, characters 34-77: 2094 | .................................."TODO: once 'let x = term in term' \ 2095 | added, check that the resulting sbt \ 2096 | is well normalized (may be not true \ 2097 | depending on the ordering of vars in lets". Warning 22 [preprocessor]: TODO: once 'let x = term in term' added, check that the resulting sbt is well normalized (may be not true depending on the ordering of vars in lets File "src/lib/structures/expr.ml", lines 2118-2120, characters 26-49: 2118 | .........................."TODO: do it for this case once \ 2119 | free-vars issues of theories axioms \ 2120 | with hypotheses fixed". Warning 22 [preprocessor]: TODO: do it for this case once free-vars issues of theories axioms with hypotheses fixed File "src/lib/structures/expr.ml", lines 2114-2116, characters 26-56: 2114 | .........................."TODO: filter_good_triggers for this \ 2115 | case once free-vars issues of theories \ 2116 | axioms with hypotheses fixed". Warning 22 [preprocessor]: TODO: filter_good_triggers for this case once free-vars issues of theories axioms with hypotheses fixed File "src/lib/structures/expr.ml", line 2320, characters 20-57: 2320 | [@ocaml.ppwarning "TODO: add a match construct in expr"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: add a match construct in expr File "src/lib/structures/expr.ml", line 2319, characters 20-50: 2319 | [@ocaml.ppwarning "TODO: add other elim schemes"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: add other elim schemes File "src/lib/structures/expr.ml", line 2318, characters 20-62: 2318 | [@ocaml.ppwarning "TODO: introduce a let if e is a big expr"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: introduce a let if e is a big expr ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Cnf.{cmo,cmt} File "src/lib/frontend/cnf.ml", lines 38-40, characters 19-33: 38 | ..................."TODO: Change Symbols.Float to store FP numeral \ 39 | constants (eg, <24, -149> for single) instead of \ 40 | having terms". Warning 22 [preprocessor]: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms File "src/lib/frontend/cnf.ml", line 250, characters 29-64: 250 | [@ocaml.ppwarning "TODO: should introduce fresh vars"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should introduce fresh vars File "src/lib/frontend/cnf.ml", line 475, characters 29-64: 475 | [@ocaml.ppwarning "TODO: should introduce fresh vars"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should introduce fresh vars ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_types.{cmo,cmt} File "src/lib/structures/satml_types.ml", line 852, characters 33-71: 852 | [@ocaml.ppwarning "xlit or at_lit is probably redundant"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: xlit or at_lit is probably redundant ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Shostak.{cmo,cmt} File "src/lib/reasoners/shostak.ml", lines 551-553, characters 26-39: 551 | .........................."TODO: a simple way of handling equalities \ 552 | with void and unit is to add this case is \ 553 | the solver!". Warning 22 [preprocessor]: TODO: a simple way of handling equalities with void and unit is to add this case is the solver! ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt.{cmo,cmt} File "src/lib/reasoners/adt.ml", lines 63-64, characters 21-30: 63 | ....................."XXX: IsConstr not interpreted currently. Maybe \ 64 | it's OK". Warning 22 [preprocessor]: XXX: IsConstr not interpreted currently. Maybe it's OK File "src/lib/reasoners/adt.ml", line 105, characters 24-64: 105 | [@ocaml.ppwarning "TODO: canonize Constr(list of selects)"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: canonize Constr(list of selects) File "src/lib/reasoners/adt.ml", line 227, characters 21-37: 227 | [@@ocaml.ppwarning "TODO: not sure"] ^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: not sure File "src/lib/reasoners/adt.ml", line 318, characters 24-50: 318 | [@ocaml.ppwarning "TODO: abstract Selectors"] -> ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: abstract Selectors File "src/lib/reasoners/adt.ml", line 305, characters 26-66: 305 | [@ocaml.ppwarning "TODO: abstract Selectors: case to test"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: abstract Selectors: case to test File "src/lib/reasoners/adt.ml", line 313, characters 27-67: 313 | [@ocaml.ppwarning "TODO: abstract Selectors: case to test"] then ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: abstract Selectors: case to test File "src/lib/reasoners/adt.ml", line 328, characters 27-53: 328 | [@ocaml.ppwarning "TODO: abstract Selectors"] then ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: abstract Selectors ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt_rel.{cmo,cmt} File "src/lib/reasoners/adt_rel.ml", lines 41-42, characters 22-51: 41 | ......................"selectors should be improved. only representatives \ 42 | in it. No true or false _is". Warning 22 [preprocessor]: selectors should be improved. only representatives in it. No true or false _is File "src/lib/reasoners/adt_rel.ml", lines 296-297, characters 19-66: 296 | ..................."XXX improve. For each selector, store its \ 297 | corresponding constructor when typechecking ?". Warning 22 [preprocessor]: XXX improve. For each selector, store its corresponding constructor when typechecking ? File "src/lib/reasoners/adt_rel.ml", line 334, characters 19-72: 334 | [@@ocaml.ppwarning "working with X.term_extract r would be sufficient ?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: working with X.term_extract r would be sufficient ? File "src/lib/reasoners/adt_rel.ml", line 648, characters 31-77: 648 | [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ? File "src/lib/reasoners/adt_rel.ml", line 709, characters 26-72: 709 | [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ? ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__IntervalCalculus.{cmo,cmt} File "src/lib/reasoners/intervalCalculus.ml", line 1838, characters 27-63: 1838 | [@ocaml.ppwarning "TODO: add other terms such as div!"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: add other terms such as div! File "src/lib/reasoners/intervalCalculus.ml", line 2091, characters 28-73: 2091 | [@ocaml.ppwarning "TODO: find an example triggering this case!"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: find an example triggering this case! ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ty.{cmx,o} File "src/lib/structures/ty.ml", line 200, characters 20-51: 200 | [@ocaml.ppwarning "TODO: should be implemented ?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should be implemented ? File "src/lib/structures/ty.ml", line 334, characters 24-65: 334 | [@ocaml.ppwarning "TODO: detect when there are no changes "] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: detect when there are no changes File "src/lib/structures/ty.ml", line 589, characters 28-59: 589 | | _ , _ [@ocaml.ppwarning "TODO: remove fragile pattern "] -> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: remove fragile pattern File "src/lib/structures/ty.ml", line 639, characters 20-61: 639 | [@ocaml.ppwarning "TODO: detect when there are no changes "] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: detect when there are no changes ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ite_rel.{cmo,cmt} File "src/lib/reasoners/ite_rel.ml", line 119, characters 35-62: 119 | [@ocaml.ppwarning "TODO: build IFF instead ?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: build IFF instead ? ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_frontend.{cmo,cmt} File "src/lib/reasoners/satml_frontend.ml", line 374, characters 24-77: 374 | [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: modifications made in tbox are lost! improve? File "src/lib/reasoners/satml_frontend.ml", lines 671-672, characters 6-63: 671 | ......"improve terms / atoms extraction in lazy/non-lazy \ 672 | and greedy/non-greedy mode. Separate atoms from terms !". Warning 22 [preprocessor]: improve terms / atoms extraction in lazy/non-lazy and greedy/non-greedy mode. Separate atoms from terms ! File "src/lib/reasoners/satml_frontend.ml", line 693, characters 22-75: 693 | [@ocaml.ppwarning "Issue for greedy: terms inside lemmas not extracted"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: Issue for greedy: terms inside lemmas not extracted File "src/lib/reasoners/satml_frontend.ml", lines 714-715, characters 22-73: 714 | ......................"!!! Possibles issues du to replacement of atoms \ 715 | that are facts with TRUE by mk_lit (and simplify)". Warning 22 [preprocessor]: !!! Possibles issues du to replacement of atoms that are facts with TRUE by mk_lit (and simplify) File "src/lib/reasoners/satml_frontend.ml", line 748, characters 28-61: 748 | [@ocaml.ppwarning "TODO: should be assert failure?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should be assert failure? File "src/lib/reasoners/satml_frontend.ml", line 846, characters 34-79: 846 | [@ocaml.ppwarning "TODO: should fix for unsat cores generation"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should fix for unsat cores generation File "src/lib/reasoners/satml_frontend.ml", line 985, characters 20-79: 985 | "TODO: first intantiation a la DfsSAT before searching ..."] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: first intantiation a la DfsSAT before searching ... ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml.{cmo,cmt} File "src/lib/reasoners/satml.ml", line 523, characters 26-66: 523 | [@ocaml.ppwarning "TODO: try to disable 'fill_with_dummy'"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: try to disable 'fill_with_dummy' File "src/lib/reasoners/satml.ml", lines 1576-1579, characters 28-42: 1576 | ............................"TODO: add a heavy assert that checks \ 1577 | that clauses are not redundant, watchs \ 1578 | are well set, unit and bottom are \ 1579 | detected ...". Warning 22 [preprocessor]: TODO: add a heavy assert that checks that clauses are not redundant, watchs are well set, unit and bottom are detected ... File "src/lib/reasoners/satml.ml", lines 1645-1646, characters 22-43: 1645 | ......................"Issue: BAD decision_level, in particular, \ 1646 | if minimal-bj is ON". Warning 22 [preprocessor]: Issue: BAD decision_level, in particular, if minimal-bj is ON ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Expr.{cmx,o} File "src/lib/structures/expr.ml", line 1387, characters 33-66: 1387 | else acc [@ocaml.ppwarning "TODO: add some stuff from let_e"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: add some stuff from let_e File "src/lib/structures/expr.ml", lines 1599-1601, characters 24-55: 1599 | ........................"TODO: should also inline form in form. But \ 1600 | not possible to detect if we are not \ 1601 | inlining a form inside a term". Warning 22 [preprocessor]: TODO: should also inline form in form. But not possible to detect if we are not inlining a form inside a term File "src/lib/structures/expr.ml", lines 2094-2097, characters 34-77: 2094 | .................................."TODO: once 'let x = term in term' \ 2095 | added, check that the resulting sbt \ 2096 | is well normalized (may be not true \ 2097 | depending on the ordering of vars in lets". Warning 22 [preprocessor]: TODO: once 'let x = term in term' added, check that the resulting sbt is well normalized (may be not true depending on the ordering of vars in lets File "src/lib/structures/expr.ml", lines 2118-2120, characters 26-49: 2118 | .........................."TODO: do it for this case once \ 2119 | free-vars issues of theories axioms \ 2120 | with hypotheses fixed". Warning 22 [preprocessor]: TODO: do it for this case once free-vars issues of theories axioms with hypotheses fixed File "src/lib/structures/expr.ml", lines 2114-2116, characters 26-56: 2114 | .........................."TODO: filter_good_triggers for this \ 2115 | case once free-vars issues of theories \ 2116 | axioms with hypotheses fixed". Warning 22 [preprocessor]: TODO: filter_good_triggers for this case once free-vars issues of theories axioms with hypotheses fixed File "src/lib/structures/expr.ml", line 2320, characters 20-57: 2320 | [@ocaml.ppwarning "TODO: add a match construct in expr"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: add a match construct in expr File "src/lib/structures/expr.ml", line 2319, characters 20-50: 2319 | [@ocaml.ppwarning "TODO: add other elim schemes"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: add other elim schemes File "src/lib/structures/expr.ml", line 2318, characters 20-62: 2318 | [@ocaml.ppwarning "TODO: introduce a let if e is a big expr"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: introduce a let if e is a big expr ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Records.{cmx,o} File "src/lib/reasoners/records.ml", line 283, characters 26-69: 283 | [@ocaml.ppwarning "TODO: should not rebuild if not changed !"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should not rebuild if not changed ! ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Adt.{cmx,o} File "src/lib/reasoners/adt.ml", lines 63-64, characters 21-30: 63 | ....................."XXX: IsConstr not interpreted currently. Maybe \ 64 | it's OK". Warning 22 [preprocessor]: XXX: IsConstr not interpreted currently. Maybe it's OK File "src/lib/reasoners/adt.ml", line 105, characters 24-64: 105 | [@ocaml.ppwarning "TODO: canonize Constr(list of selects)"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: canonize Constr(list of selects) File "src/lib/reasoners/adt.ml", line 227, characters 21-37: 227 | [@@ocaml.ppwarning "TODO: not sure"] ^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: not sure File "src/lib/reasoners/adt.ml", line 318, characters 24-50: 318 | [@ocaml.ppwarning "TODO: abstract Selectors"] -> ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: abstract Selectors File "src/lib/reasoners/adt.ml", line 305, characters 26-66: 305 | [@ocaml.ppwarning "TODO: abstract Selectors: case to test"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: abstract Selectors: case to test File "src/lib/reasoners/adt.ml", line 313, characters 27-67: 313 | [@ocaml.ppwarning "TODO: abstract Selectors: case to test"] then ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: abstract Selectors: case to test File "src/lib/reasoners/adt.ml", line 328, characters 27-53: 328 | [@ocaml.ppwarning "TODO: abstract Selectors"] then ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: abstract Selectors ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Cnf.{cmx,o} File "src/lib/frontend/cnf.ml", lines 38-40, characters 19-33: 38 | ..................."TODO: Change Symbols.Float to store FP numeral \ 39 | constants (eg, <24, -149> for single) instead of \ 40 | having terms". Warning 22 [preprocessor]: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms File "src/lib/frontend/cnf.ml", line 250, characters 29-64: 250 | [@ocaml.ppwarning "TODO: should introduce fresh vars"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should introduce fresh vars File "src/lib/frontend/cnf.ml", line 475, characters 29-64: 475 | [@ocaml.ppwarning "TODO: should introduce fresh vars"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should introduce fresh vars ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml_types.{cmx,o} File "src/lib/structures/satml_types.ml", line 852, characters 33-71: 852 | [@ocaml.ppwarning "xlit or at_lit is probably redundant"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: xlit or at_lit is probably redundant ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Shostak.{cmx,o} File "src/lib/reasoners/shostak.ml", lines 551-553, characters 26-39: 551 | .........................."TODO: a simple way of handling equalities \ 552 | with void and unit is to add this case is \ 553 | the solver!". Warning 22 [preprocessor]: TODO: a simple way of handling equalities with void and unit is to add this case is the solver! ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ite_rel.{cmx,o} File "src/lib/reasoners/ite_rel.ml", line 119, characters 35-62: 119 | [@ocaml.ppwarning "TODO: build IFF instead ?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: build IFF instead ? ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Adt_rel.{cmx,o} File "src/lib/reasoners/adt_rel.ml", lines 41-42, characters 22-51: 41 | ......................"selectors should be improved. only representatives \ 42 | in it. No true or false _is". Warning 22 [preprocessor]: selectors should be improved. only representatives in it. No true or false _is File "src/lib/reasoners/adt_rel.ml", lines 296-297, characters 19-66: 296 | ..................."XXX improve. For each selector, store its \ 297 | corresponding constructor when typechecking ?". Warning 22 [preprocessor]: XXX improve. For each selector, store its corresponding constructor when typechecking ? File "src/lib/reasoners/adt_rel.ml", line 334, characters 19-72: 334 | [@@ocaml.ppwarning "working with X.term_extract r would be sufficient ?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: working with X.term_extract r would be sufficient ? File "src/lib/reasoners/adt_rel.ml", line 648, characters 31-77: 648 | [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ? File "src/lib/reasoners/adt_rel.ml", line 709, characters 26-72: 709 | [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ? ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__IntervalCalculus.{cmx,o} File "src/lib/reasoners/intervalCalculus.ml", line 1838, characters 27-63: 1838 | [@ocaml.ppwarning "TODO: add other terms such as div!"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: add other terms such as div! File "src/lib/reasoners/intervalCalculus.ml", line 2091, characters 28-73: 2091 | [@ocaml.ppwarning "TODO: find an example triggering this case!"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: find an example triggering this case! ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml.{cmx,o} File "src/lib/reasoners/satml.ml", line 523, characters 26-66: 523 | [@ocaml.ppwarning "TODO: try to disable 'fill_with_dummy'"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: try to disable 'fill_with_dummy' File "src/lib/reasoners/satml.ml", lines 1576-1579, characters 28-42: 1576 | ............................"TODO: add a heavy assert that checks \ 1577 | that clauses are not redundant, watchs \ 1578 | are well set, unit and bottom are \ 1579 | detected ...". Warning 22 [preprocessor]: TODO: add a heavy assert that checks that clauses are not redundant, watchs are well set, unit and bottom are detected ... File "src/lib/reasoners/satml.ml", lines 1645-1646, characters 22-43: 1645 | ......................"Issue: BAD decision_level, in particular, \ 1646 | if minimal-bj is ON". Warning 22 [preprocessor]: Issue: BAD decision_level, in particular, if minimal-bj is ON ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml_frontend.{cmx,o} File "src/lib/reasoners/satml_frontend.ml", line 374, characters 24-77: 374 | [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: modifications made in tbox are lost! improve? File "src/lib/reasoners/satml_frontend.ml", lines 671-672, characters 6-63: 671 | ......"improve terms / atoms extraction in lazy/non-lazy \ 672 | and greedy/non-greedy mode. Separate atoms from terms !". Warning 22 [preprocessor]: improve terms / atoms extraction in lazy/non-lazy and greedy/non-greedy mode. Separate atoms from terms ! File "src/lib/reasoners/satml_frontend.ml", line 693, characters 22-75: 693 | [@ocaml.ppwarning "Issue for greedy: terms inside lemmas not extracted"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: Issue for greedy: terms inside lemmas not extracted File "src/lib/reasoners/satml_frontend.ml", lines 714-715, characters 22-73: 714 | ......................"!!! Possibles issues du to replacement of atoms \ 715 | that are facts with TRUE by mk_lit (and simplify)". Warning 22 [preprocessor]: !!! Possibles issues du to replacement of atoms that are facts with TRUE by mk_lit (and simplify) File "src/lib/reasoners/satml_frontend.ml", line 748, characters 28-61: 748 | [@ocaml.ppwarning "TODO: should be assert failure?"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should be assert failure? File "src/lib/reasoners/satml_frontend.ml", line 846, characters 34-79: 846 | [@ocaml.ppwarning "TODO: should fix for unsat cores generation"] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: should fix for unsat cores generation File "src/lib/reasoners/satml_frontend.ml", line 985, characters 20-79: 985 | "TODO: first intantiation a la DfsSAT before searching ..."] ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 22 [preprocessor]: TODO: first intantiation a la DfsSAT before searching ... Running phase: installPhase installing Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/AltErgoLib.a Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/AltErgoLib.cma Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/AltErgoLib.cmxa Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/META Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ac.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ac.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/adt.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/adt.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/adt_rel.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/adt_rel.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ac.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ac.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ac.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ac.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt_rel.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt_rel.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt_rel.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt_rel.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arith.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arith.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arith.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arith.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays_rel.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays_rel.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays_rel.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays_rel.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv_rel.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv_rel.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv_rel.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv_rel.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ccx.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ccx.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ccx.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ccx.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Cnf.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Cnf.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Cnf.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Cnf.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Commands.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Commands.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Commands.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Commands.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Config.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Config.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Config.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Emap.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Emap.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Emap.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Emap.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum_rel.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum_rel.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum_rel.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum_rel.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Errors.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Errors.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Errors.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Errors.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Explanation.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Explanation.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Explanation.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Explanation.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Expr.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Expr.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Expr.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Expr.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Format_shims.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Format_shims.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Format_shims.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fpa_rounding.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fpa_rounding.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fpa_rounding.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Frontend.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Frontend.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Frontend.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Frontend.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fun_sat.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fun_sat.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fun_sat.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fun_sat.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Gc_debug.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Gc_debug.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Gc_debug.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Gc_debug.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hconsing.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hconsing.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hconsing.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hconsing.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hstring.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hstring.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hstring.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hstring.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Iheap.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Iheap.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Iheap.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Iheap.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Inequalities.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Inequalities.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Inequalities.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Inequalities.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Input.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Input.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Input.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Input.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Instances.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Instances.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Instances.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Instances.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__IntervalCalculus.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__IntervalCalculus.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__IntervalCalculus.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Intervals.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Intervals.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Intervals.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Intervals.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite_rel.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite_rel.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite_rel.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite_rel.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Lists.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Lists.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Lists.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Lists.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Loc.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Loc.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Loc.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Loc.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching_types.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching_types.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyDynlink.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyDynlink.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyDynlink.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyDynlink.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyUnix.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyUnix.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyUnix.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyUnix.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Numbers.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Numbers.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Numbers.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Numbers.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumbersInterface.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumbersInterface.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumsNumbers.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumsNumbers.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumsNumbers.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumsNumbers.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Options.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Options.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Options.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Options.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed_interface.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed_interface.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed_interface.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed_interface.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Polynome.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Polynome.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Polynome.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Polynome.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Printer.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Printer.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Printer.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Printer.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Profiling.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Profiling.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Profiling.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Profiling.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records_rel.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records_rel.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records_rel.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records_rel.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Relation.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Relation.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Relation.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Relation.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_types.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_types.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_types.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_types.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Shostak.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Shostak.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Shostak.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Shostak.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sig.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sig.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sig_rel.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sig_rel.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Steps.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Steps.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Steps.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Steps.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Symbols.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Symbols.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Symbols.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Symbols.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Th_util.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Th_util.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Th_util.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Th_util.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Theory.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Theory.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Theory.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Theory.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Timers.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Timers.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Timers.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Timers.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ty.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ty.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ty.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ty.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typechecker.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typechecker.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typechecker.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typechecker.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typed.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typed.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typed.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typed.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Uf.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Uf.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Uf.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Uf.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Use.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Use.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Use.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Use.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Util.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Util.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Util.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Util.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Var.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Var.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Var.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Var.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Vec.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Vec.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Vec.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Vec.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Version.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Version.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Version.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Version.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Xliteral.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Xliteral.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Xliteral.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Xliteral.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__ZarithNumbers.cmi Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__ZarithNumbers.cmt Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__ZarithNumbers.cmti Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__ZarithNumbers.cmx Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arith.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arith.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arrays.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arrays.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arrays_rel.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arrays_rel.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/bitv.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/bitv.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/bitv_rel.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/bitv_rel.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ccx.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ccx.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/cnf.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/cnf.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/commands.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/commands.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/config.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/dune-package Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/emap.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/emap.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/enum.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/enum.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/enum_rel.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/enum_rel.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/errors.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/errors.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/explanation.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/explanation.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/expr.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/expr.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/format_shims.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/fpa_rounding.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/fpa_rounding.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/frontend.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/frontend.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/fun_sat.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/fun_sat.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/gc_debug.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/gc_debug.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/hconsing.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/hconsing.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/hstring.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/hstring.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/iheap.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/iheap.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/inequalities.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/inequalities.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/input.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/input.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/instances.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/instances.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/intervalCalculus.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/intervalCalculus.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/intervals.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/intervals.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ite.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ite.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ite_rel.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ite_rel.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/lists.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/lists.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/loc.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/loc.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/matching.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/matching.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/matching_types.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/missing_primitives.js Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/myDynlink.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/myDynlink.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/myUnix.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/myUnix.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/numbers.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/numbers.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/numbersInterface.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/numsNumbers.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/numsNumbers.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/opam Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/options.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/options.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/parsed.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/parsed.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/parsed_interface.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/parsed_interface.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/polynome.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/polynome.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/printer.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/printer.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/profiling.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/profiling.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/records.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/records.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/records_rel.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/records_rel.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/relation.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/relation.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sat_solver.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sat_solver.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sat_solver_sig.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sat_solver_sig.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_frontend.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_frontend.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_frontend_hybrid.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_frontend_hybrid.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_types.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_types.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/shostak.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/shostak.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sig.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sig_rel.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/steps.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/steps.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/symbols.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/symbols.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/th_util.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/th_util.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/theory.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/theory.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/timers.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/timers.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ty.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ty.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/typechecker.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/typechecker.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/typed.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/typed.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/uf.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/uf.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/use.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/use.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/util.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/util.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/var.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/var.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/vec.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/vec.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/version.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/version.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/xliteral.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/xliteral.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/zarithNumbers.ml Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/zarithNumbers.mli Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/AltErgoLib.cmxs Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/doc/alt-ergo-lib/LICENSE.md Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/doc/alt-ergo-lib/README.md Installing /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/doc/alt-ergo-lib/odoc-pages/index.mld Running phase: fixupPhase post-installation fixup moving /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/doc to /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/share/doc shrinking RPATHs of ELF executables and libraries in /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2 shrinking /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/AltErgoLib.cmxs strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip stripping (with command strip and flags -S) in /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2/lib patching script interpreter paths in /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2 checking for references to /build/ in /nix/store/ax0b793h8mm1650cvbay2q5594ncsjl5-ocaml4.14.0-alt-ergo-lib-2.4.2...