these 5 derivations will be built:
  /nix/store/xm3llhhsi4c6z243x1a6d0sbr0kak5dw-ocaml4.14.0-ocplib-simplex-0.4.drv
  /nix/store/9xi7apw91wp37vw4s6mw4g1w1j8dbybj-ocaml4.14.0-alt-ergo-lib-2.4.2.drv
  /nix/store/gv7zk0vnqjp3a6ccnq7yyfxrals1s702-ocaml4.14.0-psmt2-frontend-0.4.0.drv
  /nix/store/c8cp76w4zk8jg0innimfs3rzqzsk9did-ocaml4.14.0-alt-ergo-parsers-2.4.2.drv
  /nix/store/nglh7293z2b4g8qdi9cg4vlqhham7ayq-ocaml4.14.0-alt-ergo-2.4.2.drv
these 20 paths will be fetched (110.0 MiB download, 458.2 MiB unpacked):
  /nix/store/idc80c1893y1mbfg98v9kphc03rjd1in-autoconf-2.71
  /nix/store/clzc3s59i36aqrkcn92bj54nh6gn0sx6-automake-1.16.5
  /nix/store/dz1jwpx0743lpgnz7i2pplsmfic682jz-cmdliner-1.1.1
  /nix/store/a5i8cyx48cnbcw128vb3cxm4x6sg0v3n-dune-2.9.3
  /nix/store/qss2l7hpp4km2msil0g1xfg82774h81v-file-5.43
  /nix/store/bbzlsi80wzjls6p34p3x41f5s2l6akds-gnum4-1.4.19
  /nix/store/nxxd4bhq41ix50n532vkdx6vp5p5hir3-hook
  /nix/store/sjs7szvhvyjzlmgzqn7g1la2bkl5kqjz-libtool-2.4.7
  /nix/store/h47rb064n6h033jbwq7zr9wsdkd85lgz-ocaml-4.14.0
  /nix/store/gq5irh1awgx67zp2kpinhfxpdi7md20h-ocaml4.14.0-camlzip-1.11
  /nix/store/ck1lpkf2zag2l7kq7bpnfb53ixwk13fx-ocaml4.14.0-csexp-1.5.1
  /nix/store/xcmscm5c3fjhkck5fis1xbq1352yh2sq-ocaml4.14.0-dune-configurator-2.9.3
  /nix/store/wapb2335lpzyawb7ycr43ql06bvz8bcj-ocaml4.14.0-findlib-1.9.6
  /nix/store/3a4ykpmirm6n95yb688g9hkd4c87283i-ocaml4.14.0-menhir-20220210
  /nix/store/ibacv951lc3qcv3830s9vnkm1f9xljv7-ocaml4.14.0-num-1.1
  /nix/store/llpjby21bvz1j2xdbmlll91sc3yvndnr-ocaml4.14.0-result-1.5
  /nix/store/5l37rgnwr7giykyvh00aw08gznmqc4bl-ocaml4.14.0-seq-0.1
  /nix/store/ww9dhf42h5r07yzmzwg4g1ay691f3qxl-ocaml4.14.0-stdlib-shims-0.3.0
  /nix/store/ja8jd3l0qcha185rdyd42r1janqjqjrv-ocaml4.14.0-zarith-1.12
  /nix/store/np3f62mihaixsr3zyp1hzi9arp4rkxf0-zlib-1.2.13-dev
