*: [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/20250620142835.daviddavid.duvel.2566510-x86_64 I: [iurt] [iurt] Packages to build: 1 D: [iurt] [iurt] using 0.20250620142906 as chroot extension D: [iurt] [iurt] using local user iurt, id 501 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 2275177 N: [iurt] [iurt] Build package @2193096: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.20250620142906 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.20250620142906.tmp.bxjvRf 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.20250620142906.tmp.bxjvRf 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.20250620142906.tmp.bxjv... 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.20250620142906.tmp.bxjvRf/tmp/tmp.lLJYsz/dev/null': Operation not permitted --2025-06-20 16:29:07-- http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/media_info/20250620-142148-synthesis.hdlist.cz Resolving repository.mageia.org (repository.mageia.org)... 212.85.158.153 Connecting to repository.mageia.org (repository.mageia.org)|212.85.158.153|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 2950357 (2.8M) Saving to: '/home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906.tmp.bxjvRf/tmp/tmp.lLJYsz/tmp/.urpmi-501/partial/20250620-142148-synthesis.hdlist.cz' 0K .......... .......... .......... .......... .......... 1% 121M 0s 50K .......... .......... .......... .......... .......... 3% 106M 0s 100K .......... .......... .......... .......... .......... 5% 115M 0s 150K .......... .......... .......... .......... .......... 6% 121M 0s 200K .......... .......... .......... .......... .......... 8% 114M 0s 250K .......... .......... .......... .......... .......... 10% 105M 0s 300K .......... .......... .......... .......... .......... 12% 116M 0s 350K .......... .......... .......... .......... .......... 13% 120M 0s 400K .......... .......... .......... .......... .......... 15% 113M 0s 450K .......... .......... .......... .......... .......... 17% 113M 0s 500K .......... .......... .......... .......... .......... 19% 107M 0s 550K .......... .......... .......... .......... .......... 20% 121M 0s 600K .......... .......... .......... .......... .......... 22% 114M 0s 650K .......... .......... .......... .......... .......... 24% 98.5M 0s 700K .......... .......... .......... .......... .......... 26% 114M 0s 750K .......... .......... .......... .......... .......... 27% 114M 0s 800K .......... .......... .......... .......... .......... 29% 114M 0s 850K .......... .......... .......... .......... .......... 31% 113M 0s 900K .......... .......... .......... .......... .......... 32% 103M 0s 950K .......... .......... .......... .......... .......... 34% 125M 0s 1000K .......... .......... .......... .......... .......... 36% 114M 0s 1050K .......... .......... .......... .......... .......... 38% 114M 0s 1100K .......... .......... .......... .......... .......... 39% 114M 0s 1150K .......... .......... .......... .......... .......... 41% 108M 0s 1200K .......... .......... .......... .......... .......... 43% 119M 0s 1250K .......... .......... .......... .......... .......... 45% 114M 0s 1300K .......... .......... .......... .......... .......... 46% 113M 0s 1350K .......... .......... .......... .......... .......... 48% 98.7M 0s 1400K .......... .......... .......... .......... .......... 50% 114M 0s 1450K .......... .......... .......... .......... .......... 52% 113M 0s 1500K .......... .......... .......... .......... .......... 53% 113M 0s 1550K .......... .......... .......... .......... .......... 55% 113M 0s 1600K .......... .......... .......... .......... .......... 57% 114M 0s 1650K .......... .......... .......... .......... .......... 59% 113M 0s 1700K .......... .......... .......... .......... .......... 60% 114M 0s 1750K .......... .......... .......... .......... .......... 62% 113M 0s 1800K .......... .......... .......... .......... .......... 64% 113M 0s 1850K .......... .......... .......... .......... .......... 65% 113M 0s 1900K .......... .......... .......... .......... .......... 67% 112M 0s 1950K .......... .......... .......... .......... .......... 69% 115M 0s 2000K .......... .......... .......... .......... .......... 71% 108M 0s 2050K .......... .......... .......... .......... .......... 72% 104M 0s 2100K .......... .......... .......... .......... .......... 74% 113M 0s 2150K .......... .......... .......... .......... .......... 76% 108M 0s 2200K .......... .......... .......... .......... .......... 78% 113M 0s 2250K .......... .......... .......... .......... .......... 79% 113M 0s 2300K .......... .......... .......... .......... .......... 81% 113M 0s 2350K .......... .......... .......... .......... .......... 83% 120M 0s 2400K .......... .......... .......... .......... .......... 85% 114M 0s 2450K .......... .......... .......... .......... .......... 86% 106M 0s 2500K .......... .......... .......... .......... .......... 88% 123M 0s 2550K .......... .......... .......... .......... .......... 90% 113M 0s 2600K .......... .......... .......... .......... .......... 91% 113M 0s 2650K .......... .......... .......... .......... .......... 93% 108M 0s 2700K .......... .......... .......... .......... .......... 95% 111M 0s 2750K .......... .......... .......... .......... .......... 97% 107M 0s 2800K .......... .......... .......... .......... .......... 98% 113M 0s 2850K .......... .......... .......... . 100% 131M=0.02s 2025-06-20 16:29:07 (113 MB/s) - '/home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906.tmp.bxjvRf/tmp/tmp.lLJYsz/tmp/.urpmi-501/partial/20250620-142148-synthesis.hdlist.cz' saved [2950357/2950357] --2025-06-20 16:29:07-- http://repository.mageia.org/distrib/cauldron/x86_64/media/core/updates/media_info/20230811-204955-synthesis.hdlist.cz Resolving repository.mageia.org (repository.mageia.org)... 212.85.158.153 Connecting to repository.mageia.org (repository.mageia.org)|212.85.158.153|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 32 Saving to: '/home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906.tmp.bxjvRf/tmp/tmp.lLJYsz/tmp/.urpmi-501/partial/20230811-204955-synthesis.hdlist.cz' 0K 100% 7.19M=0s 2025-06-20 16:29:07 (7.19 MB/s) - '/home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906.tmp.bxjvRf/tmp/tmp.lLJYsz/tmp/.urpmi-501/partial/20230811-204955-synthesis.hdlist.cz' saved [32/32] 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.20250620142906.tmp.bxjvRf D: [iurt_root_command] Removing files D: [iurt_root_command] removing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906.tmp.bxjvRf 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.20250620142906 D: [iurt_root_command] Removing files D: [iurt_root_command] removing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906 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.20250620142906 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.20250620142906 (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.20250620142906 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.6fCxpU /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.202506201429... D: [iurt_root_command] Copying files D: [iurt_root_command] copying /tmp/rpmmacros.6fCxpU -> /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906/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.20250620142906/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.20250620142906/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.20250620142906/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.20250620142906 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.20250620142906 D: [iurt_root_command] Running iurt_root_command --useradd /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906 iurt 501 D: [iurt_root_command] Useradd useradd warning: iurt's uid 501 outside of the UID_MIN 1000 and UID_MAX 60000 range. D: [iurt_root_command] Success! N: [iurt] [iurt] recreate srpm: @2193096: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/20250620142835.daviddavid.duvel.2566510-x86_64//... D: [iurt_root_command] Copying files D: [iurt_root_command] copying /home/iurt/iurt/cauldron/core/release/20250620142835.daviddavid.duvel.2566510-x86_64//@2193096:alt-ergo-2.3.3-2.mga10.src.rpm -> /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906/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.20250620142906 su iurt -c "rpm -i /home/iurt/rpmbuild/SRPMS/@2193096:alt-ergo-2.3.3-2.mga10.src.rpm" D: [iurt] [iurt] Command exited with 0. D: [iurt] [iurt] calling callback for install_@2193096: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.20250620142906 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.20250620142906/home/iurt/rpmbuild/... D: [iurt_root_command] Removing files D: [iurt_root_command] removing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906/home/iurt/rpmbuild/SRPMS/@2193096: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] /usr/bin/sudo /usr/sbin/iurt_root_command --chroot /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906 su iurt -c "rpmbuild --target x86_64 --nodeps -bs /home/iurt/rpmbuild/SPECS/alt-ergo.spec" D: [iurt] [iurt] Forking to monitor log size 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.20250620142906/home/iurt/rpmbuild/... D: [iurt_root_command] Linking files D: [iurt_root_command] Success! N: [iurt] [iurt] new srpm: @2193096: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.20250620142906 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.20250620142906 --auto-update --auto D: [iurt] [iurt] Command exited with 0. I: [iurt] [iurt] Install build dependencies for @2193096:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt] [iurt] installing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906/home/iurt/rpmbuild/SRPMS//@2193096: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.20250620142906 --buildrequires /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906/home/iurt/rpmbuild/SRPMS//@2193096:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt] [iurt] Command exited with 0. D: [iurt] [iurt] calling callback for install_deps_@2193096: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 error: Too many levels of recursion in macro expansion. It is likely caused by recursive macro declaration. examining synthesis file [/home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906/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/ocaml-compiler-libs-5.3.0-5.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-camlzip-1.13-2.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-num-1.5-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-num-devel-1.5-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64z-ng2-2.2.4-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-camlzip-devel-1.13-2.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-ocplib-simplex-0.4.1-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-zarith-1.14-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64ncurses++6-6.5-20250426.1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64z-ng-devel-2.2.4-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-5.3.0-5.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-zarith-devel-1.14-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64zstd-devel-1.5.7-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-compiler-5.3.0-5.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64ncurses-devel-6.5-20250426.1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-psmt2-frontend-devel-0.4.0-3.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/lib64gmp-devel-6.3.0-3.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-psmt2-frontend-0.4.0-3.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-menhirlib-20240715-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-menhirlib-devel-20240715-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-rpm-macros-5.3.0-5.mga10.noarch.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/menhir-20240715-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-ocplib-simplex-devel-0.4.1-1.mga10.x86_64.rpm http://repository.mageia.org/distrib/cauldron/x86_64/media/core/release/ocaml-dune-3.17.2-2.mga10.x86_64.rpm retrieved ocaml-compiler-libs-5.3.0-5.mga10.x86_64.rpm ocaml-camlzip-1.13-2.mga10.x86_64.rpm ocaml-num-1.5-1.mga10.x86_64.rpm ocaml-num-devel-1.5-1.mga10.x86_64.rpm lib64z-ng2-2.2.4-1.mga10.x86_64.rpm ocaml-camlzip-devel-1.13-2.mga10.x86_64.rpm ocaml-ocplib-simplex-0.4.1-1.mga10.x86_64.rpm ocaml-zarith-1.14-1.mga10.x86_64.rpm lib64ncurses++6-6.5-20250426.1.mga10.x86_64.rpm lib64z-ng-devel-2.2.4-1.mga10.x86_64.rpm ocaml-5.3.0-5.mga10.x86_64.rpm ocaml-zarith-devel-1.14-1.mga10.x86_64.rpm lib64zstd-devel-1.5.7-1.mga10.x86_64.rpm ocaml-compiler-5.3.0-5.mga10.x86_64.rpm lib64ncurses-devel-6.5-20250426.1.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 ocaml-psmt2-frontend-0.4.0-3.mga10.x86_64.rpm ocaml-menhirlib-20240715-1.mga10.x86_64.rpm ocaml-menhirlib-devel-20240715-1.mga10.x86_64.rpm ocaml-rpm-macros-5.3.0-5.mga10.noarch.rpm menhir-20240715-1.mga10.x86_64.rpm ocaml-ocplib-simplex-devel-0.4.1-1.mga10.x86_64.rpm ocaml-dune-3.17.2-2.mga10.x86_64.rpm ...retrieving done installing ocaml-camlzip-devel-1.13-2.mga10.x86_64.rpm lib64z-ng2-2.2.4-1.mga10.x86_64.rpm ocaml-num-1.5-1.mga10.x86_64.rpm ocaml-num-devel-1.5-1.mga10.x86_64.rpm ocaml-dune-3.17.2-2.mga10.x86_64.rpm ocaml-menhirlib-devel-20240715-1.mga10.x86_64.rpm ocaml-menhirlib-20240715-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-compiler-5.3.0-5.mga10.x86_64.rpm lib64zstd-devel-1.5.7-1.mga10.x86_64.rpm ocaml-zarith-devel-1.14-1.mga10.x86_64.rpm ocaml-5.3.0-5.mga10.x86_64.rpm lib64z-ng-devel-2.2.4-1.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-zarith-1.14-1.mga10.x86_64.rpm ocaml-camlzip-1.13-2.mga10.x86_64.rpm ocaml-compiler-libs-5.3.0-5.mga10.x86_64.rpm ocaml-ocplib-simplex-devel-0.4.1-1.mga10.x86_64.rpm menhir-20240715-1.mga10.x86_64.rpm ocaml-rpm-macros-5.3.0-5.mga10.noarch.rpm ocaml-psmt2-frontend-0.4.0-3.mga10.x86_64.rpm lib64ncurses-devel-6.5-20250426.1.mga10.x86_64.rpm from /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906/var/cache/urpmi/rpms starting installing packages created transaction for installing on /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906 (remove=0, install=0, upgrade=24) Preparing... ############################################# 1/24: lib64z-ng2 ############################################# 2/24: lib64z-ng-devel ############################################# 3/24: lib64ncurses++6 ############################################# 4/24: lib64ncurses-devel ############################################# 5/24: lib64zstd-devel ############################################# 6/24: ocaml-compiler-libs ############################################# 7/24: ocaml-compiler ############################################# 8/24: ocaml-num ############################################# 9/24: ocaml-menhirlib ############################################# 10/24: ocaml ############################################# 11/24: ocaml-rpm-macros ############################################# 12/24: ocaml-ocplib-simplex ############################################# 13/24: ocaml-zarith ############################################# 14/24: ocaml-camlzip ############################################# 15/24: ocaml-psmt2-frontend ############################################# 16/24: lib64gmp-devel ############################################# 17/24: ocaml-zarith-devel ############################################# 18/24: ocaml-psmt2-frontend-devel ############################################# 19/24: ocaml-camlzip-devel ############################################# 20/24: ocaml-ocplib-simplex-devel ############################################# 21/24: ocaml-dune ############################################# 22/24: ocaml-menhirlib-devel ############################################# 23/24: ocaml-num-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-camlzip-devel-1.13-2.mga10.x86_64.rpm lib64z-ng2-2.2.4-1.mga10.x86_64.rpm ocaml-num-1.5-1.mga10.x86_64.rpm ocaml-num-devel-1.5-1.mga10.x86_64.rpm ocaml-dune-3.17.2-2.mga10.x86_64.rpm ocaml-menhirlib-devel-20240715-1.mga10.x86_64.rpm ocaml-menhirlib-20240715-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-compiler-5.3.0-5.mga10.x86_64.rpm lib64zstd-devel-1.5.7-1.mga10.x86_64.rpm ocaml-zarith-devel-1.14-1.mga10.x86_64.rpm ocaml-5.3.0-5.mga10.x86_64.rpm lib64z-ng-devel-2.2.4-1.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-zarith-1.14-1.mga10.x86_64.rpm ocaml-camlzip-1.13-2.mga10.x86_64.rpm ocaml-compiler-libs-5.3.0-5.mga10.x86_64.rpm ocaml-ocplib-simplex-devel-0.4.1-1.mga10.x86_64.rpm menhir-20240715-1.mga10.x86_64.rpm ocaml-rpm-macros-5.3.0-5.mga10.noarch.rpm ocaml-psmt2-frontend-0.4.0-3.mga10.x86_64.rpm lib64ncurses-devel-6.5-20250426.1.mga10.x86_64.rpm) from /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906/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 @2193096: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.20250620142906 -qa | sort D: [iurt] [iurt] Forking to monitor log size D: [iurt] [iurt] Command exited with 0. N: [iurt] [iurt] Building @2193096:alt-ergo-2.3.3-2.mga10.src.rpm D: [iurt] [iurt] Using timeout of 36000 seconds. D: [iurt] [iurt] /usr/bin/sudo /usr/sbin/iurt_root_command --chroot /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906 /bin/su - iurt -c "TMP=/home/iurt/tmp/ rpmbuild --target x86_64 --rebuild /home/iurt/rpmbuild/SRPMS/@2193096:alt-ergo-2.3.3-2.mga10.src.rpm" D: [iurt] [iurt] Forking to monitor log size D: [iurt] [iurt] Command exited with 256. D: [iurt] [iurt] calling callback for build_@2193096: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/@2193096: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.20250620142906 /bin/su - iurt -c "TMP=/home/iurt/tmp/ rpmbuild --target x86_64 --rebuild /home/iurt/rpmbuild/SRPMS/@2193096: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/@2193096:alt-ergo-2.3.3-2.mga10.src.rpm Executing(%mkbuilddir): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.53WgDe Executing(%prep): /bin/sh -e /home/iurt/rpmbuild/tmp/rpm-tmp.L88lpo + 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.254xVn + 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.dlEzmt + 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 -j24 + /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.t2R2Fc + 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 -j24 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.ijL5vB + 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.zKPZqE + 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 error: File not found: /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/*.mli RPM build errors: File not found: /home/iurt/rpmbuild/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/*.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.20250620142906 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.20250620142906/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.20250620142906/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.20250620142906/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.20250620142906 [iurt] [iurt] removing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906 D: [iurt_root_command] Running iurt_root_command --rm -r /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906 D: [iurt_root_command] Removing files D: [iurt_root_command] removing /home/iurt/chroot_tmp/iurt/chroot_cauldron.x86_64.0.20250620142906 D: [iurt_root_command] Success!