*: [iurt] This is iurt version 0.9.4 D: [iurt] [iurt] load config: /home/iurt/.iurt.cauldron.conf D: [iurt] [iurt] load config: /etc/iurt/build/cauldron.conf D: [iurt] [iurt] Setting PERL_EXTUTILS_AUTOINSTALL to --skipdeps D: [iurt] [iurt] Setting PERL_AUTOINSTALL to --skipdeps I: [iurt] [iurt] local spool: /home/iurt/iurt/cauldron/core/release/20250620144813.daviddavid.duvel.2594529-x86_64 I: [iurt] [iurt] Packages to build: 1 D: [iurt] [iurt] using 0.20250620144906 as chroot extension D: [iurt] [iurt] using local user iurt, id 517 I: [iurt] [iurt] Remove existing chroot D: [iurt] [iurt] ... dir /home/iurt/chroot_tmp all prefix chroot_cauldron.x86_64 D: [iurt] [iurt] running with pid 2910236 N: [iurt] [iurt] Build package @2193098:alt-ergo-2.3.3-2.mga10.src.rpm [1/1] D: [iurt] [iurt] Not reusing old chroot I: [iurt] [iurt] Install new chroot D: [iurt] [iurt] ... in /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt] [iurt] clean chroot N: [iurt] [iurt] creating chroot D: [iurt_root_command] Running iurt_root_command --mkdir -p /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906.tmp.GdrvLP D: [iurt_root_command] Creating the path D: [iurt_root_command] Success! D: [iurt] [iurt] decompressing /var/log/qa from /home/iurt/chroot_cauldron.x86_64.tar in /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906.tmp.GdrvLP D: [iurt_root_command] Running iurt_root_command --untar /home/iurt/chroot_cauldron.x86_64.tar /home/iurt/chroot_tmp/iurt/chroot_cauldron.x8... D: [iurt_root_command] Uncompress tarball D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --mkdir -m 1023 /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906.tmp.Gdrv... D: [iurt_root_command] Creating the path D: [iurt_root_command] Success! /bin/cp: cannot create special file '/home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906.tmp.GdrvLP/tmp/tmp.oOPSmk/dev/null': Operation not permitted % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2886k 100 2886k 0 0 108M 0 --:--:-- --:--:-- --:--:-- 108M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 32 100 32 0 0 32000 0 --:--:-- --:--:-- --:--:-- 32000 N: [iurt] [iurt] chroot tarball is already up-to-date D: [iurt_root_command] Running iurt_root_command --rm -r /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906.tmp.GdrvLP D: [iurt_root_command] Removing files D: [iurt_root_command] removing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906.tmp.GdrvLP D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --rm -r /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt_root_command] Removing files D: [iurt_root_command] removing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --mkdir -p /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt_root_command] Creating the path D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --untar /home/iurt/chroot_cauldron.x86_64.tar /home/iurt/chroot_tmp/iurt/chroot_cauldron.x8... D: [iurt_root_command] Uncompress tarball D: [iurt_root_command] Success! N: [iurt] [iurt] chroot recreated in /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 (from /home/iurt/chroot_cauldron.x86_64.tar) D: [iurt_root_command] Running iurt_root_command --netns_create /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt_root_command] Create network namespace for given chroot D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --cp /tmp/rpmmacros.eYlgJr /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.202506201449... D: [iurt_root_command] Copying files D: [iurt_root_command] copying /tmp/rpmmacros.eYlgJr -> /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/etc/rpm/macros D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --bindmount /proc /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/proc D: [iurt_root_command] Bind mounting D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --bindmount /dev/pts /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/dev... D: [iurt_root_command] Bind mounting D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --tmpfs /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/dev/shm D: [iurt_root_command] Mount tmpfs D: [iurt_root_command] Success! I: [iurt] [iurt] add chroot media: http://repository.mageia.org/distrib//cauldron/x86_64 D: [iurt] [iurt] Using timeout of 600 seconds. D: [iurt] [iurt] /usr/bin/sudo /usr/sbin/iurt_root_command --urpmi-addmedia -v --urpmi-root /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 core_release http://repository.mageia.org/distrib//cauldron/x86_64/media/core/release D: [iurt] [iurt] Command exited with 0. MEDIA core_release (core_release) D: [iurt] [iurt] creating user iurt in chroot /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt_root_command] Running iurt_root_command --useradd /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 iurt 517 D: [iurt_root_command] Useradd useradd warning: iurt's uid 517 outside of the UID_MIN 1000 and UID_MAX 60000 range. D: [iurt_root_command] Success! N: [iurt] [iurt] recreate srpm: @2193098:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt] [iurt] Using timeout of 600 seconds. D: [iurt] [iurt] perl command D: [iurt_root_command] Running iurt_root_command --cp /home/iurt/iurt/cauldron/core/release/20250620144813.daviddavid.duvel.2594529-x86_64//... D: [iurt_root_command] Copying files D: [iurt_root_command] copying /home/iurt/iurt/cauldron/core/release/20250620144813.daviddavid.duvel.2594529-x86_64//@2193098:alt-ergo-2.3.3-2.mga10.src.rpm -> /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/home/iurt/rpmbuild/SRPMS/ D: [iurt_root_command] Success! D: [iurt] [iurt] Command exited with 0. D: [iurt] [iurt] recreating src.rpm... D: [iurt] [iurt] Using timeout of 600 seconds. D: [iurt] [iurt] /usr/bin/sudo /usr/sbin/iurt_root_command --chroot /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 su iurt -c "rpm -i /home/iurt/rpmbuild/SRPMS/@2193098:alt-ergo-2.3.3-2.mga10.src.rpm" D: [iurt] [iurt] Command exited with 0. D: [iurt] [iurt] calling callback for install_@2193098:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt] [iurt] Using timeout of 600 seconds. D: [iurt] [iurt] /usr/bin/sudo /usr/sbin/iurt_root_command --chroot /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 su iurt -c "rpmspec -q --qf %{NVR}.src.rpm --srpm /home/iurt/rpmbuild/SPECS/alt-ergo.spec | tail -n1 > /home/iurt/rpmbuild/SPECS/alt-ergo.spec.srpm_name" D: [iurt] [iurt] Forking to monitor log size D: [iurt] [iurt] Command exited with 0. D: [iurt_root_command] Running iurt_root_command --rm /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/home/iurt/rpmbuild/... D: [iurt_root_command] Removing files D: [iurt_root_command] removing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/home/iurt/rpmbuild/SRPMS/@2193098:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt_root_command] Success! D: [iurt] [iurt] Using timeout of 600 seconds. D: [iurt] [iurt] Forking to monitor log size D: [iurt] [iurt] /usr/bin/sudo /usr/sbin/iurt_root_command --chroot /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 su iurt -c "rpmbuild --target x86_64 --nodeps -bs /home/iurt/rpmbuild/SPECS/alt-ergo.spec" D: [iurt] [iurt] Command exited with 0. D: [iurt_root_command] Running iurt_root_command --ln /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/home/iurt/rpmbuild/... D: [iurt_root_command] Linking files D: [iurt_root_command] Success! N: [iurt] [iurt] new srpm: @2193098:alt-ergo-2.3.3-2.mga10.src.rpm I: [iurt] [iurt] updating packages in /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt] [iurt] Using timeout of 600 seconds. D: [iurt] [iurt] /usr/bin/sudo /usr/sbin/iurt_root_command --urpmi --urpmi-root /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 --auto-update --auto D: [iurt] [iurt] Command exited with 0. I: [iurt] [iurt] Install build dependencies for @2193098:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt] [iurt] installing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/home/iurt/rpmbuild/SRPMS//@2193098:alt-ergo-2.3.3-2.mga10.src.rpm I: [iurt] [iurt] install dependencies using urpmi D: [iurt] [iurt] Using timeout of 3600 seconds. D: [iurt] [iurt] Forking to monitor log size D: [iurt] [iurt] /usr/bin/sudo /usr/sbin/iurt_root_command --urpmi -v --no-verify-rpm --tune-rpm=all --nolock --auto --no-recommends --ignoresize --urpmi-root /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 --buildrequires /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/home/iurt/rpmbuild/SRPMS//@2193098:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt] [iurt] Command exited with 0. D: [iurt] [iurt] calling callback for install_deps_@2193098:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt] [iurt] missing_deps is empty, aborting. D: [iurt] [iurt] output had: __ D: [iurt_root_command] urpmi examining synthesis file [/home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/var/lib/urpmi/synthesis.hdlist.core_release.cz] would install instead of upgrade package kernel-desktop-6.12.33-1.mga10-1-1.mga10.x86_64 would install instead of upgrade package kernel-desktop-devel-6.12.33-1.mga10-1-1.mga10.x86_64 would install instead of upgrade package kernel-server-6.12.33-1.mga10-1-1.mga10.x86_64 would install instead of upgrade package kernel-server-devel-6.12.33-1.mga10-1-1.mga10.x86_64 would install instead of upgrade package kernel-linus-6.6.87-1.mga10.x86_64 would install instead of upgrade package kernel-linus-devel-6.6.87-1.mga10.x86_64 retrieving rpm files from medium "core_release"... http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/menhir-20240715-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 2408k completed, ETA = --:--:--, speed = 106M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64z-ng-devel-2.2.4-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 37273 completed, ETA = --:--:--, speed = 35.5M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64ncurses-devel-6.5-20250426.1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 949k completed, ETA = --:--:--, speed = 115M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-zarith-devel-1.14-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 389k completed, ETA = --:--:--, speed = 126M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-dune-3.17.2-2.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 5201k completed, ETA = --:--:--, speed = 112M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-rpm-macros-5.3.0-5.mga10.noarch.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 13754 completed, ETA = --:--:--, speed = 13.1M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-compiler-5.3.0-5.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 62% of 38.7M completed, ETA = --:--:--, speed = 111M 100% of 38.7M completed, ETA = --:--:--, speed = 112M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-menhirlib-20240715-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 178k completed, ETA = --:--:--, speed = 174M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-psmt2-frontend-0.4.0-3.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 1174k completed, ETA = --:--:--, speed = 114M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-ocplib-simplex-devel-0.4.1-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 424k completed, ETA = --:--:--, speed = 138M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-camlzip-devel-1.13-2.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 273k completed, ETA = --:--:--, speed = 133M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-5.3.0-5.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 7685 completed, ETA = --:--:--, speed = 7504k http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-num-1.5-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 221k completed, ETA = --:--:--, speed = 108M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-num-devel-1.5-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 177k completed, ETA = --:--:--, speed = 173M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-compiler-libs-5.3.0-5.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 15.6M completed, ETA = --:--:--, speed = 112M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-psmt2-frontend-devel-0.4.0-3.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 1811k completed, ETA = --:--:--, speed = 110M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64gmp-devel-6.3.0-3.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 547k completed, ETA = --:--:--, speed = 106M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64ncurses++6-6.5-20250426.1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 34700 completed, ETA = --:--:--, speed = 33.0M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-ocplib-simplex-0.4.1-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 364k completed, ETA = --:--:--, speed = 118M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-camlzip-1.13-2.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 130k completed, ETA = --:--:--, speed = 127M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64z-ng2-2.2.4-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 89028 completed, ETA = --:--:--, speed = 84.9M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-menhirlib-devel-20240715-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 477k completed, ETA = --:--:--, speed = 116M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64zstd-devel-1.5.7-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 56961 completed, ETA = --:--:--, speed = 54.3M http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-zarith-1.14-1.mga10.x86_64.rpm 0% of 0 completed, ETA = --:--:--, speed = 0 100% of 153k completed, ETA = --:--:--, speed = 149M retrieved menhir-20240715-1.mga10.x86_64.rpm lib64z-ng-devel-2.2.4-1.mga10.x86_64.rpm lib64ncurses-devel-6.5-20250426.1.mga10.x86_64.rpm ocaml-zarith-devel-1.14-1.mga10.x86_64.rpm ocaml-dune-3.17.2-2.mga10.x86_64.rpm ocaml-rpm-macros-5.3.0-5.mga10.noarch.rpm ocaml-compiler-5.3.0-5.mga10.x86_64.rpm ocaml-menhirlib-20240715-1.mga10.x86_64.rpm ocaml-psmt2-frontend-0.4.0-3.mga10.x86_64.rpm ocaml-ocplib-simplex-devel-0.4.1-1.mga10.x86_64.rpm ocaml-camlzip-devel-1.13-2.mga10.x86_64.rpm ocaml-5.3.0-5.mga10.x86_64.rpm ocaml-num-1.5-1.mga10.x86_64.rpm ocaml-num-devel-1.5-1.mga10.x86_64.rpm ocaml-compiler-libs-5.3.0-5.mga10.x86_64.rpm ocaml-psmt2-frontend-devel-0.4.0-3.mga10.x86_64.rpm lib64gmp-devel-6.3.0-3.mga10.x86_64.rpm lib64ncurses++6-6.5-20250426.1.mga10.x86_64.rpm ocaml-ocplib-simplex-0.4.1-1.mga10.x86_64.rpm ocaml-camlzip-1.13-2.mga10.x86_64.rpm lib64z-ng2-2.2.4-1.mga10.x86_64.rpm ocaml-menhirlib-devel-20240715-1.mga10.x86_64.rpm lib64zstd-devel-1.5.7-1.mga10.x86_64.rpm ocaml-zarith-1.14-1.mga10.x86_64.rpm ...retrieving done installing ocaml-psmt2-frontend-0.4.0-3.mga10.x86_64.rpm ocaml-menhirlib-20240715-1.mga10.x86_64.rpm ocaml-compiler-5.3.0-5.mga10.x86_64.rpm ocaml-rpm-macros-5.3.0-5.mga10.noarch.rpm ocaml-dune-3.17.2-2.mga10.x86_64.rpm ocaml-zarith-devel-1.14-1.mga10.x86_64.rpm lib64ncurses-devel-6.5-20250426.1.mga10.x86_64.rpm lib64z-ng-devel-2.2.4-1.mga10.x86_64.rpm menhir-20240715-1.mga10.x86_64.rpm ocaml-compiler-libs-5.3.0-5.mga10.x86_64.rpm ocaml-num-devel-1.5-1.mga10.x86_64.rpm ocaml-num-1.5-1.mga10.x86_64.rpm ocaml-5.3.0-5.mga10.x86_64.rpm ocaml-camlzip-devel-1.13-2.mga10.x86_64.rpm ocaml-ocplib-simplex-devel-0.4.1-1.mga10.x86_64.rpm lib64ncurses++6-6.5-20250426.1.mga10.x86_64.rpm lib64gmp-devel-6.3.0-3.mga10.x86_64.rpm ocaml-psmt2-frontend-devel-0.4.0-3.mga10.x86_64.rpm ocaml-zarith-1.14-1.mga10.x86_64.rpm lib64zstd-devel-1.5.7-1.mga10.x86_64.rpm ocaml-menhirlib-devel-20240715-1.mga10.x86_64.rpm lib64z-ng2-2.2.4-1.mga10.x86_64.rpm ocaml-camlzip-1.13-2.mga10.x86_64.rpm ocaml-ocplib-simplex-0.4.1-1.mga10.x86_64.rpm from /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/var/cache/urpmi/rpms starting installing packages created transaction for installing on /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 (remove=0, install=0, upgrade=24) Preparing... ############################################# 1/24: lib64z-ng2 ############################################# 2/24: lib64z-ng-devel ############################################# 3/24: lib64zstd-devel ############################################# 4/24: ocaml-compiler-libs ############################################# 5/24: ocaml-compiler ############################################# 6/24: ocaml-psmt2-frontend ############################################# 7/24: ocaml-menhirlib ############################################# 8/24: ocaml-num ############################################# 9/24: ocaml-zarith ############################################# 10/24: ocaml-camlzip ############################################# 11/24: ocaml-ocplib-simplex ############################################# 12/24: lib64gmp-devel ############################################# 13/24: lib64ncurses++6 ############################################# 14/24: lib64ncurses-devel ############################################# 15/24: ocaml ############################################# 16/24: ocaml-rpm-macros ############################################# 17/24: ocaml-dune ############################################# 18/24: ocaml-zarith-devel ############################################# 19/24: ocaml-ocplib-simplex-devel ############################################# 20/24: ocaml-camlzip-devel ############################################# 21/24: ocaml-num-devel ############################################# 22/24: ocaml-menhirlib-devel ############################################# 23/24: ocaml-psmt2-frontend-devel ############################################# 24/24: menhir ############################################# shell-init: error retrieving current directory: getcwd: cannot access parent directories: No such file or directory shell-init: error retrieving current directory: getcwd: cannot access parent directories: No such file or directory shell-init: error retrieving current directory: getcwd: cannot access parent directories: No such file or directory removing installed rpms (ocaml-psmt2-frontend-0.4.0-3.mga10.x86_64.rpm ocaml-menhirlib-20240715-1.mga10.x86_64.rpm ocaml-compiler-5.3.0-5.mga10.x86_64.rpm ocaml-rpm-macros-5.3.0-5.mga10.noarch.rpm ocaml-dune-3.17.2-2.mga10.x86_64.rpm ocaml-zarith-devel-1.14-1.mga10.x86_64.rpm lib64ncurses-devel-6.5-20250426.1.mga10.x86_64.rpm lib64z-ng-devel-2.2.4-1.mga10.x86_64.rpm menhir-20240715-1.mga10.x86_64.rpm ocaml-compiler-libs-5.3.0-5.mga10.x86_64.rpm ocaml-num-devel-1.5-1.mga10.x86_64.rpm ocaml-num-1.5-1.mga10.x86_64.rpm ocaml-5.3.0-5.mga10.x86_64.rpm ocaml-camlzip-devel-1.13-2.mga10.x86_64.rpm ocaml-ocplib-simplex-devel-0.4.1-1.mga10.x86_64.rpm lib64ncurses++6-6.5-20250426.1.mga10.x86_64.rpm lib64gmp-devel-6.3.0-3.mga10.x86_64.rpm ocaml-psmt2-frontend-devel-0.4.0-3.mga10.x86_64.rpm ocaml-zarith-1.14-1.mga10.x86_64.rpm lib64zstd-devel-1.5.7-1.mga10.x86_64.rpm ocaml-menhirlib-devel-20240715-1.mga10.x86_64.rpm lib64z-ng2-2.2.4-1.mga10.x86_64.rpm ocaml-camlzip-1.13-2.mga10.x86_64.rpm ocaml-ocplib-simplex-0.4.1-1.mga10.x86_64.rpm) from /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/var/cache/urpmi/rpms D: [iurt_root_command] Success! __ I: [iurt] [iurt] installation successful I: [iurt] [iurt] handling dynamic buildrequires D: [iurt] [iurt] DynamicBuildRequires not required for @2193098:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt] [iurt] Using timeout of 60 seconds. D: [iurt] [iurt] rpm --root /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 -qa | sort D: [iurt] [iurt] Forking to monitor log size D: [iurt] [iurt] Command exited with 0. N: [iurt] [iurt] Building @2193098:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt] [iurt] Using timeout of 36000 seconds. D: [iurt] [iurt] Forking to monitor log size D: [iurt] [iurt] /usr/bin/sudo /usr/sbin/iurt_root_command --chroot /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 /bin/su - iurt -c "TMP=/home/iurt/tmp/ rpmbuild --target x86_64 --rebuild /home/iurt/rpmbuild/SRPMS/@2193098:alt-ergo-2.3.3-2.mga10.src.rpm" D: [iurt] [iurt] Command exited with 256. D: [iurt] [iurt] calling callback for build_@2193098:alt-ergo-2.3.3-2.mga10.src.rpm E: [iurt] [iurt] ERROR: call_ret=1 kill= err=256 () F: [iurt] [iurt] See https://pkgsubmit.mageia.org/queue/build//cauldron/x86_64//log/@2193098:alt-ergo-2.3.3-2.mga10.src.rpm/ Command failed: /usr/bin/sudo /usr/sbin/iurt_root_command --chroot /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 /bin/su - iurt -c "TMP=/home/iurt/tmp/ rpmbuild --target x86_64 --rebuild /home/iurt/rpmbuild/SRPMS/@2193098:alt-ergo-2.3.3-2.mga10.src.rpm" I: [iurt] [iurt] --------------- Command failed, full output follows --------------- I: [iurt] [iurt] D: [iurt_root_command] chroot Building target platforms: x86_64 Building for target x86_64 Installing /home/iurt/rpmbuild/SRPMS/@2193098:alt-ergo-2.3.3-2.mga10.src.rpm Executing(%mkbuilddir): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.Cb7aa9 Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.nIwauQ + umask 022 + cd /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + '[' 1 -eq 1 ']' + cd /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build + rm -rf alt-ergo-2.3.0-free + /usr/lib/rpm/rpmuncompress -x /home/iurt/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/iurt/rpmbuild/SOURCES/alt-ergo-free-2.3.3.tar.gz + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-pervasives.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-psmt2-frontend.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-menhir.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-forward-compat.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-dune3.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /home/iurt/rpmbuild/SOURCES/alt-ergo-inline-error.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/iurt/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/iurt/rpmbuild/tmp/rpm-tmp.YvjIns + umask 022 + cd /home/iurt/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 File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). File "_none_", line 1: Alert ocaml_deprecated_auto_include: OCaml's lib directory layout changed in 5.0. The unix subdirectory has been automatically added to the search path, but you should add -I +unix to the command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). 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/iurt/rpmbuild/tmp/rpm-tmp.Xi2fvR + umask 022 + cd /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build + '[' 1 -eq 1 ']' + '[' /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT '!=' / ']' + rm -rf /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT ++ dirname /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT + mkdir -p /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build + mkdir /home/iurt/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/iurt/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 + find /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml -name '*.ml' -delete + rm -fr /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc + mkdir -p /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/man/man1 + cp -p doc/alt-ergo.1 /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/man/man1 + mv /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/plugins /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/preludes /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo + rmdir /home/iurt/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 -j12 + /usr/lib/rpm/redhat/brp-python-hardlink Reading /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.Gjrm94 + umask 022 + cd /home/iurt/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 -j12 Shared cache: enabled-except-user-rules Shared cache location: /home/iurt/.cache/dune/db Workspace root: /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources Dune context: { name = "default" ; kind = "default" ; profile = Release ; merlin = true ; fdo_target_exe = None ; build_dir = In_build_dir "default" ; instrument_with = [] } + RPM_EC=0 ++ jobs -p + exit 0 Processing files: alt-ergo-2.3.3-2.mga10.x86_64 Executing(%doc): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.PYVOsu + umask 022 + cd /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build + cd alt-ergo-2.3.0-free + DOCDIR=/home/iurt/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/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/README.md /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/CHANGES /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/examples /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/publications/Alt-Ergo--Atelier-B--RSSR-2016.pdf /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/publications/Alt-Ergo-2.2--SMT-Workshop-2018.pdf /home/iurt/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-2.mga10 alt-ergo(x86-64) = 2.3.3-2.mga10 ocaml(ABWhy3Plugin) = 12d81870f4ca6140e91a3836eb77daac ocaml(ABWhy3Plugin__Why3_lexer) = 9c0a0db8f5d2861f7df0a441c7652329 ocaml(ABWhy3Plugin__Why3_loc) = 7b30ef61d4c4f6723cb625fd799face8 ocaml(ABWhy3Plugin__Why3_parser) = b7c3194a3c49b5151352cc8ad7fb955c ocaml(ABWhy3Plugin__Why3_ptree) = 9437018a982f85cd4253a602e2bac583 ocaml(FmSimplexPlugin) = c3b7f0c22664ca235c8b02c75644fb90 ocaml(FmSimplexPlugin__FmSimplexIneqs) = 26d258bdcb8c4bec50c7459f67d6fcb9 ocaml(FmSimplexPlugin__Simplex) = 420af70c8456f4f52c234d8dc5cbeae3 ocaml(FmSimplexPlugin__Simplex_cache) = 4a998eda5d34f1813ed8cdecf8ce6e8a Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-x86-64.so.2()(64bit) ld-linux-x86-64.so.2(GLIBC_2.3)(64bit) 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.25)(64bit) libc.so.6(GLIBC_2.28)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.2)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.32)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.6)(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-ng.so.2()(64bit) libz-ng.so.2(ZLIB_NG_2.0.0)(64bit) libz-ng.so.2(ZLIB_NG_2.1.0)(64bit) ocaml(ABWhy3Plugin) = 12d81870f4ca6140e91a3836eb77daac ocaml(ABWhy3Plugin__Why3_loc) = 7b30ef61d4c4f6723cb625fd799face8 ocaml(ABWhy3Plugin__Why3_parser) = b7c3194a3c49b5151352cc8ad7fb955c ocaml(ABWhy3Plugin__Why3_ptree) = 9437018a982f85cd4253a602e2bac583 ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(FmSimplexPlugin) = c3b7f0c22664ca235c8b02c75644fb90 ocaml(FmSimplexPlugin__Simplex) = 420af70c8456f4f52c234d8dc5cbeae3 ocaml(FmSimplexPlugin__Simplex_cache) = 4a998eda5d34f1813ed8cdecf8ce6e8a ocaml(MenhirLib) = 8c4370a46c902d5dfb76db24aab1d648 ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b Processing files: ocaml-alt-ergo-parsers-2.3.3-2.mga10.x86_64 Provides: ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 15819bdd21e00f156f3894bbf8515e29 ocaml(AltErgoParsers__Why_lexer) = fdad06606ef4439251ea49e15b238f10 ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml-alt-ergo-parsers = 2.3.3-2.mga10 ocaml-alt-ergo-parsers(x86-64) = 2.3.3-2.mga10 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd ocaml(Psmt2Frontend__Smtlib_lexer) = fdbc1aba625531e8176b5098e36c5c70 ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9 ocaml(Psmt2Frontend__Smtlib_typed_env) = 5d1fc87a782daebb3332ec9e9fe043b4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Zip) = e28cfee95af712fd1f0c66a38b17f013 Processing files: ocaml-alt-ergo-parsers-devel-2.3.3-2.mga10.x86_64 Provides: ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 15819bdd21e00f156f3894bbf8515e29 ocaml(AltErgoParsers__Why_lexer) = fdad06606ef4439251ea49e15b238f10 ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml-alt-ergo-parsers-devel = 2.3.3-2.mga10 ocaml-alt-ergo-parsers-devel(x86-64) = 2.3.3-2.mga10 ocamlx(AltErgoParsers) = 44b6bee4e8a25e99ff2078e10f1b63bb ocamlx(AltErgoParsers__MyZip) = f863ba967738c9b234bcd8bed41a197d ocamlx(AltErgoParsers__Parsers) = c2f7cd19b1367237adab3c4bdb37f123 ocamlx(AltErgoParsers__Parsers_loader) = 819bffb572ae9192d18a033c29182b9f ocamlx(AltErgoParsers__Psmt2_to_alt_ergo) = 27e7166cde1ff804ef7c5354a7da04df ocamlx(AltErgoParsers__Why_lexer) = a11ec4c7379a4d58e5255a5f6447fa29 ocamlx(AltErgoParsers__Why_parser) = 4560d6544038e8a71d7421e59c4d9a43 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807 ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7 ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd ocaml(Psmt2Frontend__Smtlib_lexer) = fdbc1aba625531e8176b5098e36c5c70 ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9 ocaml(Psmt2Frontend__Smtlib_typed_env) = 5d1fc87a782daebb3332ec9e9fe043b4 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Zip) = e28cfee95af712fd1f0c66a38b17f013 ocamlx(AltErgoLib__Config) = c2f4c54910e7a79cf4dc93066c217bac ocamlx(AltErgoLib__Errors) = 158e9671cdb9ef56b6d965d1782c304a ocamlx(AltErgoLib__Loc) = b7042b7ffc8237dac3c34d87c5e0db62 ocamlx(AltErgoLib__MyDynlink) = eaadddb820fefb5859ea71dc5531b34b ocamlx(AltErgoLib__Options) = 52c6872af57d5b85d55f602f373b41dd ocamlx(AltErgoLib__Parsed_interface) = 4d7a93761c881f0913aa2e066a19c3c6 ocamlx(AltErgoParsers__MyZip) = f863ba967738c9b234bcd8bed41a197d ocamlx(AltErgoParsers__Parsers) = c2f7cd19b1367237adab3c4bdb37f123 ocamlx(AltErgoParsers__Parsers_loader) = 819bffb572ae9192d18a033c29182b9f ocamlx(AltErgoParsers__Why_parser) = 4560d6544038e8a71d7421e59c4d9a43 ocamlx(Num) = a64871318240e061de3e5ae93f461103 ocamlx(Psmt2Frontend__Options) = d105e8f05fa0d70690d202d660e38762 ocamlx(Psmt2Frontend__Smtlib_error) = 31c304b1ff5d6127b05393d0c2b72cbe ocamlx(Psmt2Frontend__Smtlib_lexer) = 920da1d84e8f919141e5c0681c031f70 ocamlx(Psmt2Frontend__Smtlib_parser) = a79bcc26d2e13222b97bdb3b36c18b72 ocamlx(Psmt2Frontend__Smtlib_ty) = a10ef0def4cce8c2841c41545eb462b5 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 856744990692d01ed9855f45b76f62d8 ocamlx(Psmt2Frontend__Smtlib_typing) = d75f239997d213e8574f35bd59b96d55 ocamlx(Stdlib) = 9dc4e5eb1428b4b83037e136de64d07b ocamlx(Stdlib__Arg) = 8cb1072b0863a34eb88959888143e44f ocamlx(Stdlib__Array) = def48d766be8b076d2a4fefcfbc64945 ocamlx(Stdlib__Buffer) = 019603e6c5a03da51c8ca38adff3c148 ocamlx(Stdlib__Filename) = bf3c8902f5a0bdbfcb879bef2df078c3 ocamlx(Stdlib__Format) = 9fd07a8bda3b6871f15d2dd899999381 ocamlx(Stdlib__Hashtbl) = 13921c1b993c3df360282ffc9e1fc820 ocamlx(Stdlib__Lexing) = a0a1b1cb8c436f14fa0076493b310581 ocamlx(Stdlib__List) = c3a511aa4a318695fc8c537a066b344c ocamlx(Stdlib__Parsing) = deea4dc8ae9ee6caf763533e362a165b ocamlx(Stdlib__Printf) = 3355dd2861376d6f7797acdac699579a ocamlx(Stdlib__String) = f97b634b8d02a0422b61f35a94a2cf6b ocamlx(Stdlib__Sys) = 2437f5a239783c66a7a6539f2924f9e6 ocamlx(Zip) = a9ca3f520292adcb52a89009eee06344 Processing files: ocaml-alt-ergo-lib-2.3.3-2.mga10.x86_64 Executing(%license): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.jDkMEX + umask 022 + cd /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build + cd alt-ergo-2.3.0-free + LICENSEDIR=/home/iurt/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/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/LGPL-License.txt /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/LICENSE.md /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/License.OCamlPro /home/iurt/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) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Frontend) = d0715d3407016d96b2ae3c1cb9323b0d ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Gc_debug) = 70979f673f006ff363b690bfa744a575 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Input) = 1db00bd9a9901287acb6ee641a6589bd ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__Matching_types) = e6b030f86e3b90b7734da7111fcf4339 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__NumsNumbers) = dc97aadf71cac106ebbd4e58af72fcb9 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver) = 957315110c3fee44af6177602acc76dd ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Sig_rel) = a284ed504ab0b00ac5fdf7ab4fc8d189 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typechecker) = 1873f8349ff14bd8dd89cf1a858aa195 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml-alt-ergo-lib = 2.3.3-2.mga10 ocaml-alt-ergo-lib(x86-64) = 2.3.3-2.mga10 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__Matching_types) = e6b030f86e3b90b7734da7111fcf4339 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Sig_rel) = a284ed504ab0b00ac5fdf7ab4fc8d189 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1 ocaml(Dynlink) = fecb619bede234b520106e08984c0058 ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(OcplibSimplex) = dc5f4be0eeaf43d2658100fcf4b8af23 ocaml(Q) = fded9f6db30753026b5c2d3012382e71 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Bigarray) = 7130a1b8b3b987c6ffc6c2c613151f82 ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Gc) = fbebf2afd3d1f8efe1dbf7a69fdc88ab ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printexc) = a8ffdc3139410f2a727c983fc6b29d5e ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181 ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f ocaml(Stdlib__Scanf) = f1fb8faa0240204ffa3944fe78ada705 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620 ocaml(Str) = 1d8174cd9641eb96917de61a36ae468b ocaml(Unix) = e9521192ee8ef808261c548f0ea7683f ocaml(Z) = 55f40794517dfa18b2d04a9737864b3d Processing files: ocaml-alt-ergo-lib-devel-2.3.3-2.mga10.x86_64 Provides: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Frontend) = d0715d3407016d96b2ae3c1cb9323b0d ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Gc_debug) = 70979f673f006ff363b690bfa744a575 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Input) = 1db00bd9a9901287acb6ee641a6589bd ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumsNumbers) = dc97aadf71cac106ebbd4e58af72fcb9 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver) = 957315110c3fee44af6177602acc76dd ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typechecker) = 1873f8349ff14bd8dd89cf1a858aa195 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml-alt-ergo-lib-devel = 2.3.3-2.mga10 ocaml-alt-ergo-lib-devel(x86-64) = 2.3.3-2.mga10 ocamlx(AltErgoLib) = 3d60cd9b212b5831d808fbdb5e12b0c7 ocamlx(AltErgoLib__Ac) = ee02db5a52c153067d77bdd19a0eeed1 ocamlx(AltErgoLib__Adt) = 7d66acabec768a63e7453429f106bbb4 ocamlx(AltErgoLib__Adt_rel) = 2d4a1590a95b2c91fb106aa621412fcb ocamlx(AltErgoLib__Arith) = 4ed30ead0ea73a1a58ed603eea897cd7 ocamlx(AltErgoLib__Arrays) = 3dff5cfb8308da642bfd4c0de053e812 ocamlx(AltErgoLib__Arrays_rel) = 060a8349a9d2aea6144536c4c2c3cbbd ocamlx(AltErgoLib__Bitv) = 76d4a6574a6d3cb3b8445bc17b87cc2b ocamlx(AltErgoLib__Bitv_rel) = 427c568ee60c4c0659a726e0fe645ab6 ocamlx(AltErgoLib__Ccx) = 399f02bc808fc6384cfb2c273783103b ocamlx(AltErgoLib__Cnf) = 933ecae7550a3a13d4d90aa3104f4df8 ocamlx(AltErgoLib__Commands) = 6e01aeec30e4b320400c42c298847fc8 ocamlx(AltErgoLib__Config) = c2f4c54910e7a79cf4dc93066c217bac ocamlx(AltErgoLib__Emap) = 6e63c12a4c90e4dfcc94585eeafd09b8 ocamlx(AltErgoLib__Enum) = c54aad39ee85e0e3eb40652586093e89 ocamlx(AltErgoLib__Enum_rel) = 36915bb21d7bb92b708a9c8fc6c23420 ocamlx(AltErgoLib__Errors) = 158e9671cdb9ef56b6d965d1782c304a ocamlx(AltErgoLib__Explanation) = f37af63f65a1b804679d97ed786c194b ocamlx(AltErgoLib__Expr) = 77ac5732a34b341ab81b72f846891d6d ocamlx(AltErgoLib__Fpa_rounding) = 697147613a4cfbfb7f84e40e9ca2f62d ocamlx(AltErgoLib__Frontend) = a1d37b110d3b67d08e42838fca0d4e7c ocamlx(AltErgoLib__Fun_sat) = c4cbb20744f1b48124b965410f72e879 ocamlx(AltErgoLib__Gc_debug) = 0237a2a4d8cedcf5bfc7e2f355a655fa ocamlx(AltErgoLib__Hconsing) = 57c0abcd547adebc3273c0826edece31 ocamlx(AltErgoLib__Hstring) = a5b40277b854bdfd46868988da441467 ocamlx(AltErgoLib__Iheap) = 25a49a6c49967ba29b41af0ce8e9ceda ocamlx(AltErgoLib__Inequalities) = 3b741160e204f0324293e40f45d5aa90 ocamlx(AltErgoLib__Input) = ec590cd145a435cbb0913378ef7ceae2 ocamlx(AltErgoLib__Instances) = 1dd0fbd11c6618af1964cdedb7021d47 ocamlx(AltErgoLib__IntervalCalculus) = 0338a6f13fd1be6c749b3aefc7e3f589 ocamlx(AltErgoLib__Intervals) = c4bc782f44057ad7c110d74b32140197 ocamlx(AltErgoLib__Ite) = 6f3da4f3d6e198b94ee5cbf83bed6765 ocamlx(AltErgoLib__Ite_rel) = 4c24fb300bfadce7f7bb48d90c3272db ocamlx(AltErgoLib__Lists) = 2b77fe8582546926e5f3346f568cdcd9 ocamlx(AltErgoLib__Loc) = b7042b7ffc8237dac3c34d87c5e0db62 ocamlx(AltErgoLib__Matching) = 403ca43676ab85878f34d3ff67d777d6 ocamlx(AltErgoLib__MyDynlink) = eaadddb820fefb5859ea71dc5531b34b ocamlx(AltErgoLib__MyUnix) = 2b7054d8cc52f02c699d7c070f1bf6cc ocamlx(AltErgoLib__Numbers) = 06a2f36c33e9692f2069e8c997f5d5e1 ocamlx(AltErgoLib__NumsNumbers) = 37679852d945956899aef925de58efc9 ocamlx(AltErgoLib__Options) = 52c6872af57d5b85d55f602f373b41dd ocamlx(AltErgoLib__Parsed) = 898eda1e3b167ca6a8580ceaad580bb8 ocamlx(AltErgoLib__Parsed_interface) = 4d7a93761c881f0913aa2e066a19c3c6 ocamlx(AltErgoLib__Polynome) = 729f267cf52c9e1c5d5c6e56b4aa4823 ocamlx(AltErgoLib__Profiling) = e6bbaf5958e20095f3cfb96d35b38817 ocamlx(AltErgoLib__Records) = 467757514d324acc35a21724deefff68 ocamlx(AltErgoLib__Records_rel) = 0f8e49572c1233001ea0c8ed2674dbba ocamlx(AltErgoLib__Relation) = 845a9f592ceaf67a220ebef9e9a28d78 ocamlx(AltErgoLib__Sat_solver) = bd2735cd0c831c84e513e3d48fb2f59a ocamlx(AltErgoLib__Sat_solver_sig) = 0b38c8e2ff9527c049e41fa6867486f9 ocamlx(AltErgoLib__Satml) = 8d78698cd4f260ce473fa2352e219dd5 ocamlx(AltErgoLib__Satml_frontend) = 56143c4a4588679a3c2f2d5058df526a ocamlx(AltErgoLib__Satml_frontend_hybrid) = 24aa2ab681cfc45376e104f15cf32ab6 ocamlx(AltErgoLib__Satml_types) = c9e75ea7baea27774602c925e488ccba ocamlx(AltErgoLib__Shostak) = d9f0f51a9d8743ac7b16fe44b90f59ca ocamlx(AltErgoLib__Symbols) = 94c926f098092f74e32c9f5e98d95cb1 ocamlx(AltErgoLib__Th_util) = dd10a0060e836ae7b5a3ba9f5cf685cf ocamlx(AltErgoLib__Theory) = 0b826514c34d428037f65d2c3bab6755 ocamlx(AltErgoLib__Timers) = f3fffd2f62b96e458a17bb2b83a770fa ocamlx(AltErgoLib__Ty) = 00786f712257f8ebf88e3c79fe5e53b6 ocamlx(AltErgoLib__Typechecker) = c40aeff4bcb8008b7293d0073e688147 ocamlx(AltErgoLib__Typed) = 15381a8d8d0f9410d659bdf1e59ffd56 ocamlx(AltErgoLib__Uf) = 045539823a4f68cc1479a36e918502e4 ocamlx(AltErgoLib__Use) = 430dda8d3ca1b32975225fc3cdddd4d4 ocamlx(AltErgoLib__Util) = 66e82ce9555772e8fa9ffa1778eeda99 ocamlx(AltErgoLib__Var) = b9052b8481be1b1020e34d7f8189c01f ocamlx(AltErgoLib__Vec) = b3165d11d312f852b798373e1fdd40be ocamlx(AltErgoLib__Version) = 08c838446e88271dc1a280995d5d4eb1 ocamlx(AltErgoLib__Xliteral) = 956687bc35c74124ad5a06b4157ab847 ocamlx(AltErgoLib__ZarithNumbers) = af26005ede4efb4471a6639e53ad6869 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = e123246725cd57c7cdd2b6df03374c09 ocaml(AltErgoLib__Adt_rel) = 93e416e97bbe61d955afb8db50bbe805 ocaml(AltErgoLib__Arith) = e2d6cc1a081270551f48ac8a088a4ae3 ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Arrays_rel) = 08c61f9d2fb2357ff9c30585a4fb36af ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Bitv_rel) = cfbd34f8183629b256be4318b854b96f ocaml(AltErgoLib__Ccx) = 5c1b33f958e48c6b8fd0e6b9508278c7 ocaml(AltErgoLib__Cnf) = b4966a066f59b805719f1edfada42ed6 ocaml(AltErgoLib__Commands) = 4cbec7773da7a3b90a26becdae1accbc ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82 ocaml(AltErgoLib__Emap) = ffde0e6617fc0cf4fae0ce4b531c1839 ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Enum_rel) = 31e67190b03d10ca941e8244935d31f1 ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492 ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = a66edcafeea68e0ea1f17ad4ad62a80f ocaml(AltErgoLib__Fpa_rounding) = b10ba09bb862810dc646424a6864663c ocaml(AltErgoLib__Fun_sat) = 840a0af687661b97d24bdc364de7cb65 ocaml(AltErgoLib__Hconsing) = ec4b6cb23667704a5e53bb04a9b03c6d ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Iheap) = 16a44a003a8b169efdc76369cc6bdac6 ocaml(AltErgoLib__Inequalities) = 928a2b046d910c79cbe3f790af9d2ef5 ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1029c9535344746308f2358650a6021 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Ite_rel) = f8a3d73e79258d92c33cf6632e05e509 ocaml(AltErgoLib__Lists) = 4ddf1f6754b738559baf57e7041c0ee5 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Matching) = 05c2b79deafb4bb9e93868a2e40dfcc0 ocaml(AltErgoLib__Matching_types) = e6b030f86e3b90b7734da7111fcf4339 ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1 ocaml(AltErgoLib__MyUnix) = d27ef84a2f5a1debee9a1d7933ab314d ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Profiling) = b7baa222beff5e382c723e6940783700 ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Records_rel) = 4b0662a5d1feba95dff11ac97a3003a7 ocaml(AltErgoLib__Relation) = d1e5ccc800e693ece63e7db1b7a29810 ocaml(AltErgoLib__Sat_solver_sig) = d125aabc553f90d232e59429a6f9788a ocaml(AltErgoLib__Satml) = c7e2cce6d42b159e5e751bb3b64d80a2 ocaml(AltErgoLib__Satml_frontend) = 5fb1b2b0bc481888f649a7491cf46f7c ocaml(AltErgoLib__Satml_frontend_hybrid) = 3473e64d693076935745ef826533567f ocaml(AltErgoLib__Satml_types) = e986286eb1726c343ce12a5a4cbcbe60 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Sig_rel) = a284ed504ab0b00ac5fdf7ab4fc8d189 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Th_util) = 97c3cfc45b31fa706910fd8dcc6f5db9 ocaml(AltErgoLib__Theory) = 439e1665e7823a02586bbe096af7a6b3 ocaml(AltErgoLib__Timers) = b3ace2d99d9e0e368f2f518f2288ef0e ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Uf) = d9191a2af2338adde5e452e52e26fb70 ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = eb121ff73eec66904672f25f8b3271e0 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564 ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1 ocaml(Dynlink) = fecb619bede234b520106e08984c0058 ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28 ocaml(OcplibSimplex) = dc5f4be0eeaf43d2658100fcf4b8af23 ocaml(Q) = fded9f6db30753026b5c2d3012382e71 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Bigarray) = 7130a1b8b3b987c6ffc6c2c613151f82 ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2 ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a ocaml(Stdlib__Gc) = fbebf2afd3d1f8efe1dbf7a69fdc88ab ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printexc) = a8ffdc3139410f2a727c983fc6b29d5e ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181 ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f ocaml(Stdlib__Scanf) = f1fb8faa0240204ffa3944fe78ada705 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620 ocaml(Str) = 1d8174cd9641eb96917de61a36ae468b ocaml(Unix) = e9521192ee8ef808261c548f0ea7683f ocaml(Z) = 55f40794517dfa18b2d04a9737864b3d ocamlx(AltErgoLib__Ac) = ee02db5a52c153067d77bdd19a0eeed1 ocamlx(AltErgoLib__Adt) = 7d66acabec768a63e7453429f106bbb4 ocamlx(AltErgoLib__Adt_rel) = 2d4a1590a95b2c91fb106aa621412fcb ocamlx(AltErgoLib__Arith) = 4ed30ead0ea73a1a58ed603eea897cd7 ocamlx(AltErgoLib__Arrays) = 3dff5cfb8308da642bfd4c0de053e812 ocamlx(AltErgoLib__Arrays_rel) = 060a8349a9d2aea6144536c4c2c3cbbd ocamlx(AltErgoLib__Bitv) = 76d4a6574a6d3cb3b8445bc17b87cc2b ocamlx(AltErgoLib__Bitv_rel) = 427c568ee60c4c0659a726e0fe645ab6 ocamlx(AltErgoLib__Ccx) = 399f02bc808fc6384cfb2c273783103b ocamlx(AltErgoLib__Cnf) = 933ecae7550a3a13d4d90aa3104f4df8 ocamlx(AltErgoLib__Config) = c2f4c54910e7a79cf4dc93066c217bac ocamlx(AltErgoLib__Emap) = 6e63c12a4c90e4dfcc94585eeafd09b8 ocamlx(AltErgoLib__Enum) = c54aad39ee85e0e3eb40652586093e89 ocamlx(AltErgoLib__Enum_rel) = 36915bb21d7bb92b708a9c8fc6c23420 ocamlx(AltErgoLib__Errors) = 158e9671cdb9ef56b6d965d1782c304a ocamlx(AltErgoLib__Explanation) = f37af63f65a1b804679d97ed786c194b ocamlx(AltErgoLib__Expr) = 77ac5732a34b341ab81b72f846891d6d ocamlx(AltErgoLib__Fpa_rounding) = 697147613a4cfbfb7f84e40e9ca2f62d ocamlx(AltErgoLib__Fun_sat) = c4cbb20744f1b48124b965410f72e879 ocamlx(AltErgoLib__Hconsing) = 57c0abcd547adebc3273c0826edece31 ocamlx(AltErgoLib__Hstring) = a5b40277b854bdfd46868988da441467 ocamlx(AltErgoLib__Iheap) = 25a49a6c49967ba29b41af0ce8e9ceda ocamlx(AltErgoLib__Inequalities) = 3b741160e204f0324293e40f45d5aa90 ocamlx(AltErgoLib__Instances) = 1dd0fbd11c6618af1964cdedb7021d47 ocamlx(AltErgoLib__IntervalCalculus) = 0338a6f13fd1be6c749b3aefc7e3f589 ocamlx(AltErgoLib__Intervals) = c4bc782f44057ad7c110d74b32140197 ocamlx(AltErgoLib__Ite) = 6f3da4f3d6e198b94ee5cbf83bed6765 ocamlx(AltErgoLib__Ite_rel) = 4c24fb300bfadce7f7bb48d90c3272db ocamlx(AltErgoLib__Lists) = 2b77fe8582546926e5f3346f568cdcd9 ocamlx(AltErgoLib__Loc) = b7042b7ffc8237dac3c34d87c5e0db62 ocamlx(AltErgoLib__Matching) = 403ca43676ab85878f34d3ff67d777d6 ocamlx(AltErgoLib__MyDynlink) = eaadddb820fefb5859ea71dc5531b34b ocamlx(AltErgoLib__MyUnix) = 2b7054d8cc52f02c699d7c070f1bf6cc ocamlx(AltErgoLib__Numbers) = 06a2f36c33e9692f2069e8c997f5d5e1 ocamlx(AltErgoLib__Options) = 52c6872af57d5b85d55f602f373b41dd ocamlx(AltErgoLib__Polynome) = 729f267cf52c9e1c5d5c6e56b4aa4823 ocamlx(AltErgoLib__Profiling) = e6bbaf5958e20095f3cfb96d35b38817 ocamlx(AltErgoLib__Records) = 467757514d324acc35a21724deefff68 ocamlx(AltErgoLib__Records_rel) = 0f8e49572c1233001ea0c8ed2674dbba ocamlx(AltErgoLib__Relation) = 845a9f592ceaf67a220ebef9e9a28d78 ocamlx(AltErgoLib__Satml) = 8d78698cd4f260ce473fa2352e219dd5 ocamlx(AltErgoLib__Satml_frontend) = 56143c4a4588679a3c2f2d5058df526a ocamlx(AltErgoLib__Satml_frontend_hybrid) = 24aa2ab681cfc45376e104f15cf32ab6 ocamlx(AltErgoLib__Satml_types) = c9e75ea7baea27774602c925e488ccba ocamlx(AltErgoLib__Shostak) = d9f0f51a9d8743ac7b16fe44b90f59ca ocamlx(AltErgoLib__Symbols) = 94c926f098092f74e32c9f5e98d95cb1 ocamlx(AltErgoLib__Timers) = f3fffd2f62b96e458a17bb2b83a770fa ocamlx(AltErgoLib__Ty) = 00786f712257f8ebf88e3c79fe5e53b6 ocamlx(AltErgoLib__Typed) = 15381a8d8d0f9410d659bdf1e59ffd56 ocamlx(AltErgoLib__Uf) = 045539823a4f68cc1479a36e918502e4 ocamlx(AltErgoLib__Use) = 430dda8d3ca1b32975225fc3cdddd4d4 ocamlx(AltErgoLib__Util) = 66e82ce9555772e8fa9ffa1778eeda99 ocamlx(AltErgoLib__Var) = b9052b8481be1b1020e34d7f8189c01f ocamlx(AltErgoLib__Vec) = b3165d11d312f852b798373e1fdd40be ocamlx(AltErgoLib__Version) = 08c838446e88271dc1a280995d5d4eb1 ocamlx(AltErgoLib__Xliteral) = 956687bc35c74124ad5a06b4157ab847 ocamlx(AltErgoLib__ZarithNumbers) = af26005ede4efb4471a6639e53ad6869 ocamlx(Big_int) = 8054bea14d8a8e2c28c3b40b8c0eb216 ocamlx(CamlinternalLazy) = 8fa5efa863f9bc5a5c55714e835af459 ocamlx(CamlinternalMod) = 3fd8bf95d07b46b06585d8c3406c254e ocamlx(Dynlink) = b5e62af7eed5fefdbd265b9fcfa0fdd4 ocamlx(Num) = a64871318240e061de3e5ae93f461103 ocamlx(OcplibSimplex) = f1e4c6cbcc9b42a918f078976363937d ocamlx(Q) = 97a7ba6fc729c84b1677809c3d64b87b ocamlx(Ratio) = ca7ff08beac30ba4a87cdfa0deb3b634 ocamlx(Stdlib) = 9dc4e5eb1428b4b83037e136de64d07b ocamlx(Stdlib__Arg) = 8cb1072b0863a34eb88959888143e44f ocamlx(Stdlib__Array) = def48d766be8b076d2a4fefcfbc64945 ocamlx(Stdlib__Char) = c83dca203a97a14de456752cca98e905 ocamlx(Stdlib__Filename) = bf3c8902f5a0bdbfcb879bef2df078c3 ocamlx(Stdlib__Format) = 9fd07a8bda3b6871f15d2dd899999381 ocamlx(Stdlib__Gc) = 872a8ea472840550cdab918195faae41 ocamlx(Stdlib__Hashtbl) = 13921c1b993c3df360282ffc9e1fc820 ocamlx(Stdlib__Int64) = e94473a846d945aed5578ae21fe5a13b ocamlx(Stdlib__Lexing) = a0a1b1cb8c436f14fa0076493b310581 ocamlx(Stdlib__List) = c3a511aa4a318695fc8c537a066b344c ocamlx(Stdlib__Map) = a456eae5d3ec76b4f7dca372677b3855 ocamlx(Stdlib__Obj) = cee5431fa7af51894813c8495eb67322 ocamlx(Stdlib__Parsing) = deea4dc8ae9ee6caf763533e362a165b ocamlx(Stdlib__Printexc) = 33758f610e1329d357f412b24a4fb45c ocamlx(Stdlib__Queue) = f1bce4533942db5e6f831c2e11fa8fa7 ocamlx(Stdlib__Random) = 5e8e05d3f7cc47c114bea8a57a8a591c ocamlx(Stdlib__Scanf) = 40da514440eaa28d6c1e43dcf598a063 ocamlx(Stdlib__Set) = ca3329bd88b2209993548f45ede07372 ocamlx(Stdlib__String) = f97b634b8d02a0422b61f35a94a2cf6b ocamlx(Stdlib__Sys) = 2437f5a239783c66a7a6539f2924f9e6 ocamlx(Stdlib__Weak) = 9fd99e38cc01e0a2d24b14b08b843567 ocamlx(Str) = 0ceded4a4574a53e32b4792a48f1c63d ocamlx(Unix) = c3c2905ffb15f175d6fa3e405062f448 ocamlx(Z) = a4fd06b8f7c9bdf5e5773fca283974d6 Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT error: Installed (but unpackaged) file(s) found: /usr/lib64/ocaml/alt-ergo-lib/frontend/cnf.mli /usr/lib64/ocaml/alt-ergo-lib/frontend/frontend.mli /usr/lib64/ocaml/alt-ergo-lib/frontend/input.mli /usr/lib64/ocaml/alt-ergo-lib/frontend/parsed_interface.mli /usr/lib64/ocaml/alt-ergo-lib/frontend/typechecker.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/ac.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/adt.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/adt_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/arith.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/arrays.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/arrays_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/bitv.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/bitv_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/ccx.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/enum.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/enum_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/fun_sat.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/inequalities.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/instances.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/intervalCalculus.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/intervals.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/ite.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/ite_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/matching.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/matching_types.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/polynome.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/records.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/records_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/relation.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/sat_solver.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/sat_solver_sig.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/satml.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/satml_frontend.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/satml_frontend_hybrid.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/shostak.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/sig.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/sig_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/th_util.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/theory.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/uf.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/use.mli /usr/lib64/ocaml/alt-ergo-lib/structures/commands.mli /usr/lib64/ocaml/alt-ergo-lib/structures/errors.mli /usr/lib64/ocaml/alt-ergo-lib/structures/explanation.mli /usr/lib64/ocaml/alt-ergo-lib/structures/expr.mli /usr/lib64/ocaml/alt-ergo-lib/structures/fpa_rounding.mli /usr/lib64/ocaml/alt-ergo-lib/structures/parsed.mli /usr/lib64/ocaml/alt-ergo-lib/structures/profiling.mli /usr/lib64/ocaml/alt-ergo-lib/structures/satml_types.mli /usr/lib64/ocaml/alt-ergo-lib/structures/symbols.mli /usr/lib64/ocaml/alt-ergo-lib/structures/ty.mli /usr/lib64/ocaml/alt-ergo-lib/structures/typed.mli /usr/lib64/ocaml/alt-ergo-lib/structures/var.mli /usr/lib64/ocaml/alt-ergo-lib/structures/xliteral.mli /usr/lib64/ocaml/alt-ergo-lib/util/emap.mli /usr/lib64/ocaml/alt-ergo-lib/util/gc_debug.mli /usr/lib64/ocaml/alt-ergo-lib/util/hconsing.mli /usr/lib64/ocaml/alt-ergo-lib/util/hstring.mli /usr/lib64/ocaml/alt-ergo-lib/util/iheap.mli /usr/lib64/ocaml/alt-ergo-lib/util/lists.mli /usr/lib64/ocaml/alt-ergo-lib/util/loc.mli /usr/lib64/ocaml/alt-ergo-lib/util/myDynlink.mli /usr/lib64/ocaml/alt-ergo-lib/util/myUnix.mli /usr/lib64/ocaml/alt-ergo-lib/util/numbers.mli /usr/lib64/ocaml/alt-ergo-lib/util/numbersInterface.mli /usr/lib64/ocaml/alt-ergo-lib/util/numsNumbers.mli /usr/lib64/ocaml/alt-ergo-lib/util/options.mli /usr/lib64/ocaml/alt-ergo-lib/util/timers.mli /usr/lib64/ocaml/alt-ergo-lib/util/util.mli /usr/lib64/ocaml/alt-ergo-lib/util/vec.mli /usr/lib64/ocaml/alt-ergo-lib/util/version.mli /usr/lib64/ocaml/alt-ergo-lib/util/zarithNumbers.mli RPM build errors: Installed (but unpackaged) file(s) found: /usr/lib64/ocaml/alt-ergo-lib/frontend/cnf.mli /usr/lib64/ocaml/alt-ergo-lib/frontend/frontend.mli /usr/lib64/ocaml/alt-ergo-lib/frontend/input.mli /usr/lib64/ocaml/alt-ergo-lib/frontend/parsed_interface.mli /usr/lib64/ocaml/alt-ergo-lib/frontend/typechecker.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/ac.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/adt.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/adt_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/arith.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/arrays.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/arrays_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/bitv.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/bitv_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/ccx.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/enum.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/enum_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/fun_sat.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/inequalities.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/instances.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/intervalCalculus.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/intervals.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/ite.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/ite_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/matching.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/matching_types.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/polynome.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/records.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/records_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/relation.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/sat_solver.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/sat_solver_sig.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/satml.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/satml_frontend.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/satml_frontend_hybrid.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/shostak.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/sig.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/sig_rel.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/th_util.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/theory.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/uf.mli /usr/lib64/ocaml/alt-ergo-lib/reasoners/use.mli /usr/lib64/ocaml/alt-ergo-lib/structures/commands.mli /usr/lib64/ocaml/alt-ergo-lib/structures/errors.mli /usr/lib64/ocaml/alt-ergo-lib/structures/explanation.mli /usr/lib64/ocaml/alt-ergo-lib/structures/expr.mli /usr/lib64/ocaml/alt-ergo-lib/structures/fpa_rounding.mli /usr/lib64/ocaml/alt-ergo-lib/structures/parsed.mli /usr/lib64/ocaml/alt-ergo-lib/structures/profiling.mli /usr/lib64/ocaml/alt-ergo-lib/structures/satml_types.mli /usr/lib64/ocaml/alt-ergo-lib/structures/symbols.mli /usr/lib64/ocaml/alt-ergo-lib/structures/ty.mli /usr/lib64/ocaml/alt-ergo-lib/structures/typed.mli /usr/lib64/ocaml/alt-ergo-lib/structures/var.mli /usr/lib64/ocaml/alt-ergo-lib/structures/xliteral.mli /usr/lib64/ocaml/alt-ergo-lib/util/emap.mli /usr/lib64/ocaml/alt-ergo-lib/util/gc_debug.mli /usr/lib64/ocaml/alt-ergo-lib/util/hconsing.mli /usr/lib64/ocaml/alt-ergo-lib/util/hstring.mli /usr/lib64/ocaml/alt-ergo-lib/util/iheap.mli /usr/lib64/ocaml/alt-ergo-lib/util/lists.mli /usr/lib64/ocaml/alt-ergo-lib/util/loc.mli /usr/lib64/ocaml/alt-ergo-lib/util/myDynlink.mli /usr/lib64/ocaml/alt-ergo-lib/util/myUnix.mli /usr/lib64/ocaml/alt-ergo-lib/util/numbers.mli /usr/lib64/ocaml/alt-ergo-lib/util/numbersInterface.mli /usr/lib64/ocaml/alt-ergo-lib/util/numsNumbers.mli /usr/lib64/ocaml/alt-ergo-lib/util/options.mli /usr/lib64/ocaml/alt-ergo-lib/util/timers.mli /usr/lib64/ocaml/alt-ergo-lib/util/util.mli /usr/lib64/ocaml/alt-ergo-lib/util/vec.mli /usr/lib64/ocaml/alt-ergo-lib/util/version.mli /usr/lib64/ocaml/alt-ergo-lib/util/zarithNumbers.mli I: [iurt_root_command] ERROR: chroot I: [iurt] [iurt] --------------- end of command output --------------- D: [iurt] [iurt] clean chroot D: [iurt_root_command] Running iurt_root_command --netns_delete /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt_root_command] Delete network namespace for given chroot, killing all processes D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --umount /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/proc D: [iurt_root_command] Unmounting D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --umount /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/dev/pts D: [iurt_root_command] Unmounting D: [iurt_root_command] Success! D: [iurt_root_command] Running iurt_root_command --umount /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906/dev/shm D: [iurt_root_command] Unmounting D: [iurt_root_command] Success! [iurt] [iurt] cleaning /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 [iurt] [iurt] removing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt_root_command] Running iurt_root_command --rm -r /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt_root_command] Removing files D: [iurt_root_command] removing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620144906 D: [iurt_root_command] Success!