building '/nix/store/xm3llhhsi4c6z243x1a6d0sbr0kak5dw-ocaml4.14.0-ocplib-simplex-0.4.drv'
building '/nix/store/gv7zk0vnqjp3a6ccnq7yyfxrals1s702-ocaml4.14.0-psmt2-frontend-0.4.0.drv'
ocaml4.14.0-ocplib-simplex-0.4> unpacking sources
ocaml4.14.0-ocplib-simplex-0.4> unpacking source archive /nix/store/09q63qp8v7wglbrahy90rw1x6mblvhch-source
ocaml4.14.0-ocplib-simplex-0.4> source root is source
ocaml4.14.0-ocplib-simplex-0.4> patching sources
ocaml4.14.0-ocplib-simplex-0.4> autoreconfPhase
ocaml4.14.0-psmt2-frontend-0.4.0> unpacking sources
ocaml4.14.0-psmt2-frontend-0.4.0> unpacking source archive /nix/store/mfly5p391cknd9iwj6f8i57q74qw2zrl-source
ocaml4.14.0-psmt2-frontend-0.4.0> source root is source
ocaml4.14.0-psmt2-frontend-0.4.0> patching sources
ocaml4.14.0-psmt2-frontend-0.4.0> configuring
ocaml4.14.0-psmt2-frontend-0.4.0> no configure script, doing nothing
ocaml4.14.0-psmt2-frontend-0.4.0> building
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: export WARNINGS=
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: warning: autoconf input should be named 'configure.ac', not 'configure.in'
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: Entering directory '.'
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: configure.in: not using Gettext
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: running: aclocal --force 
ocaml4.14.0-psmt2-frontend-0.4.0>       menhir src/lib/smtlib_parser__mock.ml.mock
ocaml4.14.0-psmt2-frontend-0.4.0> Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
ocaml4.14.0-ocplib-simplex-0.4> aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in'
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: configure.in: tracing
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: configure.in: not using Libtool
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: configure.in: not using Intltool
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: configure.in: not using Gtkdoc
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: running: /nix/store/idc80c1893y1mbfg98v9kphc03rjd1in-autoconf-2.71/bin/autoconf --force
ocaml4.14.0-psmt2-frontend-0.4.0>       menhir src/lib/smtlib_parser.{ml,mli}
ocaml4.14.0-psmt2-frontend-0.4.0> Note: the nonterminal symbol option (from src/lib/smtlib_parser.mly) is renamed src_lib_smtlib_parser_option.
ocaml4.14.0-psmt2-frontend-0.4.0> Warning: 22 end-of-stream conflicts were arbitrarily resolved.
ocaml4.14.0-psmt2-frontend-0.4.0> File "<standard.mly>", line 206, characters 16-16:
ocaml4.14.0-psmt2-frontend-0.4.0> Warning: production list(term) -> is never reduced.
ocaml4.14.0-psmt2-frontend-0.4.0> Warning: in total, 1 production is never reduced.
ocaml4.14.0-ocplib-simplex-0.4> configure.in:140: warning: AC_OUTPUT should be used without arguments.
ocaml4.14.0-ocplib-simplex-0.4> configure.in:140: You should run autoupdate.
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: configure.in: not using Autoheader
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: configure.in: not using Automake
ocaml4.14.0-ocplib-simplex-0.4> autoreconf: Leaving directory '.'
ocaml4.14.0-ocplib-simplex-0.4> configuring
ocaml4.14.0-ocplib-simplex-0.4> configure flags: --prefix=/nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4
ocaml4.14.0-ocplib-simplex-0.4> checking for ocamlc... ocamlc
ocaml4.14.0-ocplib-simplex-0.4> ocaml version is 4.14.0
ocaml4.14.0-ocplib-simplex-0.4> ocaml library path is /nix/store/h47rb064n6h033jbwq7zr9wsdkd85lgz-ocaml-4.14.0/lib/ocaml
ocaml4.14.0-ocplib-simplex-0.4> checking for ocamlfind... yes
ocaml4.14.0-ocplib-simplex-0.4> ./configure: line 1839: which: command not found
ocaml4.14.0-ocplib-simplex-0.4> checking for ocamlopt... ocamlopt
ocaml4.14.0-ocplib-simplex-0.4> checking ocamlopt version... ok
ocaml4.14.0-ocplib-simplex-0.4> checking for ocamlc.opt... ocamlc.opt
ocaml4.14.0-ocplib-simplex-0.4> checking ocamlc.opt version... ok
ocaml4.14.0-ocplib-simplex-0.4> checking for ocamlopt.opt... ocamlopt.opt
ocaml4.14.0-ocplib-simplex-0.4> checking ocamlopt.opt version... ok
ocaml4.14.0-ocplib-simplex-0.4> checking for ocamldep... ocamldep
ocaml4.14.0-ocplib-simplex-0.4> checking platform... configure: creating ./config.status
ocaml4.14.0-ocplib-simplex-0.4> config.status: creating Makefile
ocaml4.14.0-ocplib-simplex-0.4> config.status: WARNING:  'Makefile.in' seems to ignore the --datarootdir setting
ocaml4.14.0-ocplib-simplex-0.4> building
ocaml4.14.0-ocplib-simplex-0.4> build flags: SHELL=/nix/store/4xw8n979xpivdc46a9ndcvyhwgif00hz-bash-5.1-p16/bin/bash
ocaml4.14.0-ocplib-simplex-0.4> cp src/extSigs.mli src/extSigs.ml
ocaml4.14.0-ocplib-simplex-0.4> cp src/coreSig.mli src/coreSig.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamldep -I src src/*.ml* > .depend
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.mli
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/version.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.mli
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.mli
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/rat2.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/extSigs.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.mli
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/polys.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.mli
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/coreSig.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.mli
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/core.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.mli
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/result.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.mli
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/assertBounds.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.mli
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/solveBounds.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.mli
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -for-pack OcplibSimplex src/basic.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt   -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -pack -o src/ocplibSimplex.cmo src/version.cmo src/rat2.cmo src/extSigs.cmo src/polys.cmo src/coreSig.cmo src/core.cmo src/result.cmo src/assertBounds.cmo src/solveBounds.cmo src/basic.cmo
ocaml4.14.0-ocplib-simplex-0.4> ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -I src -o src/ocplibSimplex.cma src/ocplibSimplex.cmo
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/version.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/extSigs.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/rat2.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/polys.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/coreSig.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/core.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/result.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/assertBounds.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/solveBounds.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -for-pack OcplibSimplex src/basic.ml
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -pack -o src/ocplibSimplex.cmx src/version.cmx src/rat2.cmx src/extSigs.cmx src/polys.cmx src/coreSig.cmx src/core.cmx src/result.cmx src/assertBounds.cmx src/solveBounds.cmx src/basic.cmx
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxa src/ocplibSimplex.cmx
ocaml4.14.0-ocplib-simplex-0.4> ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -w +A -g -inline 100 -I src -o src/ocplibSimplex.cmxs src/ocplibSimplex.cmx
ocaml4.14.0-ocplib-simplex-0.4> installing
ocaml4.14.0-ocplib-simplex-0.4> install flags: SHELL=/nix/store/4xw8n979xpivdc46a9ndcvyhwgif00hz-bash-5.1-p16/bin/bash LIBDIR=\$\(OCAMLFIND_DESTDIR\) install
ocaml4.14.0-ocplib-simplex-0.4> OCAMLFIND_DESTDIR=/nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ \
ocaml4.14.0-ocplib-simplex-0.4>   ocamlfind install ocplib-simplex src/ocplibSimplex.* src/*.mli META
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/version.mli
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/solveBounds.mli
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/result.mli
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/rat2.mli
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/polys.mli
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/extSigs.mli
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/coreSig.mli
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/core.mli
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/basic.mli
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/assertBounds.mli
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.o
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmxs
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmxa
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmx
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmt
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmo
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmi
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cma
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.a
ocaml4.14.0-ocplib-simplex-0.4> Installed /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/META
ocaml4.14.0-ocplib-simplex-0.4> post-installation fixup
ocaml4.14.0-ocplib-simplex-0.4> shrinking RPATHs of ELF executables and libraries in /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4
ocaml4.14.0-ocplib-simplex-0.4> shrinking /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.o
ocaml4.14.0-ocplib-simplex-0.4> patchelf: wrong ELF type
ocaml4.14.0-ocplib-simplex-0.4> shrinking /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib/ocaml/4.14.0/site-lib/ocplib-simplex/ocplibSimplex.cmxs
ocaml4.14.0-ocplib-simplex-0.4> strip is /nix/store/wn31i3dzwahz6ccws8bs1nwyqrpgsvj7-gcc-wrapper-11.3.0/bin/strip
ocaml4.14.0-ocplib-simplex-0.4> stripping (with command strip and flags -S) in  /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4/lib
ocaml4.14.0-ocplib-simplex-0.4> patching script interpreter paths in /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4
ocaml4.14.0-ocplib-simplex-0.4> checking for references to /build/ in /nix/store/zyrnd9mrr1j9dcyx470gm47nxharrnhm-ocaml4.14.0-ocplib-simplex-0.4...
ocaml4.14.0-ocplib-simplex-0.4> patchelf: wrong ELF type
building '/nix/store/9xi7apw91wp37vw4s6mw4g1w1j8dbybj-ocaml4.14.0-alt-ergo-lib-2.4.2.drv'
ocaml4.14.0-alt-ergo-lib-2.4.2> unpacking sources
ocaml4.14.0-alt-ergo-lib-2.4.2> unpacking source archive /nix/store/wyxs9c17yvxfwzn38lpwkycy39hihh4p-source
ocaml4.14.0-alt-ergo-lib-2.4.2> source root is source
ocaml4.14.0-alt-ergo-lib-2.4.2> patching sources
ocaml4.14.0-alt-ergo-lib-2.4.2> configuring
ocaml4.14.0-alt-ergo-lib-2.4.2> configure flags: --prefix=/nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2 alt-ergo-lib
ocaml4.14.0-alt-ergo-lib-2.4.2> Using provided value for 'prefix' : /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2
ocaml4.14.0-alt-ergo-lib-2.4.2> Using default value for 'libdir' : /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib
ocaml4.14.0-alt-ergo-lib-2.4.2> Using default value for 'mandir' : /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/man
ocaml4.14.0-alt-ergo-lib-2.4.2> Generating file src/lib/util/config.ml...done.
ocaml4.14.0-alt-ergo-lib-2.4.2> Generating file src/bin/text/flags.dune...done.
ocaml4.14.0-alt-ergo-lib-2.4.2> Generating file Makefile.config...done.
ocaml4.14.0-alt-ergo-lib-2.4.2> Good to go!
ocaml4.14.0-alt-ergo-lib-2.4.2> building
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ty.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/ty.ml", line 200, characters 20-51:
ocaml4.14.0-alt-ergo-lib-2.4.2> 200 |   [@ocaml.ppwarning "TODO: should be implemented ?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should be implemented ?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/ty.ml", line 334, characters 24-65:
ocaml4.14.0-alt-ergo-lib-2.4.2> 334 |       [@ocaml.ppwarning "TODO: detect when there are no changes "]
ocaml4.14.0-alt-ergo-lib-2.4.2>                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: detect when there are no changes 
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/ty.ml", line 589, characters 28-59:
ocaml4.14.0-alt-ergo-lib-2.4.2> 589 |   | _ , _ [@ocaml.ppwarning "TODO: remove fragile pattern "] ->
ocaml4.14.0-alt-ergo-lib-2.4.2>                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: remove fragile pattern 
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/ty.ml", line 639, characters 20-61:
ocaml4.14.0-alt-ergo-lib-2.4.2> 639 |   [@ocaml.ppwarning "TODO: detect when there are no changes "]
ocaml4.14.0-alt-ergo-lib-2.4.2>                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: detect when there are no changes 
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Parsed_interface.{cmi,cmti}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/frontend/parsed_interface.mli", line 18, characters 20-77:
ocaml4.14.0-alt-ergo-lib-2.4.2> 18 |   [@ocaml.ppwarning "TODO: add documentation for every function in this file"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add documentation for every function in this file
ocaml4.14.0-psmt2-frontend-0.4.0> installing
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/META
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/dune-package
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/main.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/opam
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/options.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/options.mli
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.a
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cma
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_types.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/satml_types.ml", line 852, characters 33-71:
ocaml4.14.0-alt-ergo-lib-2.4.2> 852 |                [@ocaml.ppwarning "xlit or at_lit is probably redundant"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: xlit or at_lit is probably redundant
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Expr.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", line 1387, characters 33-66:
ocaml4.14.0-alt-ergo-lib-2.4.2> 1387 |       else acc [@ocaml.ppwarning "TODO: add some stuff from let_e"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add some stuff from let_e
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", lines 1599-1601, characters 24-55:
ocaml4.14.0-alt-ergo-lib-2.4.2> 1599 | ........................"TODO: should also inline form in form. But \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1600 |                          not possible to detect if we are not \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1601 |                          inlining a form inside a term".
ocaml4.14.0-alt-ergo-lib-2.4.2> 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
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", lines 2094-2097, characters 34-77:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2094 | .................................."TODO: once 'let x = term in term' \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2095 |                                    added, check that the resulting sbt \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2096 |                                    is well normalized (may be not true \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2097 |                                    depending on the ordering of vars in lets".
ocaml4.14.0-alt-ergo-lib-2.4.2> 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
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", lines 2118-2120, characters 26-49:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2118 | .........................."TODO: do it for this case once \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2119 |                            free-vars issues of theories axioms \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2120 |                            with hypotheses fixed".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: do it for this case once free-vars issues of theories axioms with hypotheses fixed
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", lines 2114-2116, characters 26-56:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2114 | .........................."TODO: filter_good_triggers for this \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2115 |                            case once free-vars issues of theories \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2116 |                            axioms with hypotheses fixed".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: filter_good_triggers for this case once free-vars issues of theories axioms with hypotheses fixed
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", line 2320, characters 20-57:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2320 |   [@ocaml.ppwarning "TODO: add a match construct in expr"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add a match construct in expr
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", line 2319, characters 20-50:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2319 |   [@ocaml.ppwarning "TODO: add other elim schemes"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add other elim schemes
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", line 2318, characters 20-62:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2318 |   [@ocaml.ppwarning "TODO: introduce a let if e is a big expr"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: introduce a let if e is a big expr
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmxa
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Main.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Main.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Main.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmti
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Options.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmi
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmt
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmti
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend__Version.cmx
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_error.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_lexer.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_parser.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_parser.mli
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_printer.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_syntax.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_ty.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_typed_env.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_typed_logic.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/smtlib_typing.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/version.ml
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/version.mli
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmxs
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/CHANGES.md
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/LICENSE
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/LICENSE.md
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/README.md
ocaml4.14.0-psmt2-frontend-0.4.0> Installing /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/doc/psmt2-frontend/odoc-pages/index.mld
ocaml4.14.0-psmt2-frontend-0.4.0> post-installation fixup
ocaml4.14.0-psmt2-frontend-0.4.0> moving /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/doc to /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/share/doc
ocaml4.14.0-psmt2-frontend-0.4.0> shrinking RPATHs of ELF executables and libraries in /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0
ocaml4.14.0-psmt2-frontend-0.4.0> shrinking /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib/ocaml/4.14.0/site-lib/psmt2-frontend/psmt2Frontend.cmxs
ocaml4.14.0-psmt2-frontend-0.4.0> strip is /nix/store/wn31i3dzwahz6ccws8bs1nwyqrpgsvj7-gcc-wrapper-11.3.0/bin/strip
ocaml4.14.0-psmt2-frontend-0.4.0> stripping (with command strip and flags -S) in  /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0/lib
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Records.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/records.ml", line 283, characters 26-69:
ocaml4.14.0-alt-ergo-lib-2.4.2> 283 |         [@ocaml.ppwarning "TODO: should not rebuild if not changed !"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should not rebuild if not changed !
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ty.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/ty.ml", line 200, characters 20-51:
ocaml4.14.0-alt-ergo-lib-2.4.2> 200 |   [@ocaml.ppwarning "TODO: should be implemented ?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should be implemented ?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/ty.ml", line 334, characters 24-65:
ocaml4.14.0-alt-ergo-lib-2.4.2> 334 |       [@ocaml.ppwarning "TODO: detect when there are no changes "]
ocaml4.14.0-alt-ergo-lib-2.4.2>                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: detect when there are no changes 
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/ty.ml", line 589, characters 28-59:
ocaml4.14.0-alt-ergo-lib-2.4.2> 589 |   | _ , _ [@ocaml.ppwarning "TODO: remove fragile pattern "] ->
ocaml4.14.0-alt-ergo-lib-2.4.2>                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: remove fragile pattern 
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/ty.ml", line 639, characters 20-61:
ocaml4.14.0-alt-ergo-lib-2.4.2> 639 |   [@ocaml.ppwarning "TODO: detect when there are no changes "]
ocaml4.14.0-alt-ergo-lib-2.4.2>                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: detect when there are no changes 
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Shostak.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/shostak.ml", lines 551-553, characters 26-39:
ocaml4.14.0-alt-ergo-lib-2.4.2> 551 | .........................."TODO: a simple way of handling equalities \
ocaml4.14.0-alt-ergo-lib-2.4.2> 552 |                            with void and unit is to add this case is \
ocaml4.14.0-alt-ergo-lib-2.4.2> 553 |                            the solver!".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: a simple way of handling equalities with void and unit is to add this case is the solver!
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt_rel.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt_rel.ml", lines 41-42, characters 22-51:
ocaml4.14.0-alt-ergo-lib-2.4.2> 41 | ......................"selectors should be improved. only representatives \
ocaml4.14.0-alt-ergo-lib-2.4.2> 42 |                        in it. No true or false _is".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: selectors should be improved. only representatives in it. No true or false _is
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt_rel.ml", lines 296-297, characters 19-66:
ocaml4.14.0-alt-ergo-lib-2.4.2> 296 | ..................."XXX improve. For each selector, store its \
ocaml4.14.0-alt-ergo-lib-2.4.2> 297 |                     corresponding constructor when typechecking ?".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: XXX improve. For each selector, store its corresponding constructor when typechecking ?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt_rel.ml", line 334, characters 19-72:
ocaml4.14.0-alt-ergo-lib-2.4.2> 334 | [@@ocaml.ppwarning "working with X.term_extract r would be sufficient ?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: working with X.term_extract r would be sufficient ?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt_rel.ml", line 648, characters 31-77:
ocaml4.14.0-alt-ergo-lib-2.4.2> 648 |              [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt_rel.ml", line 709, characters 26-72:
ocaml4.14.0-alt-ergo-lib-2.4.2> 709 |         [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Adt.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", lines 63-64, characters 21-30:
ocaml4.14.0-alt-ergo-lib-2.4.2> 63 | ....................."XXX: IsConstr not interpreted currently. Maybe \
ocaml4.14.0-alt-ergo-lib-2.4.2> 64 |                       it's OK".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: XXX: IsConstr not interpreted currently. Maybe it's OK
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 105, characters 24-64:
ocaml4.14.0-alt-ergo-lib-2.4.2> 105 |       [@ocaml.ppwarning "TODO: canonize Constr(list of selects)"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: canonize Constr(list of selects)
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 227, characters 21-37:
ocaml4.14.0-alt-ergo-lib-2.4.2> 227 |   [@@ocaml.ppwarning "TODO: not sure"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                            ^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: not sure
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 318, characters 24-50:
ocaml4.14.0-alt-ergo-lib-2.4.2> 318 |       [@ocaml.ppwarning "TODO: abstract Selectors"] ->
ocaml4.14.0-alt-ergo-lib-2.4.2>                               ^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: abstract Selectors
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 305, characters 26-66:
ocaml4.14.0-alt-ergo-lib-2.4.2> 305 |         [@ocaml.ppwarning "TODO: abstract Selectors: case to test"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 313, characters 27-67:
ocaml4.14.0-alt-ergo-lib-2.4.2> 313 |          [@ocaml.ppwarning "TODO: abstract Selectors: case to test"] then
ocaml4.14.0-alt-ergo-lib-2.4.2>                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 328, characters 27-53:
ocaml4.14.0-alt-ergo-lib-2.4.2> 328 |          [@ocaml.ppwarning "TODO: abstract Selectors"] then
ocaml4.14.0-alt-ergo-lib-2.4.2>                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: abstract Selectors
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Ite_rel.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/ite_rel.ml", line 119, characters 35-62:
ocaml4.14.0-alt-ergo-lib-2.4.2> 119 |                  [@ocaml.ppwarning "TODO: build IFF instead ?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: build IFF instead ?
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Cnf.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/frontend/cnf.ml", lines 38-40, characters 19-33:
ocaml4.14.0-alt-ergo-lib-2.4.2> 38 | ..................."TODO: Change Symbols.Float to store FP numeral \
ocaml4.14.0-alt-ergo-lib-2.4.2> 39 |                     constants (eg, <24, -149> for single) instead of \
ocaml4.14.0-alt-ergo-lib-2.4.2> 40 |                     having terms".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/frontend/cnf.ml", line 250, characters 29-64:
ocaml4.14.0-alt-ergo-lib-2.4.2> 250 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should introduce fresh vars
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/frontend/cnf.ml", line 475, characters 29-64:
ocaml4.14.0-alt-ergo-lib-2.4.2> 475 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should introduce fresh vars
ocaml4.14.0-psmt2-frontend-0.4.0> patching script interpreter paths in /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0
ocaml4.14.0-psmt2-frontend-0.4.0> checking for references to /build/ in /nix/store/z0zycaq0b377gkg3f4s35nvhlg6cmxsc-ocaml4.14.0-psmt2-frontend-0.4.0...
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml.ml", line 523, characters 26-66:
ocaml4.14.0-alt-ergo-lib-2.4.2> 523 |         [@ocaml.ppwarning "TODO: try to disable 'fill_with_dummy'"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: try to disable 'fill_with_dummy'
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml.ml", lines 1576-1579, characters 28-42:
ocaml4.14.0-alt-ergo-lib-2.4.2> 1576 | ............................"TODO: add a heavy assert that checks \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1577 |                              that clauses are not redundant, watchs \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1578 |                              are well set, unit and bottom are \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1579 |                              detected ...".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add a heavy assert that checks that clauses are not redundant, watchs are well set, unit and bottom are detected ...
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml.ml", lines 1645-1646, characters 22-43:
ocaml4.14.0-alt-ergo-lib-2.4.2> 1645 | ......................"Issue: BAD decision_level, in particular, \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1646 |                        if minimal-bj is ON".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: Issue: BAD decision_level, in particular, if minimal-bj is ON
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__Satml_frontend.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", line 374, characters 24-77:
ocaml4.14.0-alt-ergo-lib-2.4.2> 374 |       [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: modifications made in tbox are lost! improve?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", lines 671-672, characters 6-63:
ocaml4.14.0-alt-ergo-lib-2.4.2> 671 | ......"improve terms / atoms extraction in lazy/non-lazy \
ocaml4.14.0-alt-ergo-lib-2.4.2> 672 |        and greedy/non-greedy mode. Separate atoms from terms !".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: improve terms / atoms extraction in lazy/non-lazy and greedy/non-greedy mode. Separate atoms from terms !
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", line 693, characters 22-75:
ocaml4.14.0-alt-ergo-lib-2.4.2> 693 |     [@ocaml.ppwarning "Issue for greedy: terms inside lemmas not extracted"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: Issue for greedy: terms inside lemmas not extracted
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", lines 714-715, characters 22-73:
ocaml4.14.0-alt-ergo-lib-2.4.2> 714 | ......................"!!! Possibles issues du to replacement of atoms \
ocaml4.14.0-alt-ergo-lib-2.4.2> 715 |                        that are facts with TRUE by mk_lit (and simplify)".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: !!! Possibles issues du to replacement of atoms that are facts with TRUE by mk_lit (and simplify)
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", line 748, characters 28-61:
ocaml4.14.0-alt-ergo-lib-2.4.2> 748 |           [@ocaml.ppwarning "TODO: should be assert failure?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should be assert failure?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", line 846, characters 34-79:
ocaml4.14.0-alt-ergo-lib-2.4.2> 846 |                 [@ocaml.ppwarning "TODO: should fix for unsat cores generation"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should fix for unsat cores generation
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", line 985, characters 20-79:
ocaml4.14.0-alt-ergo-lib-2.4.2> 985 |                     "TODO: first intantiation a la DfsSAT before searching ..."]
ocaml4.14.0-alt-ergo-lib-2.4.2>                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: first intantiation a la DfsSAT before searching ...
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Expr.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", line 1387, characters 33-66:
ocaml4.14.0-alt-ergo-lib-2.4.2> 1387 |       else acc [@ocaml.ppwarning "TODO: add some stuff from let_e"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add some stuff from let_e
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", lines 1599-1601, characters 24-55:
ocaml4.14.0-alt-ergo-lib-2.4.2> 1599 | ........................"TODO: should also inline form in form. But \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1600 |                          not possible to detect if we are not \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1601 |                          inlining a form inside a term".
ocaml4.14.0-alt-ergo-lib-2.4.2> 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
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", lines 2094-2097, characters 34-77:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2094 | .................................."TODO: once 'let x = term in term' \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2095 |                                    added, check that the resulting sbt \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2096 |                                    is well normalized (may be not true \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2097 |                                    depending on the ordering of vars in lets".
ocaml4.14.0-alt-ergo-lib-2.4.2> 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
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", lines 2118-2120, characters 26-49:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2118 | .........................."TODO: do it for this case once \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2119 |                            free-vars issues of theories axioms \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2120 |                            with hypotheses fixed".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: do it for this case once free-vars issues of theories axioms with hypotheses fixed
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", lines 2114-2116, characters 26-56:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2114 | .........................."TODO: filter_good_triggers for this \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2115 |                            case once free-vars issues of theories \
ocaml4.14.0-alt-ergo-lib-2.4.2> 2116 |                            axioms with hypotheses fixed".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: filter_good_triggers for this case once free-vars issues of theories axioms with hypotheses fixed
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", line 2320, characters 20-57:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2320 |   [@ocaml.ppwarning "TODO: add a match construct in expr"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add a match construct in expr
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", line 2319, characters 20-50:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2319 |   [@ocaml.ppwarning "TODO: add other elim schemes"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add other elim schemes
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/expr.ml", line 2318, characters 20-62:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2318 |   [@ocaml.ppwarning "TODO: introduce a let if e is a big expr"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: introduce a let if e is a big expr
ocaml4.14.0-alt-ergo-lib-2.4.2>       ocamlc src/lib/.AltErgoLib.objs/byte/altErgoLib__IntervalCalculus.{cmo,cmt}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/intervalCalculus.ml", line 1838, characters 27-63:
ocaml4.14.0-alt-ergo-lib-2.4.2> 1838 |          [@ocaml.ppwarning "TODO: add other terms such as div!"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add other terms such as div!
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/intervalCalculus.ml", line 2091, characters 28-73:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2091 |           [@ocaml.ppwarning "TODO: find an example triggering this case!"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: find an example triggering this case!
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Cnf.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/frontend/cnf.ml", lines 38-40, characters 19-33:
ocaml4.14.0-alt-ergo-lib-2.4.2> 38 | ..................."TODO: Change Symbols.Float to store FP numeral \
ocaml4.14.0-alt-ergo-lib-2.4.2> 39 |                     constants (eg, <24, -149> for single) instead of \
ocaml4.14.0-alt-ergo-lib-2.4.2> 40 |                     having terms".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: Change Symbols.Float to store FP numeral constants (eg, <24, -149> for single) instead of having terms
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/frontend/cnf.ml", line 250, characters 29-64:
ocaml4.14.0-alt-ergo-lib-2.4.2> 250 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should introduce fresh vars
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/frontend/cnf.ml", line 475, characters 29-64:
ocaml4.14.0-alt-ergo-lib-2.4.2> 475 |            [@ocaml.ppwarning "TODO: should introduce fresh vars"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should introduce fresh vars
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Adt.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", lines 63-64, characters 21-30:
ocaml4.14.0-alt-ergo-lib-2.4.2> 63 | ....................."XXX: IsConstr not interpreted currently. Maybe \
ocaml4.14.0-alt-ergo-lib-2.4.2> 64 |                       it's OK".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: XXX: IsConstr not interpreted currently. Maybe it's OK
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 105, characters 24-64:
ocaml4.14.0-alt-ergo-lib-2.4.2> 105 |       [@ocaml.ppwarning "TODO: canonize Constr(list of selects)"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: canonize Constr(list of selects)
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 227, characters 21-37:
ocaml4.14.0-alt-ergo-lib-2.4.2> 227 |   [@@ocaml.ppwarning "TODO: not sure"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                            ^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: not sure
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 318, characters 24-50:
ocaml4.14.0-alt-ergo-lib-2.4.2> 318 |       [@ocaml.ppwarning "TODO: abstract Selectors"] ->
ocaml4.14.0-alt-ergo-lib-2.4.2>                               ^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: abstract Selectors
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 305, characters 26-66:
ocaml4.14.0-alt-ergo-lib-2.4.2> 305 |         [@ocaml.ppwarning "TODO: abstract Selectors: case to test"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 313, characters 27-67:
ocaml4.14.0-alt-ergo-lib-2.4.2> 313 |          [@ocaml.ppwarning "TODO: abstract Selectors: case to test"] then
ocaml4.14.0-alt-ergo-lib-2.4.2>                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: abstract Selectors: case to test
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt.ml", line 328, characters 27-53:
ocaml4.14.0-alt-ergo-lib-2.4.2> 328 |          [@ocaml.ppwarning "TODO: abstract Selectors"] then
ocaml4.14.0-alt-ergo-lib-2.4.2>                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: abstract Selectors
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Records.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/records.ml", line 283, characters 26-69:
ocaml4.14.0-alt-ergo-lib-2.4.2> 283 |         [@ocaml.ppwarning "TODO: should not rebuild if not changed !"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should not rebuild if not changed !
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Shostak.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/shostak.ml", lines 551-553, characters 26-39:
ocaml4.14.0-alt-ergo-lib-2.4.2> 551 | .........................."TODO: a simple way of handling equalities \
ocaml4.14.0-alt-ergo-lib-2.4.2> 552 |                            with void and unit is to add this case is \
ocaml4.14.0-alt-ergo-lib-2.4.2> 553 |                            the solver!".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: a simple way of handling equalities with void and unit is to add this case is the solver!
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml_types.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/structures/satml_types.ml", line 852, characters 33-71:
ocaml4.14.0-alt-ergo-lib-2.4.2> 852 |                [@ocaml.ppwarning "xlit or at_lit is probably redundant"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: xlit or at_lit is probably redundant
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Ite_rel.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/ite_rel.ml", line 119, characters 35-62:
ocaml4.14.0-alt-ergo-lib-2.4.2> 119 |                  [@ocaml.ppwarning "TODO: build IFF instead ?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: build IFF instead ?
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Adt_rel.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt_rel.ml", lines 41-42, characters 22-51:
ocaml4.14.0-alt-ergo-lib-2.4.2> 41 | ......................"selectors should be improved. only representatives \
ocaml4.14.0-alt-ergo-lib-2.4.2> 42 |                        in it. No true or false _is".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: selectors should be improved. only representatives in it. No true or false _is
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt_rel.ml", lines 296-297, characters 19-66:
ocaml4.14.0-alt-ergo-lib-2.4.2> 296 | ..................."XXX improve. For each selector, store its \
ocaml4.14.0-alt-ergo-lib-2.4.2> 297 |                     corresponding constructor when typechecking ?".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: XXX improve. For each selector, store its corresponding constructor when typechecking ?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt_rel.ml", line 334, characters 19-72:
ocaml4.14.0-alt-ergo-lib-2.4.2> 334 | [@@ocaml.ppwarning "working with X.term_extract r would be sufficient ?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: working with X.term_extract r would be sufficient ?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt_rel.ml", line 648, characters 31-77:
ocaml4.14.0-alt-ergo-lib-2.4.2> 648 |              [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/adt_rel.ml", line 709, characters 26-72:
ocaml4.14.0-alt-ergo-lib-2.4.2> 709 |         [@ocaml.ppwarning "XXX: assume not (. ? .): reasoning missing ?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: XXX: assume not (. ? .): reasoning missing ?
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__IntervalCalculus.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/intervalCalculus.ml", line 1838, characters 27-63:
ocaml4.14.0-alt-ergo-lib-2.4.2> 1838 |          [@ocaml.ppwarning "TODO: add other terms such as div!"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add other terms such as div!
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/intervalCalculus.ml", line 2091, characters 28-73:
ocaml4.14.0-alt-ergo-lib-2.4.2> 2091 |           [@ocaml.ppwarning "TODO: find an example triggering this case!"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: find an example triggering this case!
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml.ml", line 523, characters 26-66:
ocaml4.14.0-alt-ergo-lib-2.4.2> 523 |         [@ocaml.ppwarning "TODO: try to disable 'fill_with_dummy'"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: try to disable 'fill_with_dummy'
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml.ml", lines 1576-1579, characters 28-42:
ocaml4.14.0-alt-ergo-lib-2.4.2> 1576 | ............................"TODO: add a heavy assert that checks \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1577 |                              that clauses are not redundant, watchs \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1578 |                              are well set, unit and bottom are \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1579 |                              detected ...".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: add a heavy assert that checks that clauses are not redundant, watchs are well set, unit and bottom are detected ...
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml.ml", lines 1645-1646, characters 22-43:
ocaml4.14.0-alt-ergo-lib-2.4.2> 1645 | ......................"Issue: BAD decision_level, in particular, \
ocaml4.14.0-alt-ergo-lib-2.4.2> 1646 |                        if minimal-bj is ON".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: Issue: BAD decision_level, in particular, if minimal-bj is ON
ocaml4.14.0-alt-ergo-lib-2.4.2>     ocamlopt src/lib/.AltErgoLib.objs/native/altErgoLib__Satml_frontend.{cmx,o}
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", line 374, characters 24-77:
ocaml4.14.0-alt-ergo-lib-2.4.2> 374 |       [@ocaml.ppwarning "TODO: modifications made in tbox are lost! improve?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: modifications made in tbox are lost! improve?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", lines 671-672, characters 6-63:
ocaml4.14.0-alt-ergo-lib-2.4.2> 671 | ......"improve terms / atoms extraction in lazy/non-lazy \
ocaml4.14.0-alt-ergo-lib-2.4.2> 672 |        and greedy/non-greedy mode. Separate atoms from terms !".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: improve terms / atoms extraction in lazy/non-lazy and greedy/non-greedy mode. Separate atoms from terms !
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", line 693, characters 22-75:
ocaml4.14.0-alt-ergo-lib-2.4.2> 693 |     [@ocaml.ppwarning "Issue for greedy: terms inside lemmas not extracted"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: Issue for greedy: terms inside lemmas not extracted
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", lines 714-715, characters 22-73:
ocaml4.14.0-alt-ergo-lib-2.4.2> 714 | ......................"!!! Possibles issues du to replacement of atoms \
ocaml4.14.0-alt-ergo-lib-2.4.2> 715 |                        that are facts with TRUE by mk_lit (and simplify)".
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: !!! Possibles issues du to replacement of atoms that are facts with TRUE by mk_lit (and simplify)
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", line 748, characters 28-61:
ocaml4.14.0-alt-ergo-lib-2.4.2> 748 |           [@ocaml.ppwarning "TODO: should be assert failure?"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should be assert failure?
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", line 846, characters 34-79:
ocaml4.14.0-alt-ergo-lib-2.4.2> 846 |                 [@ocaml.ppwarning "TODO: should fix for unsat cores generation"]
ocaml4.14.0-alt-ergo-lib-2.4.2>                                         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: should fix for unsat cores generation
ocaml4.14.0-alt-ergo-lib-2.4.2> File "src/lib/reasoners/satml_frontend.ml", line 985, characters 20-79:
ocaml4.14.0-alt-ergo-lib-2.4.2> 985 |                     "TODO: first intantiation a la DfsSAT before searching ..."]
ocaml4.14.0-alt-ergo-lib-2.4.2>                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ocaml4.14.0-alt-ergo-lib-2.4.2> Warning 22 [preprocessor]: TODO: first intantiation a la DfsSAT before searching ...
ocaml4.14.0-alt-ergo-lib-2.4.2> buildPhase completed in 36 seconds
ocaml4.14.0-alt-ergo-lib-2.4.2> installing
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/AltErgoLib.a
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/AltErgoLib.cma
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/AltErgoLib.cmxa
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/META
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ac.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ac.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/adt.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/adt.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/adt_rel.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/adt_rel.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ac.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ac.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ac.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ac.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt_rel.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt_rel.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt_rel.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Adt_rel.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arith.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arith.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arith.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arith.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays_rel.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays_rel.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays_rel.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Arrays_rel.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv_rel.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv_rel.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv_rel.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Bitv_rel.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ccx.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ccx.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ccx.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ccx.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Cnf.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Cnf.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Cnf.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Cnf.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Commands.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Commands.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Commands.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Commands.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Config.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Config.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Config.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Emap.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Emap.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Emap.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Emap.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum_rel.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum_rel.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum_rel.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Enum_rel.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Errors.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Errors.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Errors.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Errors.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Explanation.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Explanation.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Explanation.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Explanation.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Expr.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Expr.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Expr.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Expr.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Format_shims.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Format_shims.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Format_shims.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fpa_rounding.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fpa_rounding.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fpa_rounding.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Frontend.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Frontend.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Frontend.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Frontend.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fun_sat.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fun_sat.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fun_sat.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Fun_sat.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Gc_debug.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Gc_debug.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Gc_debug.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Gc_debug.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hconsing.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hconsing.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hconsing.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hconsing.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hstring.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hstring.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hstring.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Hstring.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Iheap.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Iheap.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Iheap.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Iheap.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Inequalities.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Inequalities.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Inequalities.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Inequalities.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Input.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Input.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Input.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Input.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Instances.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Instances.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Instances.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Instances.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__IntervalCalculus.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__IntervalCalculus.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__IntervalCalculus.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Intervals.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Intervals.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Intervals.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Intervals.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite_rel.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite_rel.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite_rel.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ite_rel.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Lists.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Lists.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Lists.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Lists.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Loc.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Loc.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Loc.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Loc.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching_types.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Matching_types.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyDynlink.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyDynlink.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyDynlink.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyDynlink.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyUnix.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyUnix.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyUnix.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__MyUnix.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Numbers.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Numbers.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Numbers.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Numbers.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumbersInterface.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumbersInterface.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumsNumbers.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumsNumbers.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumsNumbers.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__NumsNumbers.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Options.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Options.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Options.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Options.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed_interface.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed_interface.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed_interface.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Parsed_interface.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Polynome.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Polynome.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Polynome.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Polynome.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Printer.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Printer.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Printer.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Printer.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Profiling.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Profiling.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Profiling.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Profiling.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records_rel.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records_rel.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records_rel.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Records_rel.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Relation.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Relation.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Relation.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Relation.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_types.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_types.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_types.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Satml_types.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Shostak.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Shostak.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Shostak.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Shostak.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sig.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sig.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sig_rel.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Sig_rel.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Steps.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Steps.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Steps.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Steps.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Symbols.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Symbols.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Symbols.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Symbols.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Th_util.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Th_util.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Th_util.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Th_util.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Theory.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Theory.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Theory.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Theory.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Timers.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Timers.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Timers.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Timers.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ty.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ty.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ty.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Ty.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typechecker.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typechecker.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typechecker.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typechecker.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typed.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typed.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typed.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Typed.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Uf.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Uf.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Uf.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Uf.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Use.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Use.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Use.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Use.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Util.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Util.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Util.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Util.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Var.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Var.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Var.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Var.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Vec.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Vec.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Vec.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Vec.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Version.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Version.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Version.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Version.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Xliteral.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Xliteral.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Xliteral.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__Xliteral.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__ZarithNumbers.cmi
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__ZarithNumbers.cmt
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__ZarithNumbers.cmti
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/altErgoLib__ZarithNumbers.cmx
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arith.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arith.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arrays.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arrays.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arrays_rel.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/arrays_rel.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/bitv.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/bitv.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/bitv_rel.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/bitv_rel.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ccx.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ccx.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/cnf.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/cnf.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/commands.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/commands.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/config.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/dune-package
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/emap.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/emap.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/enum.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/enum.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/enum_rel.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/enum_rel.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/errors.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/errors.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/explanation.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/explanation.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/expr.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/expr.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/format_shims.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/fpa_rounding.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/fpa_rounding.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/frontend.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/frontend.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/fun_sat.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/fun_sat.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/gc_debug.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/gc_debug.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/hconsing.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/hconsing.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/hstring.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/hstring.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/iheap.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/iheap.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/inequalities.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/inequalities.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/input.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/input.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/instances.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/instances.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/intervalCalculus.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/intervalCalculus.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/intervals.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/intervals.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ite.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ite.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ite_rel.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ite_rel.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/lists.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/lists.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/loc.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/loc.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/matching.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/matching.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/matching_types.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/missing_primitives.js
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/myDynlink.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/myDynlink.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/myUnix.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/myUnix.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/numbers.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/numbers.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/numbersInterface.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/numsNumbers.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/numsNumbers.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/opam
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/options.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/options.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/parsed.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/parsed.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/parsed_interface.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/parsed_interface.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/polynome.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/polynome.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/printer.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/printer.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/profiling.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/profiling.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/records.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/records.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/records_rel.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/records_rel.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/relation.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/relation.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sat_solver.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sat_solver.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sat_solver_sig.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sat_solver_sig.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_frontend.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_frontend.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_frontend_hybrid.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_frontend_hybrid.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_types.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/satml_types.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/shostak.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/shostak.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sig.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/sig_rel.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/steps.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/steps.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/symbols.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/symbols.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/th_util.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/th_util.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/theory.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/theory.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/timers.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/timers.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ty.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/ty.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/typechecker.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/typechecker.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/typed.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/typed.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/uf.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/uf.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/use.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/use.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/util.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/util.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/var.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/var.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/vec.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/vec.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/version.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/version.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/xliteral.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/xliteral.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/zarithNumbers.ml
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/zarithNumbers.mli
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/AltErgoLib.cmxs
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/doc/alt-ergo-lib/LICENSE.md
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/doc/alt-ergo-lib/README.md
ocaml4.14.0-alt-ergo-lib-2.4.2> Installing /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/doc/alt-ergo-lib/odoc-pages/index.mld
ocaml4.14.0-alt-ergo-lib-2.4.2> post-installation fixup
ocaml4.14.0-alt-ergo-lib-2.4.2> moving /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/doc to /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/share/doc
ocaml4.14.0-alt-ergo-lib-2.4.2> shrinking RPATHs of ELF executables and libraries in /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2
ocaml4.14.0-alt-ergo-lib-2.4.2> shrinking /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-lib/AltErgoLib.cmxs
ocaml4.14.0-alt-ergo-lib-2.4.2> strip is /nix/store/wn31i3dzwahz6ccws8bs1nwyqrpgsvj7-gcc-wrapper-11.3.0/bin/strip
ocaml4.14.0-alt-ergo-lib-2.4.2> stripping (with command strip and flags -S) in  /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2/lib
ocaml4.14.0-alt-ergo-lib-2.4.2> patching script interpreter paths in /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2
ocaml4.14.0-alt-ergo-lib-2.4.2> checking for references to /build/ in /nix/store/rindrvjd5jnk6q74053skq2spqh0kbfi-ocaml4.14.0-alt-ergo-lib-2.4.2...
building '/nix/store/c8cp76w4zk8jg0innimfs3rzqzsk9did-ocaml4.14.0-alt-ergo-parsers-2.4.2.drv'
ocaml4.14.0-alt-ergo-parsers-2.4.2> unpacking sources
ocaml4.14.0-alt-ergo-parsers-2.4.2> unpacking source archive /nix/store/wyxs9c17yvxfwzn38lpwkycy39hihh4p-source
ocaml4.14.0-alt-ergo-parsers-2.4.2> source root is source
ocaml4.14.0-alt-ergo-parsers-2.4.2> patching sources
ocaml4.14.0-alt-ergo-parsers-2.4.2> configuring
ocaml4.14.0-alt-ergo-parsers-2.4.2> configure flags: --prefix=/nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2 alt-ergo-parsers
ocaml4.14.0-alt-ergo-parsers-2.4.2> Using provided value for 'prefix' : /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2
ocaml4.14.0-alt-ergo-parsers-2.4.2> Using default value for 'libdir' : /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib
ocaml4.14.0-alt-ergo-parsers-2.4.2> Using default value for 'mandir' : /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/man
ocaml4.14.0-alt-ergo-parsers-2.4.2> Generating file src/lib/util/config.ml...done.
ocaml4.14.0-alt-ergo-parsers-2.4.2> Generating file src/bin/text/flags.dune...done.
ocaml4.14.0-alt-ergo-parsers-2.4.2> Generating file Makefile.config...done.
ocaml4.14.0-alt-ergo-parsers-2.4.2> Good to go!
ocaml4.14.0-alt-ergo-parsers-2.4.2> building
ocaml4.14.0-alt-ergo-parsers-2.4.2> installing
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.a
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cma
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxa
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/META
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmi
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmt
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.cmx
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers.ml
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmi
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmt
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmti
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__MyZip.cmx
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmi
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmt
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmx
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmi
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmt
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmti
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmx
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmi
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmt
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmti
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmx
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/dune-package
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/missing_primitives.js
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/myZip.ml
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/myZip.mli
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_lexer.ml
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_parser.ml
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/native_parser.mli
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/opam
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers.ml
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers.mli
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers_loader.ml
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/parsers_loader.mli
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/psmt2_to_alt_ergo.ml
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/psmt2_to_alt_ergo.mli
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxs
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/LICENSE.md
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/README.md
ocaml4.14.0-alt-ergo-parsers-2.4.2> Installing /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc/alt-ergo-parsers/odoc-pages/index.mld
ocaml4.14.0-alt-ergo-parsers-2.4.2> post-installation fixup
ocaml4.14.0-alt-ergo-parsers-2.4.2> moving /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/doc to /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/share/doc
ocaml4.14.0-alt-ergo-parsers-2.4.2> shrinking RPATHs of ELF executables and libraries in /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2
ocaml4.14.0-alt-ergo-parsers-2.4.2> shrinking /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo-parsers/AltErgoParsers.cmxs
ocaml4.14.0-alt-ergo-parsers-2.4.2> strip is /nix/store/wn31i3dzwahz6ccws8bs1nwyqrpgsvj7-gcc-wrapper-11.3.0/bin/strip
ocaml4.14.0-alt-ergo-parsers-2.4.2> stripping (with command strip and flags -S) in  /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2/lib
ocaml4.14.0-alt-ergo-parsers-2.4.2> patching script interpreter paths in /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2
ocaml4.14.0-alt-ergo-parsers-2.4.2> checking for references to /build/ in /nix/store/2740ayvlag1c5h8vvs6y9ji4vvrq4vw7-ocaml4.14.0-alt-ergo-parsers-2.4.2...
building '/nix/store/nglh7293z2b4g8qdi9cg4vlqhham7ayq-ocaml4.14.0-alt-ergo-2.4.2.drv'
ocaml4.14.0-alt-ergo-2.4.2> unpacking sources
ocaml4.14.0-alt-ergo-2.4.2> unpacking source archive /nix/store/wyxs9c17yvxfwzn38lpwkycy39hihh4p-source
ocaml4.14.0-alt-ergo-2.4.2> source root is source
ocaml4.14.0-alt-ergo-2.4.2> patching sources
ocaml4.14.0-alt-ergo-2.4.2> configuring
ocaml4.14.0-alt-ergo-2.4.2> configure flags: --prefix=/nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2 alt-ergo
ocaml4.14.0-alt-ergo-2.4.2> Using provided value for 'prefix' : /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2
ocaml4.14.0-alt-ergo-2.4.2> Using default value for 'libdir' : /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/lib
ocaml4.14.0-alt-ergo-2.4.2> Using default value for 'mandir' : /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/man
ocaml4.14.0-alt-ergo-2.4.2> Generating file src/lib/util/config.ml...done.
ocaml4.14.0-alt-ergo-2.4.2> Generating file src/bin/text/flags.dune...done.
ocaml4.14.0-alt-ergo-2.4.2> Generating file Makefile.config...done.
ocaml4.14.0-alt-ergo-2.4.2> Good to go!
ocaml4.14.0-alt-ergo-2.4.2> building
ocaml4.14.0-alt-ergo-2.4.2> installing
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/META
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/dune-package
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/lib/ocaml/4.14.0/site-lib/alt-ergo/opam
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/bin/alt-ergo
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cma
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cmxs
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cma
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cmxs
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/b-set-theory-prelude-2018-09-28.ae
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/b-set-theory-prelude-2020-02-28.ae
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.ae
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2019-06-14-11h00.ae
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/preludes/fpa-theory-2019-10-08-19h00.ae
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/LICENSE.md
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/README.md
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index.mld
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_abwhy3.mld
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_common.mld
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/doc/alt-ergo/odoc-pages/index_fmsimplex.mld
ocaml4.14.0-alt-ergo-2.4.2> Installing /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/man/man1/alt-ergo.1
ocaml4.14.0-alt-ergo-2.4.2> post-installation fixup
ocaml4.14.0-alt-ergo-2.4.2> moving /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/man to /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/man
ocaml4.14.0-alt-ergo-2.4.2> moving /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/doc to /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/doc
ocaml4.14.0-alt-ergo-2.4.2> shrinking RPATHs of ELF executables and libraries in /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2
ocaml4.14.0-alt-ergo-2.4.2> shrinking /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/bin/alt-ergo
ocaml4.14.0-alt-ergo-2.4.2> shrinking /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/AB-Why3-plugin.cmxs
ocaml4.14.0-alt-ergo-2.4.2> shrinking /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/alt-ergo/plugins/fm-simplex-plugin.cmxs
ocaml4.14.0-alt-ergo-2.4.2> gzipping man pages under /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/share/man/
ocaml4.14.0-alt-ergo-2.4.2> strip is /nix/store/wn31i3dzwahz6ccws8bs1nwyqrpgsvj7-gcc-wrapper-11.3.0/bin/strip
ocaml4.14.0-alt-ergo-2.4.2> stripping (with command strip and flags -S) in  /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/lib /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2/bin
ocaml4.14.0-alt-ergo-2.4.2> patching script interpreter paths in /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2
ocaml4.14.0-alt-ergo-2.4.2> checking for references to /build/ in /nix/store/5dfkxg6n9wrx2zjw5v24fg0kdzbyh6nk-ocaml4.14.0-alt-ergo-2.4.2...

upload niks3: ok