D: [iurt_root_command] chroot Building target platforms: x86_64 Building for target x86_64 Installing /home/pterjan/rpmbuild/SRPMS/alt-ergo-2.3.3-1.mga10.src.rpm Executing(%mkbuilddir): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.294sHU + umask 022 + cd /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + test -d /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + /usr/bin/rm -rf /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.ynlTXJ + umask 022 + cd /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + cd /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + rm -rf alt-ergo-2.3.0-free + /usr/lib/rpm/rpmuncompress -x /home/pterjan/rpmbuild/SOURCES/alt-ergo-free-2.3.0.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd alt-ergo-2.3.0-free + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + rm -rf sources + tar xf /home/pterjan/rpmbuild/SOURCES/alt-ergo-free-2.3.3.tar.gz + /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/alt-ergo-pervasives.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/alt-ergo-psmt2-frontend.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/alt-ergo-menhir.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/alt-ergo-forward-compat.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/pterjan/rpmbuild/SOURCES/alt-ergo-dune3.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + cd sources + cd examples/AB-Why3-plugin + unzip p4_34.why.zip Archive: p4_34.why.zip inflating: p4_34.why + rm p4_34.why.zip + cd - /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources + rm -f altgr-ergo.opam + rm -rf tools/gui/ + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.BL4vvI + umask 022 + cd /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full ' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd alt-ergo-2.3.0-free + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + cd sources + ./configure --prefix=/usr --libdir=/usr/lib64/ocaml --sharedir=/usr/lib64/ocaml Using provided value for 'prefix' : /usr Using provided value for 'libdir' : /usr/lib64/ocaml Using provided value for 'sharedir' : /usr/lib64/ocaml Using default value for 'mandir' : /usr/man Using default value for 'pluginsdir' : /usr/lib64/ocaml/alt-ergo/plugins Using default value for 'preludesdir' : /usr/lib64/ocaml/alt-ergo/preludes Generating file lib/util/config.ml...done. Generating file Makefile.config...done. Found dune in path. Good to go ! + make lib dune build \ lib/AltErgoLib.cma \ lib/AltErgoLib.cmxa \ lib/AltErgoLib.cmxs + make bin dune build _build/install/default/bin/alt-ergo ln -sf _build/install/default/bin/alt-ergo alt-ergo + make plugins dune build \ _build/install/default/share/alt-ergo/plugins/fm-simplex-plugin.cma \ _build/install/default/share/alt-ergo/plugins/fm-simplex-plugin.cmxs \ _build/install/default/share/alt-ergo/plugins/AB-Why3-plugin.cma \ _build/install/default/share/alt-ergo/plugins/AB-Why3-plugin.cmxs + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.DLVH2G + umask 022 + cd /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + '[' 1 -eq 1 ']' + '[' /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT '!=' / ']' + rm -rf /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT ++ dirname /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT + mkdir -p /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + mkdir /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT + CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full ' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd alt-ergo-2.3.0-free + '[' 1 -eq 1 ']' + cd sources + /usr/bin/make install DESTDIR=/home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT 'INSTALL=/usr/bin/install -p' 'DUNE_FLAGS=-p alt-ergo,alt-ergo-lib,alt-ergo-parsers,alt-ergo-lib-free,alt-ergo-free,alt-ergo-parsers-free' dune build -p alt-ergo,alt-ergo-lib,alt-ergo-parsers,alt-ergo-lib-free,alt-ergo-free,alt-ergo-parsers-free @install ln -sf _build/install/default/bin/alt-ergo alt-ergo ln -sf _build/install/default/bin/altgr-ergo altgr-ergo dune install -p alt-ergo,alt-ergo-lib,alt-ergo-parsers,alt-ergo-lib-free,alt-ergo-free,alt-ergo-parsers-free \ --prefix /usr \ --libdir /usr/lib64/ocaml \ --mandir /usr/man Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo/META Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo/dune-package Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo/opam Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/bin/alt-ergo Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/plugins/AB-Why3-plugin.cma Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/plugins/AB-Why3-plugin.cmxs Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/plugins/fm-simplex-plugin.cma Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/plugins/fm-simplex-plugin.cmxs Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/preludes/b-set-theory-prelude-2018-09-28.ae Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc/alt-ergo/CHANGES Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc/alt-ergo/odoc-pages/index.mld Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-free/META Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-free/dune-package Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-free/opam Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc/alt-ergo-free/CHANGES Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.a Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cma Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cmxa Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/META Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/ac.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/ac.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/adt.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/adt.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/adt_rel.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/adt_rel.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Expr.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Expr.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Expr.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Expr.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Input.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Input.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Input.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Input.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Instances.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Instances.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Instances.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Instances.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Lists.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Lists.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Lists.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Lists.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Loc.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Loc.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Loc.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Loc.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Options.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Options.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Options.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Options.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Relation.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Relation.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Relation.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Relation.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Theory.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Theory.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Theory.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Theory.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Timers.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Timers.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Timers.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Timers.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ty.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ty.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ty.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ty.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typed.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typed.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typed.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typed.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Uf.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Uf.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Uf.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Uf.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Use.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Use.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Use.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Use.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Util.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Util.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Util.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Util.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Var.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Var.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Var.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Var.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Vec.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Vec.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Vec.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Vec.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Version.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Version.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Version.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Version.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/arith.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/arith.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/arrays.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/arrays.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/arrays_rel.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/arrays_rel.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/bitv.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/bitv.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/bitv_rel.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/bitv_rel.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/ccx.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/ccx.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/cnf.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/cnf.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/commands.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/commands.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/config.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/dune-package Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/emap.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/emap.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/enum.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/enum.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/enum_rel.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/enum_rel.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/errors.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/errors.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/explanation.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/explanation.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/expr.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/expr.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/fpa_rounding.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/fpa_rounding.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/frontend.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/frontend.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/fun_sat.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/fun_sat.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/gc_debug.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/gc_debug.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/hconsing.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/hconsing.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/hstring.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/hstring.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/iheap.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/iheap.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/inequalities.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/inequalities.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/input.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/input.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/instances.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/instances.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/intervalCalculus.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/intervalCalculus.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/intervals.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/intervals.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/ite.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/ite.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/ite_rel.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/ite_rel.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/lists.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/lists.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/loc.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/loc.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/matching.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/matching.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/matching_types.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/myDynlink.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/myDynlink.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/myUnix.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/myUnix.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/numbers.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/numbers.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/numbersInterface.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/numsNumbers.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/numsNumbers.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/opam Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/options.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/options.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/parsed.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/parsed.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/parsed_interface.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/parsed_interface.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/polynome.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/polynome.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/profiling.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/profiling.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/records.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/records.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/records_rel.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/records_rel.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/relation.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/relation.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/sat_solver.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/sat_solver.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/sat_solver_sig.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/sat_solver_sig.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/satml.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/satml.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/satml_frontend.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/satml_frontend.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/satml_frontend_hybrid.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/satml_frontend_hybrid.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/satml_types.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/satml_types.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/shostak.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/shostak.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/sig.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/sig_rel.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/symbols.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/symbols.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/th_util.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/th_util.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/theory.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/theory.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/timers.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/timers.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/ty.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/ty.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/typechecker.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/typechecker.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/typed.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/typed.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/uf.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/uf.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/use.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/use.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/util.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/util.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/var.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/var.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/vec.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/vec.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/version.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/version.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/xliteral.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/xliteral.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/zarithNumbers.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/zarithNumbers.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cmxs Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc/alt-ergo-lib/CHANGES Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc/alt-ergo-lib/odoc-pages/index.mld Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib-free/META Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib-free/dune-package Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib-free/opam Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc/alt-ergo-lib-free/CHANGES Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.a Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cma Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cmxa Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/META Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmi Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmt Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmti Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmx Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/dune-package Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/myZip.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/myZip.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/opam Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/parsers.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/parsers.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/parsers_loader.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/parsers_loader.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/psmt2_to_alt_ergo.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/psmt2_to_alt_ergo.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/why_lexer.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/why_parser.ml Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/why_parser.mli Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cmxs Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc/alt-ergo-parsers/CHANGES Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc/alt-ergo-parsers/odoc-pages/index.mld Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers-free/META Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers-free/dune-package Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers-free/opam Installing /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc/alt-ergo-parsers-free/CHANGES + find /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml -name '*.ml' -delete + rm -fr /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc + mkdir -p /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/man/man1 + cp -p doc/alt-ergo.1 /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/man/man1 + mv /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/plugins /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/preludes /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo + rmdir /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo + /usr/lib/rpm/check-buildroot + '[' -n '' ']' + /usr/share/spec-helper/clean_files + '[' -n '' ']' + /usr/share/spec-helper/compress_files .xz + '[' -n '' ']' + /usr/share/spec-helper/relink_symlinks + '[' -n '' ']' + /usr/share/spec-helper/clean_perl + '[' -n '' ']' + /usr/share/spec-helper/lib_symlinks + '[' -n '' ']' + /usr/share/spec-helper/gprintify + '[' -n '' ']' + /usr/share/spec-helper/fix_mo + '[' -n '' ']' + /usr/share/spec-helper/fix_pamd + '[' -n '' ']' + /usr/share/spec-helper/remove_info_dir + '[' -n '' ']' + /usr/share/spec-helper/fix_eol + '[' -n '' ']' + /usr/share/spec-helper/check_desktop_files + '[' -n '' ']' + /usr/share/spec-helper/check_elf_files + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/brp-remove-la-files + /usr/lib/rpm/redhat/brp-mangle-shebangs + env -u SOURCE_DATE_EPOCH /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j16 + /usr/lib/rpm/redhat/brp-python-hardlink Reading /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.M4pO0v + umask 022 + cd /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + CFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full ' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wformat -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -m64 -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection=full ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,--as-needed -Wl,--no-undefined -Wl,-z,relro -Wl,-z,now -Wl,-O1 -Wl,--build-id=sha1 -Wl,--enable-new-dtags -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd alt-ergo-2.3.0-free + '[' 1 -eq 1 ']' + cd sources + dune runtest --verbose --release -j16 Shared cache: disabled Workspace root: /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources Running[0]: /usr/bin/ocamlc.opt -config > /tmp/dune_a65c0a_output Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; for_host = None ; fdo_target_exe = None ; build_dir = "default" ; toplevel_path = None ; ocaml_bin = External "/usr/bin" ; ocaml = Ok External "/usr/bin/ocaml" ; ocamlc = External "/usr/bin/ocamlc.opt" ; ocamlopt = Ok External "/usr/bin/ocamlopt.opt" ; ocamldep = Ok External "/usr/bin/ocamldep.opt" ; ocamlmklib = Ok External "/usr/bin/ocamlmklib.opt" ; env = map { "CAML_LD_LIBRARY_PATH" : "/home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/_build/install/default/lib/stublibs" ; "DUNE_OCAML_HARDCODED" : "/usr/lib64/ocaml" ; "DUNE_OCAML_STDLIB" : "/usr/lib64/ocaml" ; "DUNE_SOURCEROOT" : "/home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources" ; "INSIDE_DUNE" : "/home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/_build/default" ; "MANPATH" : "/home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/_build/install/default/bin" ; "OCAMLFIND_IGNORE_DUPS_IN" : "/home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/_build/install/default/lib" ; "OCAMLPATH" : "/home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/_build/install/default/lib" ; "OCAMLTOP_INCLUDE_PATH" : "/home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/_build/install/default/lib/toplevel" } ; findlib_paths = [ External "/usr/lib64/ocaml" ] ; arch_sixtyfour = true ; natdynlink_supported = true ; supports_shared_libraries = true ; ocaml_config = { version = "4.14.0" ; standard_library_default = "/usr/lib64/ocaml" ; standard_library = "/usr/lib64/ocaml" ; standard_runtime = "the_standard_runtime_variable_was_deleted" ; ccomp_type = "cc" ; c_compiler = "gcc" ; ocamlc_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ] ; ocamlc_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; ocamlopt_cflags = [ "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ] ; ocamlopt_cppflags = [ "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-D_FILE_OFFSET_BITS=64" ] ; bytecomp_c_libraries = [ "-Wl,--as-needed" ; "-Wl,-z,relro" ; "-Wl,-O1" ; "-Wl,--build-id" ; "-Wl,--enable-new-dtags" ; "-lm" ; "-lpthread" ] ; native_c_compiler = [ "gcc" ; "-O2" ; "-fno-strict-aliasing" ; "-fwrapv" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-pthread" ; "-fPIC" ; "-O2" ; "-g" ; "-pipe" ; "-Wformat" ; "-Werror=format-security" ; "-Wp,-D_FORTIFY_SOURCE=2" ; "-fstack-protector" ; "--param=ssp-buffer-size=4" ; "-fasynchronous-unwind-tables" ; "-D_FILE_OFFSET_BITS=64" ] ; native_c_libraries = [ "-Wl,--as-needed" ; "-Wl,-z,relro" ; "-Wl,-O1" ; "-Wl,--build-id" ; "-Wl,--enable-new-dtags" ; "-lm" ] ; native_pack_linker = [ "ld"; "-r"; "-o" ] ; cc_profile = [] ; architecture = "amd64" ; model = "default" ; int_size = 63 ; word_size = 64 ; system = "linux" ; asm = [ "gcc"; "-c" ] ; asm_cfi_supported = true ; with_frame_pointers = false ; ext_exe = "" ; ext_obj = ".o" ; ext_asm = ".s" ; ext_lib = ".a" ; ext_dll = ".so" ; os_type = "Unix" ; default_executable_name = "a.out" ; systhread_supported = true ; host = "x86_64-pc-linux-gnu" ; target = "x86_64-pc-linux-gnu" ; profiling = false ; flambda = false ; spacetime = false ; safe_string = true ; exec_magic_number = "Caml1999X031" ; cmi_magic_number = "Caml1999I031" ; cmo_magic_number = "Caml1999O031" ; cma_magic_number = "Caml1999A031" ; cmx_magic_number = "Caml1999Y031" ; cmxa_magic_number = "Caml1999Z031" ; ast_impl_magic_number = "Caml1999M031" ; ast_intf_magic_number = "Caml1999N031" ; cmxs_magic_number = "Caml1999D031" ; cmt_magic_number = "Caml1999T031" ; natdynlink_supported = true ; supports_shared_libraries = true ; windows_unicode = false } } + RPM_EC=0 ++ jobs -p + exit 0 Processing files: alt-ergo-2.3.3-1.mga10.x86_64 Executing(%doc): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.wMQu6V + umask 022 + cd /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + cd alt-ergo-2.3.0-free + DOCDIR=/home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/README.md /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/CHANGES /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/examples /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/publications/Alt-Ergo--Atelier-B--RSSR-2016.pdf /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/publications/Alt-Ergo-2.2--SMT-Workshop-2018.pdf /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + RPM_EC=0 ++ jobs -p + exit 0 Provides: alt-ergo = 2.3.3-1.mga10 alt-ergo(x86-64) = 2.3.3-1.mga10 ocaml(ABWhy3Plugin) = 1042c4969e2efa1a1e19193b081076fc ocaml(ABWhy3Plugin__Why3_lexer) = eb8a3dd0cfcb3a754c853045d9e005fc ocaml(ABWhy3Plugin__Why3_loc) = 920216e2afffefc514bd7bf136250cb5 ocaml(ABWhy3Plugin__Why3_parser) = f72e866fdbb6b33ea9295487129740a8 ocaml(ABWhy3Plugin__Why3_ptree) = a001944461ce4851b8169e9c2ee9f5b1 ocaml(FmSimplexPlugin) = b719dc6e69fbaf7de85b686b978404af ocaml(FmSimplexPlugin__FmSimplexIneqs) = 608ce0cb5d18156ba2265239019f643f ocaml(FmSimplexPlugin__Simplex) = 5ded00302fe3638ce152def6dee2c550 ocaml(FmSimplexPlugin__Simplex_cache) = 6cc05d77def66de5ff232059321c08e3 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.10)(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.16)(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libc.so.6(GLIBC_2.9)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) libz.so.1()(64bit) ocaml(ABWhy3Plugin) = 1042c4969e2efa1a1e19193b081076fc ocaml(ABWhy3Plugin__Why3_loc) = 920216e2afffefc514bd7bf136250cb5 ocaml(ABWhy3Plugin__Why3_parser) = f72e866fdbb6b33ea9295487129740a8 ocaml(ABWhy3Plugin__Why3_ptree) = a001944461ce4851b8169e9c2ee9f5b1 ocaml(AltErgoLib) = 2805a9ba4c0200933b0aebe076a87520 ocaml(AltErgoLib__Ac) = ce5bc384acfde88d8754e98ef3878c2e ocaml(AltErgoLib__Adt) = 5936b5e6260bc74eca9142d5046dc836 ocaml(AltErgoLib__Arrays) = 02b2fa56f51840de162bda316c245a27 ocaml(AltErgoLib__Bitv) = 6320ae1a827b7214c306dccb09394092 ocaml(AltErgoLib__Enum) = 9e0e53df6d5390cf838a9352e00b4a56 ocaml(AltErgoLib__Explanation) = cb41b4d8d37190996392adeb41b62df5 ocaml(AltErgoLib__Expr) = 6fa355919f817f5185a0f8ca3d11cf46 ocaml(AltErgoLib__Hstring) = c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Inequalities) = 4a6b1996a7c5386d5e4a20d93ba7e227 ocaml(AltErgoLib__Ite) = b8ee2546edf14396ecf727ca2fb08758 ocaml(AltErgoLib__Loc) = b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__Numbers) = 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__NumbersInterface) = 181149daa6fe682f6f5620828b3bdef3 ocaml(AltErgoLib__Options) = 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Parsed) = ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Parsed_interface) = cf785c50d11b6d9f8f07c6801663e599 ocaml(AltErgoLib__Polynome) = 19753a6ac56e7fd7db9f9ad20dfacafe ocaml(AltErgoLib__Records) = 7192168f0fd7b69756eca3725dc9229a ocaml(AltErgoLib__Satml_types) = 4a6c2e8227afdf786a9032b2ae895bd2 ocaml(AltErgoLib__Shostak) = aee4ebdf0db343bbe808fe1ac7c8525e ocaml(AltErgoLib__Sig) = f726c85171660981807d32a8ce4cff3e ocaml(AltErgoLib__Symbols) = d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Ty) = 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Typed) = a8ff61a6bb7fc2a4549d357425c3b79a ocaml(AltErgoLib__Util) = ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Var) = 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoLib__Vec) = 6225abb9e030add87cadea5da5042492 ocaml(AltErgoParsers) = db2285e8da323cbeb0ca16107a3d5fc2 ocaml(AltErgoParsers__Parsers) = efee12d9ac60bf318ea2db0c98768227 ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37 ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(FmSimplexPlugin) = b719dc6e69fbaf7de85b686b978404af ocaml(FmSimplexPlugin__Simplex) = 5ded00302fe3638ce152def6dee2c550 ocaml(FmSimplexPlugin__Simplex_cache) = 6cc05d77def66de5ff232059321c08e3 ocaml(MenhirLib) = 3ec00a6f1f5ba9c7faa313eb03850c8d ocaml(Nat) = cf53074211ea56c636ac753b3faa2286 ocaml(Num) = d7e7bf3115ef0f4d7fc54872e5ab1a14 ocaml(Ratio) = 28be2dbf598b1671fb5c1b4bdf6e2b0b ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Bytes) = 3d02c33317c0108c61e7a5eefa37519a ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355 ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Queue) = b066724fe533c7b8fc9b521e37aedad8 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 Processing files: ocaml-alt-ergo-parsers-2.3.3-1.mga10.x86_64 Provides: ocaml(AltErgoParsers) = db2285e8da323cbeb0ca16107a3d5fc2 ocaml(AltErgoParsers__MyZip) = deca2516f1fe6634681e8e06a4e11508 ocaml(AltErgoParsers__Parsers) = efee12d9ac60bf318ea2db0c98768227 ocaml(AltErgoParsers__Parsers_loader) = 1cfce6e3fa809e1823f069538f4c4ec2 ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = be851fd3d8d4c60c4277513a418e1149 ocaml(AltErgoParsers__Why_lexer) = fcee75a4ad906d7bc343716d1c28cea9 ocaml(AltErgoParsers__Why_parser) = 6fe205aaef100d6231b8edb8c0bd1d27 ocaml-alt-ergo-parsers = 2.3.3-1.mga10 ocaml-alt-ergo-parsers(x86-64) = 2.3.3-1.mga10 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 2805a9ba4c0200933b0aebe076a87520 ocaml(AltErgoLib__Config) = 9835656dab47de6cda20af4248b2c2cf ocaml(AltErgoLib__Errors) = 8ddedb86ddf18434908fc29a84d5546c ocaml(AltErgoLib__Hstring) = c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Loc) = b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__MyDynlink) = 5a67fb8407d6c8e5a46cd8e666501148 ocaml(AltErgoLib__Numbers) = 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__NumbersInterface) = 181149daa6fe682f6f5620828b3bdef3 ocaml(AltErgoLib__Options) = 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Parsed) = ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Parsed_interface) = cf785c50d11b6d9f8f07c6801663e599 ocaml(AltErgoLib__Symbols) = d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Ty) = 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Util) = ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Var) = 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoParsers) = db2285e8da323cbeb0ca16107a3d5fc2 ocaml(AltErgoParsers__MyZip) = deca2516f1fe6634681e8e06a4e11508 ocaml(AltErgoParsers__Parsers) = efee12d9ac60bf318ea2db0c98768227 ocaml(AltErgoParsers__Parsers_loader) = 1cfce6e3fa809e1823f069538f4c4ec2 ocaml(AltErgoParsers__Why_parser) = 6fe205aaef100d6231b8edb8c0bd1d27 ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37 ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(Nat) = cf53074211ea56c636ac753b3faa2286 ocaml(Num) = d7e7bf3115ef0f4d7fc54872e5ab1a14 ocaml(Psmt2Frontend) = 606c3212e2cdca58a7413943d1c1f655 ocaml(Psmt2Frontend__Options) = f2a7d3b1791e22532e11aab66897b80e ocaml(Psmt2Frontend__Smtlib_error) = 9db40cf067a5f5dfaee657fa78b512c2 ocaml(Psmt2Frontend__Smtlib_lexer) = 9e85d1060c958e8d001eb03bca8f6a88 ocaml(Psmt2Frontend__Smtlib_parser) = e81464008f8a2258172e55589846de9e ocaml(Psmt2Frontend__Smtlib_printer) = be9f1a8a628fcb7f7a036510514a2463 ocaml(Psmt2Frontend__Smtlib_syntax) = cb4c1e026844f8e78cd5146035b5774a ocaml(Psmt2Frontend__Smtlib_ty) = 8661f17d2610dfba82827494bde6d5dd ocaml(Psmt2Frontend__Smtlib_typed_env) = 990dd6593a57a6587922a1820ed67a83 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 812b13d1c32c68cbda2225da8fe9f724 ocaml(Psmt2Frontend__Smtlib_typing) = ac4488d3b0b57c9b3b554ec5407ec195 ocaml(Ratio) = 28be2dbf598b1671fb5c1b4bdf6e2b0b ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Zip) = 0611311d26f05fe79e34390886c01f94 Processing files: ocaml-alt-ergo-parsers-devel-2.3.3-1.mga10.x86_64 Provides: ocaml(AltErgoParsers) = db2285e8da323cbeb0ca16107a3d5fc2 ocaml(AltErgoParsers__MyZip) = deca2516f1fe6634681e8e06a4e11508 ocaml(AltErgoParsers__Parsers) = efee12d9ac60bf318ea2db0c98768227 ocaml(AltErgoParsers__Parsers_loader) = 1cfce6e3fa809e1823f069538f4c4ec2 ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = be851fd3d8d4c60c4277513a418e1149 ocaml(AltErgoParsers__Why_lexer) = fcee75a4ad906d7bc343716d1c28cea9 ocaml(AltErgoParsers__Why_parser) = 6fe205aaef100d6231b8edb8c0bd1d27 ocaml-alt-ergo-parsers-devel = 2.3.3-1.mga10 ocaml-alt-ergo-parsers-devel(x86-64) = 2.3.3-1.mga10 ocamlx(AltErgoParsers) = 2b4c01c16ce064fc7fc5677d8cf7e90e ocamlx(AltErgoParsers__MyZip) = a4ee5d67f4996bac044a3c39683a97f2 ocamlx(AltErgoParsers__Parsers) = 38dd3ba9b15229fc372d9ed3f2960c40 ocamlx(AltErgoParsers__Parsers_loader) = 404f6bb7be16c61e2298594a64c02afb ocamlx(AltErgoParsers__Psmt2_to_alt_ergo) = d1ea4ae5f6aa7ce8e201e8f41efc894e ocamlx(AltErgoParsers__Why_lexer) = c43d7563fd1a007546b51fdfc213315c ocamlx(AltErgoParsers__Why_parser) = 679d36b241b8f1e5b9fcb9cbbdc56c15 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 2805a9ba4c0200933b0aebe076a87520 ocaml(AltErgoLib__Config) = 9835656dab47de6cda20af4248b2c2cf ocaml(AltErgoLib__Errors) = 8ddedb86ddf18434908fc29a84d5546c ocaml(AltErgoLib__Hstring) = c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Loc) = b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__MyDynlink) = 5a67fb8407d6c8e5a46cd8e666501148 ocaml(AltErgoLib__Numbers) = 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__NumbersInterface) = 181149daa6fe682f6f5620828b3bdef3 ocaml(AltErgoLib__Options) = 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Parsed) = ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Parsed_interface) = cf785c50d11b6d9f8f07c6801663e599 ocaml(AltErgoLib__Symbols) = d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Ty) = 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Util) = ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Var) = 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoParsers) = db2285e8da323cbeb0ca16107a3d5fc2 ocaml(AltErgoParsers__MyZip) = deca2516f1fe6634681e8e06a4e11508 ocaml(AltErgoParsers__Parsers) = efee12d9ac60bf318ea2db0c98768227 ocaml(AltErgoParsers__Parsers_loader) = 1cfce6e3fa809e1823f069538f4c4ec2 ocaml(AltErgoParsers__Why_parser) = 6fe205aaef100d6231b8edb8c0bd1d27 ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37 ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(Nat) = cf53074211ea56c636ac753b3faa2286 ocaml(Num) = d7e7bf3115ef0f4d7fc54872e5ab1a14 ocaml(Psmt2Frontend) = 606c3212e2cdca58a7413943d1c1f655 ocaml(Psmt2Frontend__Options) = f2a7d3b1791e22532e11aab66897b80e ocaml(Psmt2Frontend__Smtlib_error) = 9db40cf067a5f5dfaee657fa78b512c2 ocaml(Psmt2Frontend__Smtlib_lexer) = 9e85d1060c958e8d001eb03bca8f6a88 ocaml(Psmt2Frontend__Smtlib_parser) = e81464008f8a2258172e55589846de9e ocaml(Psmt2Frontend__Smtlib_printer) = be9f1a8a628fcb7f7a036510514a2463 ocaml(Psmt2Frontend__Smtlib_syntax) = cb4c1e026844f8e78cd5146035b5774a ocaml(Psmt2Frontend__Smtlib_ty) = 8661f17d2610dfba82827494bde6d5dd ocaml(Psmt2Frontend__Smtlib_typed_env) = 990dd6593a57a6587922a1820ed67a83 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 812b13d1c32c68cbda2225da8fe9f724 ocaml(Psmt2Frontend__Smtlib_typing) = ac4488d3b0b57c9b3b554ec5407ec195 ocaml(Ratio) = 28be2dbf598b1671fb5c1b4bdf6e2b0b ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Zip) = 0611311d26f05fe79e34390886c01f94 ocamlx(AltErgoLib__Config) = 53fa23d07131c993d9de625ef0c942c7 ocamlx(AltErgoLib__Errors) = b0ee91ac6d559a5b571a86571ac01ff7 ocamlx(AltErgoLib__Loc) = 807c83c8bc40d700f22ebd9a0528498b ocamlx(AltErgoLib__MyDynlink) = 09e0f58bdf5cafb8df6ca79ea33c34fd ocamlx(AltErgoLib__Options) = 95b339b20019021651192ce031bafe17 ocamlx(AltErgoLib__Parsed_interface) = 355a015285bedbe913421416ae7e80c7 ocamlx(AltErgoParsers__MyZip) = a4ee5d67f4996bac044a3c39683a97f2 ocamlx(AltErgoParsers__Parsers) = 38dd3ba9b15229fc372d9ed3f2960c40 ocamlx(AltErgoParsers__Parsers_loader) = 404f6bb7be16c61e2298594a64c02afb ocamlx(AltErgoParsers__Why_parser) = 679d36b241b8f1e5b9fcb9cbbdc56c15 ocamlx(Num) = 59a1c4e6386b714f6c3a84434ca2b6ed ocamlx(Psmt2Frontend__Options) = 513af3a5a93264c1613ac58e9aa28b7e ocamlx(Psmt2Frontend__Smtlib_error) = 012bc5b98a5877c9dd8fcc256ae90d2f ocamlx(Psmt2Frontend__Smtlib_lexer) = 5fd3a84b9ad771389b570acae07557ec ocamlx(Psmt2Frontend__Smtlib_parser) = 77feddaa5233c127823fcae56a63ef90 ocamlx(Psmt2Frontend__Smtlib_ty) = 7ab97ef699fb1c8a95bb9c0a6c6ba5b6 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 164952a1071868fc126c13e7efe55db2 ocamlx(Psmt2Frontend__Smtlib_typing) = a37dc6a89ef3ad08dba6f52b484b3133 ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a ocamlx(Stdlib__Arg) = d130df570295c3fefaee00f88db5fed5 ocamlx(Stdlib__Array) = c17b2f7cf4a4cce9bfec4b26eec495f7 ocamlx(Stdlib__Buffer) = ec734da0dbd1f4871a6e468dd99f1edb ocamlx(Stdlib__Filename) = bb85b1b67a0eed0835203615c014e867 ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f ocamlx(Stdlib__Lexing) = b92bcde89c2e887e267fc7f0ad189ee9 ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883 ocamlx(Stdlib__Parsing) = f50fe0f7d9facd7fd97342bdfe2c1be0 ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95 ocamlx(Stdlib__Sys) = 5c3bb467dddca8a9684f29a499f12938 ocamlx(Zip) = efd34814af9d92b53382b0147eb10137 Processing files: ocaml-alt-ergo-lib-2.3.3-1.mga10.x86_64 Executing(%license): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.ujlpTn + umask 022 + cd /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + cd alt-ergo-2.3.0-free + LICENSEDIR=/home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/LGPL-License.txt /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/LICENSE.md /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/License.OCamlPro /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + RPM_EC=0 ++ jobs -p + exit 0 Provides: ocaml(AltErgoLib) = 2805a9ba4c0200933b0aebe076a87520 ocaml(AltErgoLib__Ac) = ce5bc384acfde88d8754e98ef3878c2e ocaml(AltErgoLib__Adt) = 5936b5e6260bc74eca9142d5046dc836 ocaml(AltErgoLib__Adt_rel) = 704fd51ce41ccf594921193cbade044d ocaml(AltErgoLib__Arith) = 61f70bd28d710ae7b615ee74f7edcad0 ocaml(AltErgoLib__Arrays) = 02b2fa56f51840de162bda316c245a27 ocaml(AltErgoLib__Arrays_rel) = 5ad8ee9a95812c8098788d5eafd488e4 ocaml(AltErgoLib__Bitv) = 6320ae1a827b7214c306dccb09394092 ocaml(AltErgoLib__Bitv_rel) = 7f57c749eb5cd50056261ee507834620 ocaml(AltErgoLib__Ccx) = 16470fc407d5b9688a7ac17103b06eb7 ocaml(AltErgoLib__Cnf) = 964fa121fc1a8055a1a0e7515fbc22de ocaml(AltErgoLib__Commands) = 296631d292f69eda2970d219d2dba588 ocaml(AltErgoLib__Config) = 9835656dab47de6cda20af4248b2c2cf ocaml(AltErgoLib__Emap) = 0964a35d786914dc48575066fe104ca0 ocaml(AltErgoLib__Enum) = 9e0e53df6d5390cf838a9352e00b4a56 ocaml(AltErgoLib__Enum_rel) = 3cd8b56b35d5e8b6526d2f017fb91b88 ocaml(AltErgoLib__Errors) = 8ddedb86ddf18434908fc29a84d5546c ocaml(AltErgoLib__Explanation) = cb41b4d8d37190996392adeb41b62df5 ocaml(AltErgoLib__Expr) = 6fa355919f817f5185a0f8ca3d11cf46 ocaml(AltErgoLib__Fpa_rounding) = 0a762a5ff447c9c9fbd50c82a3780b66 ocaml(AltErgoLib__Frontend) = d281a0ce10315037cb4c50b4b7576346 ocaml(AltErgoLib__Fun_sat) = c15082a40a2fcc2e9bdc7a1f5f6928ed ocaml(AltErgoLib__Gc_debug) = cbc97bbcc5e172c0f83d85cc04e89250 ocaml(AltErgoLib__Hconsing) = aa950ff05bc34f6bb56017c946b0929e ocaml(AltErgoLib__Hstring) = c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Iheap) = c50136a95ccc5d1db02b38b271f82e23 ocaml(AltErgoLib__Inequalities) = 4a6b1996a7c5386d5e4a20d93ba7e227 ocaml(AltErgoLib__Input) = 40b036b5127ea5471bc66507a7fcc5e7 ocaml(AltErgoLib__Instances) = 5156c9729dad854d23aff6518c2f7edb ocaml(AltErgoLib__IntervalCalculus) = 937a6f3563a5ee9f9dd59cde1b7db022 ocaml(AltErgoLib__Intervals) = ef23773ae063c7a5d11575ca0273f9c3 ocaml(AltErgoLib__Ite) = b8ee2546edf14396ecf727ca2fb08758 ocaml(AltErgoLib__Ite_rel) = 411bf1fe65d87b39f5b0475a0e80a10f ocaml(AltErgoLib__Lists) = d2f136049d58612f3807918682f31a09 ocaml(AltErgoLib__Loc) = b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__Matching) = decf14f3bf4b30b22fefaa47c0eb2e32 ocaml(AltErgoLib__Matching_types) = 18e84cb4d29a22a17535546ecb60b399 ocaml(AltErgoLib__MyDynlink) = 5a67fb8407d6c8e5a46cd8e666501148 ocaml(AltErgoLib__MyUnix) = de114fa3a6d42d8bd24b96bbae489942 ocaml(AltErgoLib__Numbers) = 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__NumbersInterface) = 181149daa6fe682f6f5620828b3bdef3 ocaml(AltErgoLib__NumsNumbers) = 30a0239be1953a2a62a3f5f3b0f1f562 ocaml(AltErgoLib__Options) = 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Parsed) = ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Parsed_interface) = cf785c50d11b6d9f8f07c6801663e599 ocaml(AltErgoLib__Polynome) = 19753a6ac56e7fd7db9f9ad20dfacafe ocaml(AltErgoLib__Profiling) = 84becef63bb1581fb29712561d05b53d ocaml(AltErgoLib__Records) = 7192168f0fd7b69756eca3725dc9229a ocaml(AltErgoLib__Records_rel) = b6daff5184aa672160ce860c47093cf8 ocaml(AltErgoLib__Relation) = 889532e1cd9d1792e89a5b62f1d2ae1f ocaml(AltErgoLib__Sat_solver) = e529daa7d872a60a9f823e514da655bb ocaml(AltErgoLib__Sat_solver_sig) = 959a00c2cde77586236464f9bfa13c56 ocaml(AltErgoLib__Satml) = 06e8850bed79ee187d8a48b713af2e28 ocaml(AltErgoLib__Satml_frontend) = 3d86d2311f4dc54f8210ca0032a82c99 ocaml(AltErgoLib__Satml_frontend_hybrid) = 1141d91899329cf905639a4dda3b4c8c ocaml(AltErgoLib__Satml_types) = 4a6c2e8227afdf786a9032b2ae895bd2 ocaml(AltErgoLib__Shostak) = aee4ebdf0db343bbe808fe1ac7c8525e ocaml(AltErgoLib__Sig) = f726c85171660981807d32a8ce4cff3e ocaml(AltErgoLib__Sig_rel) = 4add60eef783e4c355cdbbc896aeac1f ocaml(AltErgoLib__Symbols) = d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Th_util) = c4009ced4e0490e6b635a2a26457757e ocaml(AltErgoLib__Theory) = 4cb4912e03d08f33a1bc7d9d26ff6b56 ocaml(AltErgoLib__Timers) = e27aba7e2fb08ba806f02708ed302eef ocaml(AltErgoLib__Ty) = 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Typechecker) = 92b5de247a87192cf6345734af880a24 ocaml(AltErgoLib__Typed) = a8ff61a6bb7fc2a4549d357425c3b79a ocaml(AltErgoLib__Uf) = 2b09597e0c041f0d2bddcfeae7aeae6b ocaml(AltErgoLib__Use) = 90fd136e14fa59b36df99358cc32036b ocaml(AltErgoLib__Util) = ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Var) = 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoLib__Vec) = 6225abb9e030add87cadea5da5042492 ocaml(AltErgoLib__Version) = 2b97fc6a9ace33016d21e6127bda60a5 ocaml(AltErgoLib__Xliteral) = 996435b0a5e471fe0d9b94e59004ef77 ocaml(AltErgoLib__ZarithNumbers) = aab2c26282eb9d39efc1f534422b5edf ocaml-alt-ergo-lib = 2.3.3-1.mga10 ocaml-alt-ergo-lib(x86-64) = 2.3.3-1.mga10 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 2805a9ba4c0200933b0aebe076a87520 ocaml(AltErgoLib__Ac) = ce5bc384acfde88d8754e98ef3878c2e ocaml(AltErgoLib__Adt) = 5936b5e6260bc74eca9142d5046dc836 ocaml(AltErgoLib__Adt_rel) = 704fd51ce41ccf594921193cbade044d ocaml(AltErgoLib__Arith) = 61f70bd28d710ae7b615ee74f7edcad0 ocaml(AltErgoLib__Arrays) = 02b2fa56f51840de162bda316c245a27 ocaml(AltErgoLib__Arrays_rel) = 5ad8ee9a95812c8098788d5eafd488e4 ocaml(AltErgoLib__Bitv) = 6320ae1a827b7214c306dccb09394092 ocaml(AltErgoLib__Bitv_rel) = 7f57c749eb5cd50056261ee507834620 ocaml(AltErgoLib__Ccx) = 16470fc407d5b9688a7ac17103b06eb7 ocaml(AltErgoLib__Cnf) = 964fa121fc1a8055a1a0e7515fbc22de ocaml(AltErgoLib__Commands) = 296631d292f69eda2970d219d2dba588 ocaml(AltErgoLib__Config) = 9835656dab47de6cda20af4248b2c2cf ocaml(AltErgoLib__Emap) = 0964a35d786914dc48575066fe104ca0 ocaml(AltErgoLib__Enum) = 9e0e53df6d5390cf838a9352e00b4a56 ocaml(AltErgoLib__Enum_rel) = 3cd8b56b35d5e8b6526d2f017fb91b88 ocaml(AltErgoLib__Errors) = 8ddedb86ddf18434908fc29a84d5546c ocaml(AltErgoLib__Explanation) = cb41b4d8d37190996392adeb41b62df5 ocaml(AltErgoLib__Expr) = 6fa355919f817f5185a0f8ca3d11cf46 ocaml(AltErgoLib__Fpa_rounding) = 0a762a5ff447c9c9fbd50c82a3780b66 ocaml(AltErgoLib__Fun_sat) = c15082a40a2fcc2e9bdc7a1f5f6928ed ocaml(AltErgoLib__Hconsing) = aa950ff05bc34f6bb56017c946b0929e ocaml(AltErgoLib__Hstring) = c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Iheap) = c50136a95ccc5d1db02b38b271f82e23 ocaml(AltErgoLib__Inequalities) = 4a6b1996a7c5386d5e4a20d93ba7e227 ocaml(AltErgoLib__Instances) = 5156c9729dad854d23aff6518c2f7edb ocaml(AltErgoLib__IntervalCalculus) = 937a6f3563a5ee9f9dd59cde1b7db022 ocaml(AltErgoLib__Intervals) = ef23773ae063c7a5d11575ca0273f9c3 ocaml(AltErgoLib__Ite) = b8ee2546edf14396ecf727ca2fb08758 ocaml(AltErgoLib__Ite_rel) = 411bf1fe65d87b39f5b0475a0e80a10f ocaml(AltErgoLib__Lists) = d2f136049d58612f3807918682f31a09 ocaml(AltErgoLib__Loc) = b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__Matching) = decf14f3bf4b30b22fefaa47c0eb2e32 ocaml(AltErgoLib__Matching_types) = 18e84cb4d29a22a17535546ecb60b399 ocaml(AltErgoLib__MyDynlink) = 5a67fb8407d6c8e5a46cd8e666501148 ocaml(AltErgoLib__MyUnix) = de114fa3a6d42d8bd24b96bbae489942 ocaml(AltErgoLib__Numbers) = 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__NumbersInterface) = 181149daa6fe682f6f5620828b3bdef3 ocaml(AltErgoLib__Options) = 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Parsed) = ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Polynome) = 19753a6ac56e7fd7db9f9ad20dfacafe ocaml(AltErgoLib__Profiling) = 84becef63bb1581fb29712561d05b53d ocaml(AltErgoLib__Records) = 7192168f0fd7b69756eca3725dc9229a ocaml(AltErgoLib__Records_rel) = b6daff5184aa672160ce860c47093cf8 ocaml(AltErgoLib__Relation) = 889532e1cd9d1792e89a5b62f1d2ae1f ocaml(AltErgoLib__Sat_solver_sig) = 959a00c2cde77586236464f9bfa13c56 ocaml(AltErgoLib__Satml) = 06e8850bed79ee187d8a48b713af2e28 ocaml(AltErgoLib__Satml_frontend) = 3d86d2311f4dc54f8210ca0032a82c99 ocaml(AltErgoLib__Satml_frontend_hybrid) = 1141d91899329cf905639a4dda3b4c8c ocaml(AltErgoLib__Satml_types) = 4a6c2e8227afdf786a9032b2ae895bd2 ocaml(AltErgoLib__Shostak) = aee4ebdf0db343bbe808fe1ac7c8525e ocaml(AltErgoLib__Sig) = f726c85171660981807d32a8ce4cff3e ocaml(AltErgoLib__Sig_rel) = 4add60eef783e4c355cdbbc896aeac1f ocaml(AltErgoLib__Symbols) = d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Th_util) = c4009ced4e0490e6b635a2a26457757e ocaml(AltErgoLib__Theory) = 4cb4912e03d08f33a1bc7d9d26ff6b56 ocaml(AltErgoLib__Timers) = e27aba7e2fb08ba806f02708ed302eef ocaml(AltErgoLib__Ty) = 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Typed) = a8ff61a6bb7fc2a4549d357425c3b79a ocaml(AltErgoLib__Uf) = 2b09597e0c041f0d2bddcfeae7aeae6b ocaml(AltErgoLib__Use) = 90fd136e14fa59b36df99358cc32036b ocaml(AltErgoLib__Util) = ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Var) = 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoLib__Vec) = 6225abb9e030add87cadea5da5042492 ocaml(AltErgoLib__Version) = 2b97fc6a9ace33016d21e6127bda60a5 ocaml(AltErgoLib__Xliteral) = 996435b0a5e471fe0d9b94e59004ef77 ocaml(AltErgoLib__ZarithNumbers) = aab2c26282eb9d39efc1f534422b5edf ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37 ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(CamlinternalMod) = 2004005091bc8a61fe26ab15e0fb28e4 ocaml(Dynlink) = b542e5672ad42f5b838f58913ba15456 ocaml(Nat) = cf53074211ea56c636ac753b3faa2286 ocaml(Num) = d7e7bf3115ef0f4d7fc54872e5ab1a14 ocaml(OcplibSimplex) = db5a3500202b85aa9cc59c664092f504 ocaml(Q) = 95ed12df5d619f4cf43c3f5256a0f97b ocaml(Ratio) = 28be2dbf598b1671fb5c1b4bdf6e2b0b ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Gc) = e7738124ad6d36c0c54edaac81a3c207 ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355 ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Printexc) = ae914d0568e8b6e482a66bbd62a4432f ocaml(Stdlib__Queue) = b066724fe533c7b8fc9b521e37aedad8 ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1 ocaml(Stdlib__Scanf) = 5bfc827c9980349e00f2aa1f5eade58f ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Weak) = 28f276c430fdc51a3a10691d3066b26a ocaml(Str) = 514c63e7d96516ff4c601fe47900a52d ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Z) = a71ac4a535434978287848841376388e Processing files: ocaml-alt-ergo-lib-devel-2.3.3-1.mga10.x86_64 Provides: ocaml(AltErgoLib) = 2805a9ba4c0200933b0aebe076a87520 ocaml(AltErgoLib__Ac) = ce5bc384acfde88d8754e98ef3878c2e ocaml(AltErgoLib__Adt) = 5936b5e6260bc74eca9142d5046dc836 ocaml(AltErgoLib__Adt_rel) = 704fd51ce41ccf594921193cbade044d ocaml(AltErgoLib__Arith) = 61f70bd28d710ae7b615ee74f7edcad0 ocaml(AltErgoLib__Arrays) = 02b2fa56f51840de162bda316c245a27 ocaml(AltErgoLib__Arrays_rel) = 5ad8ee9a95812c8098788d5eafd488e4 ocaml(AltErgoLib__Bitv) = 6320ae1a827b7214c306dccb09394092 ocaml(AltErgoLib__Bitv_rel) = 7f57c749eb5cd50056261ee507834620 ocaml(AltErgoLib__Ccx) = 16470fc407d5b9688a7ac17103b06eb7 ocaml(AltErgoLib__Cnf) = 964fa121fc1a8055a1a0e7515fbc22de ocaml(AltErgoLib__Commands) = 296631d292f69eda2970d219d2dba588 ocaml(AltErgoLib__Config) = 9835656dab47de6cda20af4248b2c2cf ocaml(AltErgoLib__Emap) = 0964a35d786914dc48575066fe104ca0 ocaml(AltErgoLib__Enum) = 9e0e53df6d5390cf838a9352e00b4a56 ocaml(AltErgoLib__Enum_rel) = 3cd8b56b35d5e8b6526d2f017fb91b88 ocaml(AltErgoLib__Errors) = 8ddedb86ddf18434908fc29a84d5546c ocaml(AltErgoLib__Explanation) = cb41b4d8d37190996392adeb41b62df5 ocaml(AltErgoLib__Expr) = 6fa355919f817f5185a0f8ca3d11cf46 ocaml(AltErgoLib__Fpa_rounding) = 0a762a5ff447c9c9fbd50c82a3780b66 ocaml(AltErgoLib__Frontend) = d281a0ce10315037cb4c50b4b7576346 ocaml(AltErgoLib__Fun_sat) = c15082a40a2fcc2e9bdc7a1f5f6928ed ocaml(AltErgoLib__Gc_debug) = cbc97bbcc5e172c0f83d85cc04e89250 ocaml(AltErgoLib__Hconsing) = aa950ff05bc34f6bb56017c946b0929e ocaml(AltErgoLib__Hstring) = c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Iheap) = c50136a95ccc5d1db02b38b271f82e23 ocaml(AltErgoLib__Inequalities) = 4a6b1996a7c5386d5e4a20d93ba7e227 ocaml(AltErgoLib__Input) = 40b036b5127ea5471bc66507a7fcc5e7 ocaml(AltErgoLib__Instances) = 5156c9729dad854d23aff6518c2f7edb ocaml(AltErgoLib__IntervalCalculus) = 937a6f3563a5ee9f9dd59cde1b7db022 ocaml(AltErgoLib__Intervals) = ef23773ae063c7a5d11575ca0273f9c3 ocaml(AltErgoLib__Ite) = b8ee2546edf14396ecf727ca2fb08758 ocaml(AltErgoLib__Ite_rel) = 411bf1fe65d87b39f5b0475a0e80a10f ocaml(AltErgoLib__Lists) = d2f136049d58612f3807918682f31a09 ocaml(AltErgoLib__Loc) = b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__Matching) = decf14f3bf4b30b22fefaa47c0eb2e32 ocaml(AltErgoLib__MyDynlink) = 5a67fb8407d6c8e5a46cd8e666501148 ocaml(AltErgoLib__MyUnix) = de114fa3a6d42d8bd24b96bbae489942 ocaml(AltErgoLib__Numbers) = 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__NumsNumbers) = 30a0239be1953a2a62a3f5f3b0f1f562 ocaml(AltErgoLib__Options) = 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Parsed) = ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Parsed_interface) = cf785c50d11b6d9f8f07c6801663e599 ocaml(AltErgoLib__Polynome) = 19753a6ac56e7fd7db9f9ad20dfacafe ocaml(AltErgoLib__Profiling) = 84becef63bb1581fb29712561d05b53d ocaml(AltErgoLib__Records) = 7192168f0fd7b69756eca3725dc9229a ocaml(AltErgoLib__Records_rel) = b6daff5184aa672160ce860c47093cf8 ocaml(AltErgoLib__Relation) = 889532e1cd9d1792e89a5b62f1d2ae1f ocaml(AltErgoLib__Sat_solver) = e529daa7d872a60a9f823e514da655bb ocaml(AltErgoLib__Sat_solver_sig) = 959a00c2cde77586236464f9bfa13c56 ocaml(AltErgoLib__Satml) = 06e8850bed79ee187d8a48b713af2e28 ocaml(AltErgoLib__Satml_frontend) = 3d86d2311f4dc54f8210ca0032a82c99 ocaml(AltErgoLib__Satml_frontend_hybrid) = 1141d91899329cf905639a4dda3b4c8c ocaml(AltErgoLib__Satml_types) = 4a6c2e8227afdf786a9032b2ae895bd2 ocaml(AltErgoLib__Shostak) = aee4ebdf0db343bbe808fe1ac7c8525e ocaml(AltErgoLib__Symbols) = d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Th_util) = c4009ced4e0490e6b635a2a26457757e ocaml(AltErgoLib__Theory) = 4cb4912e03d08f33a1bc7d9d26ff6b56 ocaml(AltErgoLib__Timers) = e27aba7e2fb08ba806f02708ed302eef ocaml(AltErgoLib__Ty) = 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Typechecker) = 92b5de247a87192cf6345734af880a24 ocaml(AltErgoLib__Typed) = a8ff61a6bb7fc2a4549d357425c3b79a ocaml(AltErgoLib__Uf) = 2b09597e0c041f0d2bddcfeae7aeae6b ocaml(AltErgoLib__Use) = 90fd136e14fa59b36df99358cc32036b ocaml(AltErgoLib__Util) = ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Var) = 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoLib__Vec) = 6225abb9e030add87cadea5da5042492 ocaml(AltErgoLib__Version) = 2b97fc6a9ace33016d21e6127bda60a5 ocaml(AltErgoLib__Xliteral) = 996435b0a5e471fe0d9b94e59004ef77 ocaml(AltErgoLib__ZarithNumbers) = aab2c26282eb9d39efc1f534422b5edf ocaml-alt-ergo-lib-devel = 2.3.3-1.mga10 ocaml-alt-ergo-lib-devel(x86-64) = 2.3.3-1.mga10 ocamlx(AltErgoLib) = 372a9a4098f51c8c0e46f06c9833968a ocamlx(AltErgoLib__Ac) = d60c2d588b623b5c977249d5f914f4ba ocamlx(AltErgoLib__Adt) = 1e347d729831e54d34fadd919d233c2d ocamlx(AltErgoLib__Adt_rel) = acb1aa49347b39a5a852b879c029344b ocamlx(AltErgoLib__Arith) = d45ab2a23a4e2ca485ad8806ec6d5399 ocamlx(AltErgoLib__Arrays) = 7c18a54983b1829a6b9dfae841a5413d ocamlx(AltErgoLib__Arrays_rel) = cceb5bfc6faf0044287d1a58208c3651 ocamlx(AltErgoLib__Bitv) = a5afec0e1c297d6958fa25f97f65e493 ocamlx(AltErgoLib__Bitv_rel) = 5e44bcb4abc2ef9f62d9f710e8b2ddb7 ocamlx(AltErgoLib__Ccx) = e239281caa4178a188ec9edc6a11ab73 ocamlx(AltErgoLib__Cnf) = 7acc185407955daa47bf19024d00cc7c ocamlx(AltErgoLib__Commands) = c1ae5ac997c8233ff212ccd1680a6bb7 ocamlx(AltErgoLib__Config) = 53fa23d07131c993d9de625ef0c942c7 ocamlx(AltErgoLib__Emap) = 22c90e472762e32a61908ae0977d6054 ocamlx(AltErgoLib__Enum) = 4f3de23c452ce25fd8131b49e08599c0 ocamlx(AltErgoLib__Enum_rel) = 28467f155b5a311a98ab2e66c0d206e1 ocamlx(AltErgoLib__Errors) = b0ee91ac6d559a5b571a86571ac01ff7 ocamlx(AltErgoLib__Explanation) = 27197718e0d0a8612e1f11adba6c3b75 ocamlx(AltErgoLib__Expr) = 1f7b4f78fcd6116382d2cc2df8450d6c ocamlx(AltErgoLib__Fpa_rounding) = 7e4e3965a434f15a2e13c2325b5fb84e ocamlx(AltErgoLib__Frontend) = adbb9d18e607e5d7a4f319fa22331dd9 ocamlx(AltErgoLib__Fun_sat) = 2206373008a3e25059491e7d052a078f ocamlx(AltErgoLib__Gc_debug) = 00affc694d73022adcd1b8c44f4814ad ocamlx(AltErgoLib__Hconsing) = 91df3bcde6ad9751bb7e9672d3c927df ocamlx(AltErgoLib__Hstring) = 6cc1247392cf5fae3c87f6b37e02e8d0 ocamlx(AltErgoLib__Iheap) = cc7f8ac631d2f182b04dd2136da29e89 ocamlx(AltErgoLib__Inequalities) = 19584760617aada58680bbf0d13686e6 ocamlx(AltErgoLib__Input) = a6f85f2c2c1810aafd78acdf93d2f487 ocamlx(AltErgoLib__Instances) = 0d023e406826467dd4a3113570a4b879 ocamlx(AltErgoLib__IntervalCalculus) = cff4ff1b8d846193339afe19589a1dd9 ocamlx(AltErgoLib__Intervals) = df7f0b2d8202557a41813efb181ab99b ocamlx(AltErgoLib__Ite) = 8e864abdf4e76fd8b61f38d175d3c520 ocamlx(AltErgoLib__Ite_rel) = 934959aa7212a3af3b664e2c5b9bf15d ocamlx(AltErgoLib__Lists) = 0b77add4375617d3b7a75e1be72417dd ocamlx(AltErgoLib__Loc) = 807c83c8bc40d700f22ebd9a0528498b ocamlx(AltErgoLib__Matching) = 5cd2c6bb530522d247af78bc106d42b7 ocamlx(AltErgoLib__MyDynlink) = 09e0f58bdf5cafb8df6ca79ea33c34fd ocamlx(AltErgoLib__MyUnix) = 817ba136734a9faf50a3d1ca7be7be59 ocamlx(AltErgoLib__Numbers) = bd7b83245f7776e412b38c03e9e960b5 ocamlx(AltErgoLib__NumsNumbers) = 59a17cd6a837db5ad7c42b69bbe477da ocamlx(AltErgoLib__Options) = 95b339b20019021651192ce031bafe17 ocamlx(AltErgoLib__Parsed) = 248381242c09907de28eb8d1f3e58a1f ocamlx(AltErgoLib__Parsed_interface) = 355a015285bedbe913421416ae7e80c7 ocamlx(AltErgoLib__Polynome) = 41bc911045876c3997a6cbff5bdad6cb ocamlx(AltErgoLib__Profiling) = 9904cbdb3972edf29354c5832b36e2ce ocamlx(AltErgoLib__Records) = 1373eeec931c6da9b097e07ee1e2338b ocamlx(AltErgoLib__Records_rel) = ae77667bf85c442ece5b8d9b0ed5de21 ocamlx(AltErgoLib__Relation) = 02e0117b5e44a670d65f007625e50d62 ocamlx(AltErgoLib__Sat_solver) = 8bcdfde9cda9441a946969c2d356a2ef ocamlx(AltErgoLib__Sat_solver_sig) = f184806783df7fef9aaf2865fff8802a ocamlx(AltErgoLib__Satml) = 381c798d1ea79af8085e462405c779e7 ocamlx(AltErgoLib__Satml_frontend) = 7906134e7265825424acf42131e4dd8d ocamlx(AltErgoLib__Satml_frontend_hybrid) = 3cf97e930f254af9c2bc2138c8f3adb8 ocamlx(AltErgoLib__Satml_types) = b11108cf3d929b3b0638a324419d6629 ocamlx(AltErgoLib__Shostak) = 1e3990c8e22f9dba3a8b5a87763a3380 ocamlx(AltErgoLib__Symbols) = d93d7075ff2f3bdf29145c9a640ca7c0 ocamlx(AltErgoLib__Th_util) = 4a01e79b387c780a5d39d8925747d312 ocamlx(AltErgoLib__Theory) = 7c94cb05036c5571c91c4f37d2108cc9 ocamlx(AltErgoLib__Timers) = a4f2e921428c8bb2056bf7c4d5de42fe ocamlx(AltErgoLib__Ty) = c85e996baa20de08d11a3079ea2e7c69 ocamlx(AltErgoLib__Typechecker) = 6ed5e47c67b00bb914db35f96301b9e8 ocamlx(AltErgoLib__Typed) = 334248ae8d395e8d9db7e734717e6f9d ocamlx(AltErgoLib__Uf) = 9f26def6ad4e56921d5cb0da1d344cfa ocamlx(AltErgoLib__Use) = d3b1b54bd4ab1446daa8b64f9a8715ed ocamlx(AltErgoLib__Util) = bfb7d093bb55d054b8a3572167ffcaba ocamlx(AltErgoLib__Var) = 0801247363468c710592ab16ce712a4f ocamlx(AltErgoLib__Vec) = fcdcc6f59aafd24c4fa2661cb87e0f90 ocamlx(AltErgoLib__Version) = 5eb03b9bec3710adbfbb3b44e8c65780 ocamlx(AltErgoLib__Xliteral) = b1c68649e841659f2519e70b85db9185 ocamlx(AltErgoLib__ZarithNumbers) = c9f4812c865b5be9a4982cee20d0c932 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 2805a9ba4c0200933b0aebe076a87520 ocaml(AltErgoLib__Ac) = ce5bc384acfde88d8754e98ef3878c2e ocaml(AltErgoLib__Adt) = 5936b5e6260bc74eca9142d5046dc836 ocaml(AltErgoLib__Adt_rel) = 704fd51ce41ccf594921193cbade044d ocaml(AltErgoLib__Arith) = 61f70bd28d710ae7b615ee74f7edcad0 ocaml(AltErgoLib__Arrays) = 02b2fa56f51840de162bda316c245a27 ocaml(AltErgoLib__Arrays_rel) = 5ad8ee9a95812c8098788d5eafd488e4 ocaml(AltErgoLib__Bitv) = 6320ae1a827b7214c306dccb09394092 ocaml(AltErgoLib__Bitv_rel) = 7f57c749eb5cd50056261ee507834620 ocaml(AltErgoLib__Ccx) = 16470fc407d5b9688a7ac17103b06eb7 ocaml(AltErgoLib__Cnf) = 964fa121fc1a8055a1a0e7515fbc22de ocaml(AltErgoLib__Commands) = 296631d292f69eda2970d219d2dba588 ocaml(AltErgoLib__Config) = 9835656dab47de6cda20af4248b2c2cf ocaml(AltErgoLib__Emap) = 0964a35d786914dc48575066fe104ca0 ocaml(AltErgoLib__Enum) = 9e0e53df6d5390cf838a9352e00b4a56 ocaml(AltErgoLib__Enum_rel) = 3cd8b56b35d5e8b6526d2f017fb91b88 ocaml(AltErgoLib__Errors) = 8ddedb86ddf18434908fc29a84d5546c ocaml(AltErgoLib__Explanation) = cb41b4d8d37190996392adeb41b62df5 ocaml(AltErgoLib__Expr) = 6fa355919f817f5185a0f8ca3d11cf46 ocaml(AltErgoLib__Fpa_rounding) = 0a762a5ff447c9c9fbd50c82a3780b66 ocaml(AltErgoLib__Fun_sat) = c15082a40a2fcc2e9bdc7a1f5f6928ed ocaml(AltErgoLib__Hconsing) = aa950ff05bc34f6bb56017c946b0929e ocaml(AltErgoLib__Hstring) = c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Iheap) = c50136a95ccc5d1db02b38b271f82e23 ocaml(AltErgoLib__Inequalities) = 4a6b1996a7c5386d5e4a20d93ba7e227 ocaml(AltErgoLib__Instances) = 5156c9729dad854d23aff6518c2f7edb ocaml(AltErgoLib__IntervalCalculus) = 937a6f3563a5ee9f9dd59cde1b7db022 ocaml(AltErgoLib__Intervals) = ef23773ae063c7a5d11575ca0273f9c3 ocaml(AltErgoLib__Ite) = b8ee2546edf14396ecf727ca2fb08758 ocaml(AltErgoLib__Ite_rel) = 411bf1fe65d87b39f5b0475a0e80a10f ocaml(AltErgoLib__Lists) = d2f136049d58612f3807918682f31a09 ocaml(AltErgoLib__Loc) = b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__Matching) = decf14f3bf4b30b22fefaa47c0eb2e32 ocaml(AltErgoLib__Matching_types) = 18e84cb4d29a22a17535546ecb60b399 ocaml(AltErgoLib__MyDynlink) = 5a67fb8407d6c8e5a46cd8e666501148 ocaml(AltErgoLib__MyUnix) = de114fa3a6d42d8bd24b96bbae489942 ocaml(AltErgoLib__Numbers) = 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__NumbersInterface) = 181149daa6fe682f6f5620828b3bdef3 ocaml(AltErgoLib__Options) = 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Parsed) = ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Polynome) = 19753a6ac56e7fd7db9f9ad20dfacafe ocaml(AltErgoLib__Profiling) = 84becef63bb1581fb29712561d05b53d ocaml(AltErgoLib__Records) = 7192168f0fd7b69756eca3725dc9229a ocaml(AltErgoLib__Records_rel) = b6daff5184aa672160ce860c47093cf8 ocaml(AltErgoLib__Relation) = 889532e1cd9d1792e89a5b62f1d2ae1f ocaml(AltErgoLib__Sat_solver_sig) = 959a00c2cde77586236464f9bfa13c56 ocaml(AltErgoLib__Satml) = 06e8850bed79ee187d8a48b713af2e28 ocaml(AltErgoLib__Satml_frontend) = 3d86d2311f4dc54f8210ca0032a82c99 ocaml(AltErgoLib__Satml_frontend_hybrid) = 1141d91899329cf905639a4dda3b4c8c ocaml(AltErgoLib__Satml_types) = 4a6c2e8227afdf786a9032b2ae895bd2 ocaml(AltErgoLib__Shostak) = aee4ebdf0db343bbe808fe1ac7c8525e ocaml(AltErgoLib__Sig) = f726c85171660981807d32a8ce4cff3e ocaml(AltErgoLib__Sig_rel) = 4add60eef783e4c355cdbbc896aeac1f ocaml(AltErgoLib__Symbols) = d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Th_util) = c4009ced4e0490e6b635a2a26457757e ocaml(AltErgoLib__Theory) = 4cb4912e03d08f33a1bc7d9d26ff6b56 ocaml(AltErgoLib__Timers) = e27aba7e2fb08ba806f02708ed302eef ocaml(AltErgoLib__Ty) = 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Typed) = a8ff61a6bb7fc2a4549d357425c3b79a ocaml(AltErgoLib__Uf) = 2b09597e0c041f0d2bddcfeae7aeae6b ocaml(AltErgoLib__Use) = 90fd136e14fa59b36df99358cc32036b ocaml(AltErgoLib__Util) = ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Var) = 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoLib__Vec) = 6225abb9e030add87cadea5da5042492 ocaml(AltErgoLib__Version) = 2b97fc6a9ace33016d21e6127bda60a5 ocaml(AltErgoLib__Xliteral) = 996435b0a5e471fe0d9b94e59004ef77 ocaml(AltErgoLib__ZarithNumbers) = aab2c26282eb9d39efc1f534422b5edf ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37 ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(CamlinternalMod) = 2004005091bc8a61fe26ab15e0fb28e4 ocaml(Dynlink) = b542e5672ad42f5b838f58913ba15456 ocaml(Nat) = cf53074211ea56c636ac753b3faa2286 ocaml(Num) = d7e7bf3115ef0f4d7fc54872e5ab1a14 ocaml(OcplibSimplex) = db5a3500202b85aa9cc59c664092f504 ocaml(Q) = 95ed12df5d619f4cf43c3f5256a0f97b ocaml(Ratio) = 28be2dbf598b1671fb5c1b4bdf6e2b0b ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930 ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Gc) = e7738124ad6d36c0c54edaac81a3c207 ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355 ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Printexc) = ae914d0568e8b6e482a66bbd62a4432f ocaml(Stdlib__Queue) = b066724fe533c7b8fc9b521e37aedad8 ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1 ocaml(Stdlib__Scanf) = 5bfc827c9980349e00f2aa1f5eade58f ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Weak) = 28f276c430fdc51a3a10691d3066b26a ocaml(Str) = 514c63e7d96516ff4c601fe47900a52d ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Z) = a71ac4a535434978287848841376388e ocamlx(AltErgoLib__Ac) = d60c2d588b623b5c977249d5f914f4ba ocamlx(AltErgoLib__Adt) = 1e347d729831e54d34fadd919d233c2d ocamlx(AltErgoLib__Adt_rel) = acb1aa49347b39a5a852b879c029344b ocamlx(AltErgoLib__Arith) = d45ab2a23a4e2ca485ad8806ec6d5399 ocamlx(AltErgoLib__Arrays) = 7c18a54983b1829a6b9dfae841a5413d ocamlx(AltErgoLib__Arrays_rel) = cceb5bfc6faf0044287d1a58208c3651 ocamlx(AltErgoLib__Bitv) = a5afec0e1c297d6958fa25f97f65e493 ocamlx(AltErgoLib__Bitv_rel) = 5e44bcb4abc2ef9f62d9f710e8b2ddb7 ocamlx(AltErgoLib__Ccx) = e239281caa4178a188ec9edc6a11ab73 ocamlx(AltErgoLib__Cnf) = 7acc185407955daa47bf19024d00cc7c ocamlx(AltErgoLib__Config) = 53fa23d07131c993d9de625ef0c942c7 ocamlx(AltErgoLib__Emap) = 22c90e472762e32a61908ae0977d6054 ocamlx(AltErgoLib__Enum) = 4f3de23c452ce25fd8131b49e08599c0 ocamlx(AltErgoLib__Enum_rel) = 28467f155b5a311a98ab2e66c0d206e1 ocamlx(AltErgoLib__Errors) = b0ee91ac6d559a5b571a86571ac01ff7 ocamlx(AltErgoLib__Explanation) = 27197718e0d0a8612e1f11adba6c3b75 ocamlx(AltErgoLib__Expr) = 1f7b4f78fcd6116382d2cc2df8450d6c ocamlx(AltErgoLib__Fpa_rounding) = 7e4e3965a434f15a2e13c2325b5fb84e ocamlx(AltErgoLib__Fun_sat) = 2206373008a3e25059491e7d052a078f ocamlx(AltErgoLib__Hconsing) = 91df3bcde6ad9751bb7e9672d3c927df ocamlx(AltErgoLib__Hstring) = 6cc1247392cf5fae3c87f6b37e02e8d0 ocamlx(AltErgoLib__Iheap) = cc7f8ac631d2f182b04dd2136da29e89 ocamlx(AltErgoLib__Inequalities) = 19584760617aada58680bbf0d13686e6 ocamlx(AltErgoLib__Instances) = 0d023e406826467dd4a3113570a4b879 ocamlx(AltErgoLib__IntervalCalculus) = cff4ff1b8d846193339afe19589a1dd9 ocamlx(AltErgoLib__Intervals) = df7f0b2d8202557a41813efb181ab99b ocamlx(AltErgoLib__Ite) = 8e864abdf4e76fd8b61f38d175d3c520 ocamlx(AltErgoLib__Ite_rel) = 934959aa7212a3af3b664e2c5b9bf15d ocamlx(AltErgoLib__Lists) = 0b77add4375617d3b7a75e1be72417dd ocamlx(AltErgoLib__Loc) = 807c83c8bc40d700f22ebd9a0528498b ocamlx(AltErgoLib__Matching) = 5cd2c6bb530522d247af78bc106d42b7 ocamlx(AltErgoLib__MyDynlink) = 09e0f58bdf5cafb8df6ca79ea33c34fd ocamlx(AltErgoLib__MyUnix) = 817ba136734a9faf50a3d1ca7be7be59 ocamlx(AltErgoLib__Numbers) = bd7b83245f7776e412b38c03e9e960b5 ocamlx(AltErgoLib__Options) = 95b339b20019021651192ce031bafe17 ocamlx(AltErgoLib__Polynome) = 41bc911045876c3997a6cbff5bdad6cb ocamlx(AltErgoLib__Profiling) = 9904cbdb3972edf29354c5832b36e2ce ocamlx(AltErgoLib__Records) = 1373eeec931c6da9b097e07ee1e2338b ocamlx(AltErgoLib__Records_rel) = ae77667bf85c442ece5b8d9b0ed5de21 ocamlx(AltErgoLib__Relation) = 02e0117b5e44a670d65f007625e50d62 ocamlx(AltErgoLib__Satml) = 381c798d1ea79af8085e462405c779e7 ocamlx(AltErgoLib__Satml_frontend) = 7906134e7265825424acf42131e4dd8d ocamlx(AltErgoLib__Satml_frontend_hybrid) = 3cf97e930f254af9c2bc2138c8f3adb8 ocamlx(AltErgoLib__Satml_types) = b11108cf3d929b3b0638a324419d6629 ocamlx(AltErgoLib__Shostak) = 1e3990c8e22f9dba3a8b5a87763a3380 ocamlx(AltErgoLib__Symbols) = d93d7075ff2f3bdf29145c9a640ca7c0 ocamlx(AltErgoLib__Timers) = a4f2e921428c8bb2056bf7c4d5de42fe ocamlx(AltErgoLib__Ty) = c85e996baa20de08d11a3079ea2e7c69 ocamlx(AltErgoLib__Typed) = 334248ae8d395e8d9db7e734717e6f9d ocamlx(AltErgoLib__Uf) = 9f26def6ad4e56921d5cb0da1d344cfa ocamlx(AltErgoLib__Use) = d3b1b54bd4ab1446daa8b64f9a8715ed ocamlx(AltErgoLib__Util) = bfb7d093bb55d054b8a3572167ffcaba ocamlx(AltErgoLib__Var) = 0801247363468c710592ab16ce712a4f ocamlx(AltErgoLib__Vec) = fcdcc6f59aafd24c4fa2661cb87e0f90 ocamlx(AltErgoLib__Version) = 5eb03b9bec3710adbfbb3b44e8c65780 ocamlx(AltErgoLib__Xliteral) = b1c68649e841659f2519e70b85db9185 ocamlx(AltErgoLib__ZarithNumbers) = c9f4812c865b5be9a4982cee20d0c932 ocamlx(Big_int) = 00eed8064d0d748ca9c18a5701201d8c ocamlx(CamlinternalLazy) = 162669b09093ea11100da3962b876e9b ocamlx(CamlinternalMod) = b1cf5908bd32decae56ba9dbb3154081 ocamlx(Dynlink) = ff8622eb0d80e282615afad4c38703aa ocamlx(Num) = 59a1c4e6386b714f6c3a84434ca2b6ed ocamlx(OcplibSimplex) = f8a9fa3da3214efc3cc14d085564e0aa ocamlx(Q) = 393ec06624871255a5c794fc33af63bf ocamlx(Ratio) = c19b9029ae58dc65332ee30c079a7f9d ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a ocamlx(Stdlib__Arg) = d130df570295c3fefaee00f88db5fed5 ocamlx(Stdlib__Array) = c17b2f7cf4a4cce9bfec4b26eec495f7 ocamlx(Stdlib__Char) = 10c8fcef55e12a07a1c4ab479d07547d ocamlx(Stdlib__Filename) = bb85b1b67a0eed0835203615c014e867 ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c ocamlx(Stdlib__Gc) = 680cd099a8addb5d39903d1edf6e397d ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f ocamlx(Stdlib__Int64) = 8a6af33b06c097c633dbf42a56b24bd0 ocamlx(Stdlib__Lexing) = b92bcde89c2e887e267fc7f0ad189ee9 ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883 ocamlx(Stdlib__Map) = f184f9d40bdaddd2e3d8a36b51d5f55f ocamlx(Stdlib__Obj) = f4a3fd2b3174036e9e913e92c4f7b2ba ocamlx(Stdlib__Parsing) = f50fe0f7d9facd7fd97342bdfe2c1be0 ocamlx(Stdlib__Printexc) = 91d35af34dfc354f724931b058a14954 ocamlx(Stdlib__Queue) = 2cf30720dec187835200485a0eda7f62 ocamlx(Stdlib__Random) = 4e7342c0bcf9660dc77ca008890965fc ocamlx(Stdlib__Scanf) = 4e834bd2603425af3ac3eaddd89f0f4f ocamlx(Stdlib__Set) = c0158eea0410a85c8ad557c3d3358cd9 ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95 ocamlx(Stdlib__Sys) = 5c3bb467dddca8a9684f29a499f12938 ocamlx(Stdlib__Weak) = dfb096ede16e512b37567ba33be3fb3c ocamlx(Str) = 88040aadd5ce239c39603ad24fe18862 ocamlx(Unix) = 7ab988a5f1bc8761aa80f04fc8c5580e ocamlx(Z) = e7f7461dc7287f7895b00fdb33dca6df Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-alt-ergo-parsers-2.3.3-1.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-alt-ergo-parsers-devel-2.3.3-1.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-alt-ergo-lib-2.3.3-1.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/alt-ergo-2.3.3-1.mga10.x86_64.rpm Wrote: /home/pterjan/rpmbuild/RPMS/x86_64/ocaml-alt-ergo-lib-devel-2.3.3-1.mga10.x86_64.rpm Executing(rmbuild): /bin/sh -e /home/pterjan/rpmbuild/tmp/rpm-tmp.2NaOnF + umask 022 + cd /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + test -d /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + rm -rf /home/pterjan/rpmbuild/BUILD/alt-ergo-2.3.3-build + RPM_EC=0 ++ jobs -p + exit 0 D: [iurt_root_command] Success!