Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c29a' (ED25519) to the list of known hosts. You can reproduce this build on your computer by running: sudo dnf install copr-rpmbuild /usr/bin/copr-rpmbuild --verbose --drop-resultdir --task-url https://copr.fedorainfracloud.org/backend/get-build-task/8442902-fedora-rawhide-ppc64le --chroot fedora-rawhide-ppc64le Version: 1.2 PID: 10511 Logging PID: 10512 Task: {'allow_user_ssh': False, 'appstream': False, 'background': False, 'build_id': 8442902, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-ppc64le', 'enable_net': False, 'fedora_review': False, 'git_hash': '4f2edcf7aacf617be5952303e306fbe6f2255142', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/jjames/OCaml5.3/alt-ergo', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'alt-ergo', 'package_version': '2.3.3-23', 'project_dirname': 'OCaml5.3', 'project_name': 'OCaml5.3', 'project_owner': 'jjames', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/jjames/OCaml5.3/fedora-rawhide-ppc64le/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}], 'sandbox': 'jjames/OCaml5.3--jjames', 'source_json': {}, 'source_type': None, 'ssh_public_keys': None, 'storage': 0, 'submitter': 'jjames', 'tags': [], 'task_id': '8442902-fedora-rawhide-ppc64le', 'timeout': 18000, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/jjames/OCaml5.3/alt-ergo /var/lib/copr-rpmbuild/workspace/workdir-3to98w7l/alt-ergo --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/jjames/OCaml5.3/alt-ergo', '/var/lib/copr-rpmbuild/workspace/workdir-3to98w7l/alt-ergo', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-3to98w7l/alt-ergo'... Running: git checkout 4f2edcf7aacf617be5952303e306fbe6f2255142 -- cmd: ['git', 'checkout', '4f2edcf7aacf617be5952303e306fbe6f2255142', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-3to98w7l/alt-ergo rc: 0 stdout: stderr: Note: switching to '4f2edcf7aacf617be5952303e306fbe6f2255142'. You are in 'detached HEAD' state. You can look around, make experimental changes and commit them, and you can discard any commits you make in this state without impacting any branches by switching back to a branch. If you want to create a new branch to retain commits you create, you may do so (now or later) by using -c with the switch command. Example: git switch -c Or undo this operation with: git switch - Turn off this advice by setting config variable advice.detachedHead to false HEAD is now at 4f2edcf automatic import of alt-ergo Running: dist-git-client sources /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 2398k 100 2398k 0 0 16.0M 0 --:--:-- --:--:-- --:--:-- 16.1M INFO: Reading stdout from command: md5sum alt-ergo-free-2.3.0.tar.gz INFO: Downloading alt-ergo-free-2.3.3.tar.gz INFO: Calling: curl -H Pragma: -o alt-ergo-free-2.3.3.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/jjames/OCaml5.3/alt-ergo/alt-ergo-free-2.3.3.tar.gz/md5/adaea0b3bc67b24df5d6eec800d249f7/alt-ergo-free-2.3.3.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 388k 100 388k 0 0 2843k 0 --:--:-- --:--:-- --:--:-- 2855k INFO: Reading stdout from command: md5sum alt-ergo-free-2.3.3.tar.gz INFO: Downloading alt-ergo-icons.tar.xz INFO: Calling: curl -H Pragma: -o alt-ergo-icons.tar.xz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/jjames/OCaml5.3/alt-ergo/alt-ergo-icons.tar.xz/md5/7f0a09b222de3abe03563126e0830856/alt-ergo-icons.tar.xz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 62276 100 62276 0 0 813k 0 --:--:-- --:--:-- --:--:-- 821k INFO: Reading stdout from command: md5sum alt-ergo-icons.tar.xz Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-3to98w7l/alt-ergo/alt-ergo.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-3to98w7l/alt-ergo --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1734997652.039448 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 6.0 starting (python version = 3.13.0, NVR = mock-6.0-1.fc41), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-3to98w7l/alt-ergo/alt-ergo.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-3to98w7l/alt-ergo --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1734997652.039448 -r /var/lib/copr-rpmbuild/results/configs/child.cfg Start(bootstrap): init plugins INFO: tmpfs initialized INFO: selinux enabled INFO: chroot_scan: initialized INFO: compress_logs: initialized Finish(bootstrap): init plugins Start: init plugins INFO: tmpfs initialized INFO: selinux enabled INFO: chroot_scan: initialized INFO: compress_logs: initialized Finish: init plugins INFO: Signal handler active Start: run INFO: Start(/var/lib/copr-rpmbuild/workspace/workdir-3to98w7l/alt-ergo/alt-ergo.spec) Config(fedora-rawhide-ppc64le) Start: clean chroot Finish: clean chroot Mock Version: 6.0 INFO: Mock Version: 6.0 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-ppc64le-bootstrap-1734997652.039448/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata INFO: Guessed host environment type: unknown INFO: Using container image: registry.fedoraproject.org/fedora:rawhide INFO: Pulling image: registry.fedoraproject.org/fedora:rawhide INFO: Tagging container image as mock-bootstrap-53c76355-a427-465a-8927-a89e60498e02 INFO: Checking that 83c437c5ab6e579da81383882559b3fcce482f0058e114c5b021916dab21e895 image matches host's architecture INFO: Copy content of container 83c437c5ab6e579da81383882559b3fcce482f0058e114c5b021916dab21e895 to /var/lib/mock/fedora-rawhide-ppc64le-bootstrap-1734997652.039448/root INFO: mounting 83c437c5ab6e579da81383882559b3fcce482f0058e114c5b021916dab21e895 with podman image mount INFO: image 83c437c5ab6e579da81383882559b3fcce482f0058e114c5b021916dab21e895 as /var/lib/containers/storage/overlay/51de13c60eb8609e0f5e7a539af317c22046cf95536a0ba1531552c9690daff0/merged INFO: umounting image 83c437c5ab6e579da81383882559b3fcce482f0058e114c5b021916dab21e895 (/var/lib/containers/storage/overlay/51de13c60eb8609e0f5e7a539af317c22046cf95536a0ba1531552c9690daff0/merged) with podman image umount INFO: Removing image mock-bootstrap-53c76355-a427-465a-8927-a89e60498e02 INFO: Package manager dnf5 detected and used (fallback) INFO: Not updating bootstrap chroot, bootstrap_image_ready=True Start(bootstrap): creating root cache Finish(bootstrap): creating root cache Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-ppc64le-1734997652.039448/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Package manager dnf5 detected and used (direct choice) INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.20.0-1.fc42.ppc64le rpm-sequoia-1.7.0-3.fc42.ppc64le dnf5-5.2.8.1-2.fc42.ppc64le dnf5-plugins-5.2.8.1-2.fc42.ppc64le Start: installing minimal buildroot with dnf5 Updating and loading repositories: fedora 100% | 12.8 MiB/s | 20.2 MiB | 00m02s Copr repository 100% | 1.7 MiB/s | 269.2 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash ppc64le 5.2.37-1.fc42 fedora 8.7 MiB bzip2 ppc64le 1.0.8-19.fc41 fedora 427.5 KiB coreutils ppc64le 9.5-11.fc42 fedora 9.4 MiB cpio ppc64le 2.15-2.fc41 fedora 1.2 MiB diffutils ppc64le 3.10-8.fc41 fedora 2.2 MiB fedora-release-common noarch 42-0.11 fedora 19.8 KiB findutils ppc64le 1:4.10.0-4.fc41 fedora 2.2 MiB gawk ppc64le 5.3.0-4.fc41 fedora 4.5 MiB glibc-minimal-langpack ppc64le 2.40.9000-24.fc42 fedora 0.0 B grep ppc64le 3.11-9.fc41 fedora 1.2 MiB gzip ppc64le 1.13-2.fc41 fedora 552.8 KiB info ppc64le 7.1.1-2.fc42 fedora 741.5 KiB patch ppc64le 2.7.6-25.fc41 fedora 390.5 KiB redhat-rpm-config noarch 296-1.fc42 fedora 186.6 KiB rpm-build ppc64le 4.20.0-1.fc42 fedora 1.4 MiB sed ppc64le 4.9-3.fc41 fedora 1.0 MiB shadow-utils ppc64le 2:4.17.0~rc1-2.fc42 fedora 4.9 MiB tar ppc64le 2:1.35-4.fc41 fedora 3.2 MiB unzip ppc64le 6.0-65.fc42 fedora 2.3 MiB util-linux ppc64le 2.40.2-8.fc42 fedora 17.2 MiB which ppc64le 2.21-42.fc41 fedora 248.0 KiB xz ppc64le 1:5.6.3-2.fc42 fedora 1.5 MiB Installing dependencies: add-determinism ppc64le 0.5.0-1.fc42 fedora 2.5 MiB alternatives ppc64le 1.31-1.fc42 fedora 88.7 KiB ansible-srpm-macros noarch 1-16.fc41 fedora 35.7 KiB audit-libs ppc64le 4.0.2-1.fc41 fedora 675.2 KiB authselect ppc64le 1.5.0-8.fc42 fedora 309.4 KiB authselect-libs ppc64le 1.5.0-8.fc42 fedora 931.7 KiB basesystem noarch 11-21.fc41 fedora 0.0 B binutils ppc64le 2.43.50-9.fc42 fedora 31.4 MiB build-reproducibility-srpm-macros noarch 0.5.0-1.fc42 fedora 735.0 B bzip2-libs ppc64le 1.0.8-19.fc41 fedora 200.6 KiB ca-certificates noarch 2024.2.69_v8.0.401-3.fc42 fedora 2.6 MiB coreutils-common ppc64le 9.5-11.fc42 fedora 11.2 MiB cracklib ppc64le 2.9.11-6.fc41 fedora 934.2 KiB crypto-policies noarch 20241128-1.gitbb7b0b0.fc42 fedora 137.3 KiB curl ppc64le 8.11.1-2.fc42 fedora 515.9 KiB cyrus-sasl-lib ppc64le 2.1.28-27.fc41 fedora 3.5 MiB debugedit ppc64le 5.1-2.fc42 fedora 308.1 KiB dwz ppc64le 0.15-8.fc42 fedora 450.8 KiB ed ppc64le 1.20.2-2.fc41 fedora 282.8 KiB efi-srpm-macros noarch 5-13.fc42 fedora 40.2 KiB elfutils ppc64le 0.192-7.fc42 fedora 3.4 MiB elfutils-debuginfod-client ppc64le 0.192-7.fc42 fedora 140.9 KiB elfutils-default-yama-scope noarch 0.192-7.fc42 fedora 1.8 KiB elfutils-libelf ppc64le 0.192-7.fc42 fedora 1.2 MiB elfutils-libs ppc64le 0.192-7.fc42 fedora 862.5 KiB fedora-gpg-keys noarch 42-0.3 fedora 126.4 KiB fedora-release noarch 42-0.11 fedora 0.0 B fedora-release-identity-basic noarch 42-0.11 fedora 719.0 B fedora-repos noarch 42-0.3 fedora 4.9 KiB fedora-repos-rawhide noarch 42-0.3 fedora 2.2 KiB file ppc64le 5.45-8.fc42 fedora 139.5 KiB file-libs ppc64le 5.45-8.fc42 fedora 10.0 MiB filesystem ppc64le 3.18-29.fc42 fedora 106.0 B fonts-srpm-macros noarch 1:2.0.5-17.fc41 fedora 55.8 KiB forge-srpm-macros noarch 0.4.0-1.fc42 fedora 38.9 KiB fpc-srpm-macros noarch 1.3-13.fc41 fedora 144.0 B gdb-minimal ppc64le 15.2-4.fc42 fedora 15.2 MiB gdbm ppc64le 1:1.23-7.fc41 fedora 928.3 KiB gdbm-libs ppc64le 1:1.23-7.fc41 fedora 425.5 KiB ghc-srpm-macros noarch 1.9.2-1.fc42 fedora 779.0 B glibc ppc64le 2.40.9000-24.fc42 fedora 11.6 MiB glibc-common ppc64le 2.40.9000-24.fc42 fedora 1.5 MiB glibc-gconv-extra ppc64le 2.40.9000-24.fc42 fedora 18.3 MiB gmp ppc64le 1:6.3.0-2.fc41 fedora 850.3 KiB gnat-srpm-macros noarch 6-6.fc41 fedora 1.0 KiB go-srpm-macros noarch 3.6.0-5.fc42 fedora 60.8 KiB jansson ppc64le 2.14-1.fc42 fedora 221.1 KiB json-c ppc64le 0.18-1.fc42 fedora 139.1 KiB kernel-srpm-macros noarch 1.0-24.fc41 fedora 1.9 KiB keyutils-libs ppc64le 1.6.3-4.fc41 fedora 226.1 KiB krb5-libs ppc64le 1.21.3-3.fc42 fedora 3.0 MiB libacl ppc64le 2.3.2-2.fc41 fedora 195.7 KiB libarchive ppc64le 3.7.7-1.fc42 fedora 1.3 MiB libattr ppc64le 2.5.2-4.fc41 fedora 196.3 KiB libblkid ppc64le 2.40.2-8.fc42 fedora 482.6 KiB libbrotli ppc64le 1.1.0-5.fc41 fedora 1.3 MiB libcap ppc64le 2.71-1.fc42 fedora 508.8 KiB libcap-ng ppc64le 0.8.5-3.fc41 fedora 416.5 KiB libcom_err ppc64le 1.47.1-6.fc42 fedora 239.1 KiB libcurl ppc64le 8.11.1-2.fc42 fedora 1.0 MiB libeconf ppc64le 0.7.5-1.fc42 fedora 78.6 KiB libevent ppc64le 2.1.12-14.fc41 fedora 1.6 MiB libfdisk ppc64le 2.40.2-8.fc42 fedora 611.0 KiB libffi ppc64le 3.4.6-3.fc42 fedora 218.0 KiB libgcc ppc64le 14.2.1-6.fc42 fedora 286.4 KiB libgomp ppc64le 14.2.1-6.fc42 fedora 631.4 KiB libidn2 ppc64le 2.3.7-2.fc41 fedora 456.8 KiB libmount ppc64le 2.40.2-8.fc42 fedora 548.0 KiB libnghttp2 ppc64le 1.64.0-1.fc42 fedora 326.1 KiB libpkgconf ppc64le 2.3.0-1.fc42 fedora 198.0 KiB libpsl ppc64le 0.21.5-4.fc41 fedora 196.2 KiB libpwquality ppc64le 1.4.5-11.fc41 fedora 1.1 MiB librtas ppc64le 2.0.6-2.fc41 fedora 497.6 KiB libselinux ppc64le 3.8-0.rc3.1.fc42 fedora 259.5 KiB libsemanage ppc64le 3.8-0.rc3.1.fc42 fedora 417.0 KiB libsepol ppc64le 3.8-0.rc3.1.fc42 fedora 1.0 MiB libsmartcols ppc64le 2.40.2-8.fc42 fedora 353.5 KiB libssh ppc64le 0.11.1-1.fc42 fedora 777.7 KiB libssh-config noarch 0.11.1-1.fc42 fedora 277.0 B libstdc++ ppc64le 14.2.1-6.fc42 fedora 3.8 MiB libtasn1 ppc64le 4.19.0-9.fc41 fedora 347.4 KiB libtirpc ppc64le 1.3.6-1.fc42 fedora 276.8 KiB libtool-ltdl ppc64le 2.5.4-1.fc42 fedora 92.0 KiB libunistring ppc64le 1.1-8.fc41 fedora 1.9 MiB libuuid ppc64le 2.40.2-8.fc42 fedora 197.4 KiB libverto ppc64le 0.3.2-9.fc41 fedora 197.2 KiB libxcrypt ppc64le 4.4.36-12.fc42 fedora 333.0 KiB libxml2 ppc64le 2.12.8-2.fc41 fedora 2.5 MiB libzstd ppc64le 1.5.6-2.fc41 fedora 988.0 KiB lua-libs ppc64le 5.4.7-1.fc42 fedora 521.0 KiB lua-srpm-macros noarch 1-14.fc41 fedora 1.3 KiB lz4-libs ppc64le 1.10.0-1.fc41 fedora 325.2 KiB mpfr ppc64le 4.2.1-5.fc41 fedora 976.9 KiB ncurses-base noarch 6.5-2.20240629.fc41 fedora 326.3 KiB ncurses-libs ppc64le 6.5-2.20240629.fc41 fedora 2.4 MiB ocaml-srpm-macros noarch 10-3.fc41 fedora 1.9 KiB openblas-srpm-macros noarch 2-18.fc41 fedora 112.0 B openldap ppc64le 2.6.8-6.fc42 fedora 874.8 KiB openssl-libs ppc64le 1:3.2.2-8.fc42 fedora 8.6 MiB p11-kit ppc64le 0.25.5-4.fc42 fedora 3.1 MiB p11-kit-trust ppc64le 0.25.5-4.fc42 fedora 655.4 KiB package-notes-srpm-macros noarch 0.5-12.fc41 fedora 1.6 KiB pam ppc64le 1.7.0-3.fc42 fedora 4.2 MiB pam-libs ppc64le 1.7.0-3.fc42 fedora 286.9 KiB pcre2 ppc64le 10.44-1.fc41.1 fedora 968.8 KiB pcre2-syntax noarch 10.44-1.fc41.1 fedora 251.6 KiB perl-srpm-macros noarch 1-56.fc41 fedora 861.0 B pkgconf ppc64le 2.3.0-1.fc42 fedora 240.5 KiB pkgconf-m4 noarch 2.3.0-1.fc42 fedora 14.4 KiB pkgconf-pkg-config ppc64le 2.3.0-1.fc42 fedora 990.0 B popt ppc64le 1.19-7.fc41 fedora 272.8 KiB publicsuffix-list-dafsa noarch 20240107-4.fc41 fedora 67.5 KiB pyproject-srpm-macros noarch 1.16.3-1.fc42 fedora 1.9 KiB python-srpm-macros noarch 3.13-3.fc41 fedora 51.0 KiB qt5-srpm-macros noarch 5.15.15-1.fc42 fedora 500.0 B qt6-srpm-macros noarch 6.8.1-4.fc42 fedora 456.0 B readline ppc64le 8.2-11.fc42 fedora 881.0 KiB rpm ppc64le 4.20.0-1.fc42 fedora 4.8 MiB rpm-build-libs ppc64le 4.20.0-1.fc42 fedora 390.6 KiB rpm-libs ppc64le 4.20.0-1.fc42 fedora 1.2 MiB rpm-sequoia ppc64le 1.7.0-3.fc42 fedora 2.7 MiB rust-srpm-macros noarch 26.3-3.fc42 fedora 4.8 KiB setup noarch 2.15.0-5.fc41 fedora 720.7 KiB sqlite-libs ppc64le 3.47.2-1.fc42 fedora 1.8 MiB systemd-libs ppc64le 257.1-1.fc42 fedora 2.9 MiB util-linux-core ppc64le 2.40.2-8.fc42 fedora 6.2 MiB xxhash-libs ppc64le 0.8.2-4.fc42 fedora 211.9 KiB xz-libs ppc64le 1:5.6.3-2.fc42 fedora 394.1 KiB zig-srpm-macros noarch 1-3.fc41 fedora 1.1 KiB zip ppc64le 3.0-42.fc42 fedora 883.2 KiB zlib-ng-compat ppc64le 2.2.2-1.fc42 fedora 197.7 KiB zstd ppc64le 1.5.6-2.fc41 fedora 2.1 MiB Installing groups: Buildsystem building group Transaction Summary: Installing: 154 packages Total size of inbound packages is 56 MiB. Need to download 56 MiB. After this operation, 262 MiB extra will be used (install 262 MiB, remove 0 B). [ 1/154] bzip2-0:1.0.8-19.fc41.ppc64le 100% | 167.9 KiB/s | 53.4 KiB | 00m00s [ 2/154] cpio-0:2.15-2.fc41.ppc64le 100% | 1.0 MiB/s | 299.5 KiB | 00m00s [ 3/154] coreutils-0:9.5-11.fc42.ppc64 100% | 1.6 MiB/s | 1.2 MiB | 00m01s [ 4/154] diffutils-0:3.10-8.fc41.ppc64 100% | 2.6 MiB/s | 417.5 KiB | 00m00s [ 5/154] fedora-release-common-0:42-0. 100% | 326.9 KiB/s | 23.9 KiB | 00m00s [ 6/154] bash-0:5.2.37-1.fc42.ppc64le 100% | 2.3 MiB/s | 1.9 MiB | 00m01s [ 7/154] glibc-minimal-langpack-0:2.40 100% | 1.5 MiB/s | 121.9 KiB | 00m00s [ 8/154] findutils-1:4.10.0-4.fc41.ppc 100% | 2.6 MiB/s | 588.1 KiB | 00m00s [ 9/154] grep-0:3.11-9.fc41.ppc64le 100% | 3.4 MiB/s | 309.5 KiB | 00m00s [ 10/154] gawk-0:5.3.0-4.fc41.ppc64le 100% | 4.5 MiB/s | 1.1 MiB | 00m00s [ 11/154] gzip-0:1.13-2.fc41.ppc64le 100% | 2.1 MiB/s | 174.2 KiB | 00m00s [ 12/154] info-0:7.1.1-2.fc42.ppc64le 100% | 2.4 MiB/s | 201.4 KiB | 00m00s [ 13/154] redhat-rpm-config-0:296-1.fc4 100% | 1.0 MiB/s | 82.4 KiB | 00m00s [ 14/154] patch-0:2.7.6-25.fc41.ppc64le 100% | 1.4 MiB/s | 142.1 KiB | 00m00s [ 15/154] rpm-build-0:4.20.0-1.fc42.ppc 100% | 1.1 MiB/s | 84.9 KiB | 00m00s [ 16/154] sed-0:4.9-3.fc41.ppc64le 100% | 3.4 MiB/s | 323.2 KiB | 00m00s [ 17/154] unzip-0:6.0-65.fc42.ppc64le 100% | 2.0 MiB/s | 192.7 KiB | 00m00s [ 18/154] tar-2:1.35-4.fc41.ppc64le 100% | 3.7 MiB/s | 882.9 KiB | 00m00s [ 19/154] which-0:2.21-42.fc41.ppc64le 100% | 516.9 KiB/s | 42.9 KiB | 00m00s [ 20/154] util-linux-0:2.40.2-8.fc42.pp 100% | 5.1 MiB/s | 1.3 MiB | 00m00s [ 21/154] xz-1:5.6.3-2.fc42.ppc64le 100% | 3.0 MiB/s | 479.1 KiB | 00m00s [ 22/154] shadow-utils-2:4.17.0~rc1-2.f 100% | 2.3 MiB/s | 1.3 MiB | 00m01s >>> Status code: 404 for http://mirror.fcix.net/fedora-secondary/development/raw >>> Status code: 404 for https://mirror.fcix.net/fedora-secondary/development/ra [ 23/154] ncurses-libs-0:6.5-2.20240629 100% | 2.7 MiB/s | 378.3 KiB | 00m00s [ 24/154] filesystem-0:3.18-29.fc42.ppc 100% | 3.5 MiB/s | 1.1 MiB | 00m00s [ 25/154] bzip2-libs-0:1.0.8-19.fc41.pp 100% | 590.8 KiB/s | 46.7 KiB | 00m00s [ 26/154] gmp-1:6.3.0-2.fc41.ppc64le 100% | 2.5 MiB/s | 309.0 KiB | 00m00s [ 27/154] libacl-0:2.3.2-2.fc41.ppc64le 100% | 358.7 KiB/s | 27.3 KiB | 00m00s [ 28/154] libattr-0:2.5.2-4.fc41.ppc64l 100% | 252.1 KiB/s | 18.9 KiB | 00m00s [ 29/154] glibc-0:2.40.9000-24.fc42.ppc 100% | 5.0 MiB/s | 3.1 MiB | 00m01s [ 30/154] libcap-0:2.71-1.fc42.ppc64le 100% | 1.0 MiB/s | 92.4 KiB | 00m00s [ 31/154] coreutils-common-0:9.5-11.fc4 100% | 4.6 MiB/s | 2.1 MiB | 00m00s [ 32/154] libselinux-0:3.8-0.rc3.1.fc42 100% | 1.0 MiB/s | 104.0 KiB | 00m00s [ 33/154] fedora-repos-0:42-0.3.noarch 100% | 124.2 KiB/s | 9.2 KiB | 00m00s [ 34/154] mpfr-0:4.2.1-5.fc41.ppc64le 100% | 2.5 MiB/s | 354.9 KiB | 00m00s [ 35/154] systemd-libs-0:257.1-1.fc42.p 100% | 3.2 MiB/s | 825.8 KiB | 00m00s [ 36/154] readline-0:8.2-11.fc42.ppc64l 100% | 2.0 MiB/s | 230.4 KiB | 00m00s [ 37/154] glibc-common-0:2.40.9000-24.f 100% | 2.9 MiB/s | 407.2 KiB | 00m00s [ 38/154] pcre2-0:10.44-1.fc41.1.ppc64l 100% | 2.2 MiB/s | 251.9 KiB | 00m00s [ 39/154] openssl-libs-1:3.2.2-8.fc42.p 100% | 4.5 MiB/s | 2.5 MiB | 00m01s [ 40/154] ed-0:1.20.2-2.fc41.ppc64le 100% | 864.7 KiB/s | 84.7 KiB | 00m00s [ 41/154] ansible-srpm-macros-0:1-16.fc 100% | 277.0 KiB/s | 20.8 KiB | 00m00s [ 42/154] dwz-0:0.15-8.fc42.ppc64le 100% | 1.5 MiB/s | 144.0 KiB | 00m00s [ 43/154] efi-srpm-macros-0:5-13.fc42.n 100% | 267.4 KiB/s | 22.5 KiB | 00m00s [ 44/154] file-0:5.45-8.fc42.ppc64le 100% | 602.1 KiB/s | 49.4 KiB | 00m00s [ 45/154] build-reproducibility-srpm-ma 100% | 62.4 KiB/s | 11.5 KiB | 00m00s >>> Status code: 404 for http://mirror.fcix.net/fedora-secondary/development/raw >>> Status code: 404 for https://mirror.fcix.net/fedora-secondary/development/ra [ 46/154] fonts-srpm-macros-1:2.0.5-17. 100% | 345.7 KiB/s | 27.0 KiB | 00m00s [ 47/154] forge-srpm-macros-0:0.4.0-1.f 100% | 253.3 KiB/s | 19.8 KiB | 00m00s [ 48/154] fpc-srpm-macros-0:1.3-13.fc41 100% | 106.2 KiB/s | 8.0 KiB | 00m00s [ 49/154] ghc-srpm-macros-0:1.9.2-1.fc4 100% | 121.6 KiB/s | 9.1 KiB | 00m00s [ 50/154] gnat-srpm-macros-0:6-6.fc41.n 100% | 119.4 KiB/s | 9.0 KiB | 00m00s [ 51/154] go-srpm-macros-0:3.6.0-5.fc42 100% | 358.5 KiB/s | 28.0 KiB | 00m00s [ 52/154] kernel-srpm-macros-0:1.0-24.f 100% | 135.2 KiB/s | 9.9 KiB | 00m00s [ 53/154] lua-srpm-macros-0:1-14.fc41.n 100% | 115.3 KiB/s | 8.9 KiB | 00m00s [ 54/154] ocaml-srpm-macros-0:10-3.fc41 100% | 122.7 KiB/s | 9.2 KiB | 00m00s [ 55/154] openblas-srpm-macros-0:2-18.f 100% | 102.9 KiB/s | 7.7 KiB | 00m00s [ 56/154] package-notes-srpm-macros-0:0 100% | 126.0 KiB/s | 9.8 KiB | 00m00s [ 57/154] perl-srpm-macros-0:1-56.fc41. 100% | 113.5 KiB/s | 8.5 KiB | 00m00s [ 58/154] pyproject-srpm-macros-0:1.16. 100% | 180.1 KiB/s | 13.9 KiB | 00m00s [ 59/154] qt5-srpm-macros-0:5.15.15-1.f 100% | 118.6 KiB/s | 8.9 KiB | 00m00s [ 60/154] qt6-srpm-macros-0:6.8.1-4.fc4 100% | 121.9 KiB/s | 9.3 KiB | 00m00s [ 61/154] python-srpm-macros-0:3.13-3.f 100% | 300.3 KiB/s | 23.7 KiB | 00m00s [ 62/154] rust-srpm-macros-0:26.3-3.fc4 100% | 161.3 KiB/s | 12.1 KiB | 00m00s [ 63/154] zig-srpm-macros-0:1-3.fc41.no 100% | 109.8 KiB/s | 8.1 KiB | 00m00s [ 64/154] rpm-0:4.20.0-1.fc42.ppc64le 100% | 3.2 MiB/s | 549.8 KiB | 00m00s [ 65/154] zip-0:3.0-42.fc42.ppc64le 100% | 2.2 MiB/s | 266.3 KiB | 00m00s [ 66/154] debugedit-0:5.1-2.fc42.ppc64l 100% | 948.4 KiB/s | 81.6 KiB | 00m00s [ 67/154] elfutils-0:0.192-7.fc42.ppc64 100% | 3.2 MiB/s | 526.7 KiB | 00m00s [ 68/154] elfutils-libelf-0:0.192-7.fc4 100% | 1.9 MiB/s | 213.1 KiB | 00m00s [ 69/154] pkgconf-pkg-config-0:2.3.0-1. 100% | 134.3 KiB/s | 9.9 KiB | 00m00s [ 70/154] libarchive-0:3.7.7-1.fc42.ppc 100% | 3.0 MiB/s | 479.7 KiB | 00m00s [ 71/154] popt-0:1.19-7.fc41.ppc64le 100% | 828.7 KiB/s | 70.4 KiB | 00m00s [ 72/154] rpm-libs-0:4.20.0-1.fc42.ppc6 100% | 2.6 MiB/s | 353.8 KiB | 00m00s [ 73/154] rpm-build-libs-0:4.20.0-1.fc4 100% | 690.4 KiB/s | 107.0 KiB | 00m00s [ 74/154] audit-libs-0:4.0.2-1.fc41.ppc 100% | 1.4 MiB/s | 142.5 KiB | 00m00s [ 75/154] zstd-0:1.5.6-2.fc41.ppc64le 100% | 3.2 MiB/s | 504.1 KiB | 00m00s [ 76/154] libeconf-0:0.7.5-1.fc42.ppc64 100% | 476.3 KiB/s | 37.6 KiB | 00m00s [ 77/154] libsemanage-0:3.8-0.rc3.1.fc4 100% | 1.3 MiB/s | 128.0 KiB | 00m00s [ 78/154] libxcrypt-0:4.4.36-12.fc42.pp 100% | 1.3 MiB/s | 127.4 KiB | 00m00s [ 79/154] pam-libs-0:1.7.0-3.fc42.ppc64 100% | 761.5 KiB/s | 64.0 KiB | 00m00s [ 80/154] setup-0:2.15.0-5.fc41.noarch 100% | 1.6 MiB/s | 154.4 KiB | 00m00s [ 81/154] authselect-libs-0:1.5.0-8.fc4 100% | 2.0 MiB/s | 222.7 KiB | 00m00s [ 82/154] libblkid-0:2.40.2-8.fc42.ppc6 100% | 1.5 MiB/s | 141.6 KiB | 00m00s [ 83/154] libcap-ng-0:0.8.5-3.fc41.ppc6 100% | 421.6 KiB/s | 33.7 KiB | 00m00s [ 84/154] libfdisk-0:2.40.2-8.fc42.ppc6 100% | 1.7 MiB/s | 175.7 KiB | 00m00s [ 85/154] binutils-0:2.43.50-9.fc42.ppc 100% | 5.3 MiB/s | 6.5 MiB | 00m01s [ 86/154] libmount-0:2.40.2-8.fc42.ppc6 100% | 1.4 MiB/s | 177.8 KiB | 00m00s [ 87/154] librtas-0:2.0.6-2.fc41.ppc64l 100% | 956.2 KiB/s | 81.3 KiB | 00m00s [ 88/154] libuuid-0:2.40.2-8.fc42.ppc64 100% | 401.9 KiB/s | 30.5 KiB | 00m00s [ 89/154] libsmartcols-0:2.40.2-8.fc42. 100% | 713.4 KiB/s | 109.9 KiB | 00m00s [ 90/154] pam-0:1.7.0-3.fc42.ppc64le 100% | 3.4 MiB/s | 592.9 KiB | 00m00s [ 91/154] zlib-ng-compat-0:2.2.2-1.fc42 100% | 939.4 KiB/s | 78.9 KiB | 00m00s [ 92/154] util-linux-core-0:2.40.2-8.fc 100% | 3.2 MiB/s | 580.8 KiB | 00m00s [ 93/154] xz-libs-1:5.6.3-2.fc42.ppc64l 100% | 1.3 MiB/s | 124.7 KiB | 00m00s [ 94/154] basesystem-0:11-21.fc41.noarc 100% | 101.0 KiB/s | 7.4 KiB | 00m00s [ 95/154] libgcc-0:14.2.1-6.fc42.ppc64l 100% | 1.2 MiB/s | 115.5 KiB | 00m00s [ 96/154] ncurses-base-0:6.5-2.20240629 100% | 1.0 MiB/s | 88.4 KiB | 00m00s [ 97/154] libsepol-0:3.8-0.rc3.1.fc42.p 100% | 2.5 MiB/s | 363.1 KiB | 00m00s [ 98/154] glibc-gconv-extra-0:2.40.9000 100% | 4.6 MiB/s | 1.6 MiB | 00m00s [ 99/154] crypto-policies-0:20241128-1. 100% | 1.1 MiB/s | 98.4 KiB | 00m00s [100/154] ca-certificates-0:2024.2.69_v 100% | 3.9 MiB/s | 944.5 KiB | 00m00s [101/154] fedora-gpg-keys-0:42-0.3.noar 100% | 1.4 MiB/s | 133.6 KiB | 00m00s [102/154] fedora-repos-rawhide-0:42-0.3 100% | 116.8 KiB/s | 8.8 KiB | 00m00s [103/154] pcre2-syntax-0:10.44-1.fc41.1 100% | 1.4 MiB/s | 149.9 KiB | 00m00s [104/154] curl-0:8.11.1-2.fc42.ppc64le 100% | 2.0 MiB/s | 225.3 KiB | 00m00s [105/154] file-libs-0:5.45-8.fc42.ppc64 100% | 3.8 MiB/s | 774.1 KiB | 00m00s [106/154] alternatives-0:1.31-1.fc42.pp 100% | 536.7 KiB/s | 41.9 KiB | 00m00s [107/154] elfutils-debuginfod-client-0: 100% | 591.8 KiB/s | 46.7 KiB | 00m00s [108/154] add-determinism-0:0.5.0-1.fc4 100% | 2.5 MiB/s | 894.3 KiB | 00m00s >>> Status code: 404 for http://mirror.fcix.net/fedora-secondary/development/raw >>> Status code: 404 for https://mirror.fcix.net/fedora-secondary/development/ra [109/154] jansson-0:2.14-1.fc42.ppc64le 100% | 631.8 KiB/s | 50.5 KiB | 00m00s [110/154] elfutils-libs-0:0.192-7.fc42. 100% | 2.4 MiB/s | 288.9 KiB | 00m00s [111/154] libzstd-0:1.5.6-2.fc41.ppc64l 100% | 2.6 MiB/s | 336.8 KiB | 00m00s [112/154] libstdc++-0:14.2.1-6.fc42.ppc 100% | 4.0 MiB/s | 1.0 MiB | 00m00s [113/154] lz4-libs-0:1.10.0-1.fc41.ppc6 100% | 1.1 MiB/s | 97.7 KiB | 00m00s [114/154] pkgconf-0:2.3.0-1.fc42.ppc64l 100% | 573.8 KiB/s | 45.9 KiB | 00m00s [115/154] pkgconf-m4-0:2.3.0-1.fc42.noa 100% | 193.5 KiB/s | 14.3 KiB | 00m00s [116/154] libxml2-0:2.12.8-2.fc41.ppc64 100% | 3.8 MiB/s | 767.3 KiB | 00m00s [117/154] lua-libs-0:5.4.7-1.fc42.ppc64 100% | 1.4 MiB/s | 148.1 KiB | 00m00s [118/154] libgomp-0:14.2.1-6.fc42.ppc64 100% | 2.7 MiB/s | 370.0 KiB | 00m00s [119/154] authselect-0:1.5.0-8.fc42.ppc 100% | 1.5 MiB/s | 147.0 KiB | 00m00s [120/154] rpm-sequoia-0:1.7.0-3.fc42.pp 100% | 3.8 MiB/s | 914.4 KiB | 00m00s [121/154] sqlite-libs-0:3.47.2-1.fc42.p 100% | 3.8 MiB/s | 792.8 KiB | 00m00s [122/154] gdbm-1:1.23-7.fc41.ppc64le 100% | 1.5 MiB/s | 158.9 KiB | 00m00s [123/154] gdbm-libs-1:1.23-7.fc41.ppc64 100% | 752.2 KiB/s | 61.7 KiB | 00m00s [124/154] libpwquality-0:1.4.5-11.fc41. 100% | 1.3 MiB/s | 122.3 KiB | 00m00s [125/154] libtirpc-0:1.3.6-1.fc42.ppc64 100% | 1.2 MiB/s | 108.6 KiB | 00m00s [126/154] libffi-0:3.4.6-3.fc42.ppc64le 100% | 496.2 KiB/s | 38.2 KiB | 00m00s [127/154] json-c-0:0.18-1.fc42.ppc64le 100% | 611.1 KiB/s | 48.9 KiB | 00m00s [128/154] p11-kit-trust-0:0.25.5-4.fc42 100% | 1.5 MiB/s | 149.4 KiB | 00m00s [129/154] p11-kit-0:0.25.5-4.fc42.ppc64 100% | 3.1 MiB/s | 496.5 KiB | 00m00s [130/154] elfutils-default-yama-scope-0 100% | 166.2 KiB/s | 12.5 KiB | 00m00s [131/154] libpkgconf-0:2.3.0-1.fc42.ppc 100% | 536.3 KiB/s | 42.9 KiB | 00m00s [132/154] cracklib-0:2.9.11-6.fc41.ppc6 100% | 1.1 MiB/s | 94.1 KiB | 00m00s [133/154] libcom_err-0:1.47.1-6.fc42.pp 100% | 357.4 KiB/s | 27.2 KiB | 00m00s [134/154] libtasn1-0:4.19.0-9.fc41.ppc6 100% | 900.7 KiB/s | 79.3 KiB | 00m00s [135/154] keyutils-libs-0:1.6.3-4.fc41. 100% | 420.1 KiB/s | 32.8 KiB | 00m00s [136/154] krb5-libs-0:1.21.3-3.fc42.ppc 100% | 3.8 MiB/s | 846.4 KiB | 00m00s [137/154] libverto-0:0.3.2-9.fc41.ppc64 100% | 295.9 KiB/s | 22.2 KiB | 00m00s [138/154] fedora-release-0:42-0.11.noar 100% | 175.4 KiB/s | 13.0 KiB | 00m00s [139/154] xxhash-libs-0:0.8.2-4.fc42.pp 100% | 483.0 KiB/s | 37.2 KiB | 00m00s [140/154] fedora-release-identity-basic 100% | 183.8 KiB/s | 13.8 KiB | 00m00s [141/154] libcurl-0:8.11.1-2.fc42.ppc64 100% | 2.8 MiB/s | 399.3 KiB | 00m00s [142/154] libbrotli-0:1.1.0-5.fc41.ppc6 100% | 2.8 MiB/s | 382.0 KiB | 00m00s [143/154] libnghttp2-0:1.64.0-1.fc42.pp 100% | 974.6 KiB/s | 85.8 KiB | 00m00s [144/154] libidn2-0:2.3.7-2.fc41.ppc64l 100% | 1.2 MiB/s | 121.0 KiB | 00m00s [145/154] libpsl-0:0.21.5-4.fc41.ppc64l 100% | 801.3 KiB/s | 65.7 KiB | 00m00s [146/154] libssh-0:0.11.1-1.fc42.ppc64l 100% | 2.2 MiB/s | 263.2 KiB | 00m00s [147/154] openldap-0:2.6.8-6.fc42.ppc64 100% | 2.2 MiB/s | 274.7 KiB | 00m00s [148/154] publicsuffix-list-dafsa-0:202 100% | 710.7 KiB/s | 58.3 KiB | 00m00s [149/154] libunistring-0:1.1-8.fc41.ppc 100% | 3.2 MiB/s | 575.2 KiB | 00m00s [150/154] libssh-config-0:0.11.1-1.fc42 100% | 123.5 KiB/s | 9.4 KiB | 00m00s [151/154] libevent-0:2.1.12-14.fc41.ppc 100% | 2.3 MiB/s | 274.8 KiB | 00m00s [152/154] gdb-minimal-0:15.2-4.fc42.ppc 100% | 5.0 MiB/s | 4.3 MiB | 00m01s [153/154] cyrus-sasl-lib-0:2.1.28-27.fc 100% | 3.7 MiB/s | 883.1 KiB | 00m00s [154/154] libtool-ltdl-0:2.5.4-1.fc42.p 100% | 470.4 KiB/s | 37.6 KiB | 00m00s -------------------------------------------------------------------------------- [154/154] Total 100% | 7.2 MiB/s | 56.0 MiB | 00m08s Running transaction Importing OpenPGP key 0x105EF944: UserID : "Fedora (42) " Fingerprint: B0F4950458F69E1150C6C5EDC8AC4916105EF944 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-42-primary The key was successfully imported. Importing OpenPGP key 0x105EF944: UserID : "Fedora (42) " Fingerprint: B0F4950458F69E1150C6C5EDC8AC4916105EF944 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-42-primary The key was successfully imported. Importing OpenPGP key 0xE99D6AD1: UserID : "Fedora (41) " Fingerprint: 466CF2D8B60BC3057AA9453ED0622462E99D6AD1 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-41-primary The key was successfully imported. Importing OpenPGP key 0x31645531: UserID : "Fedora (43) " Fingerprint: C6E7F081CF80E13146676E88829B606631645531 From : file:///usr/share/distribution-gpg-keys/fedora/RPM-GPG-KEY-fedora-43-primary The key was successfully imported. [ 1/156] Verify package files 100% | 256.0 B/s | 154.0 B | 00m01s [ 2/156] Prepare transaction 100% | 1.5 KiB/s | 154.0 B | 00m00s [ 3/156] Installing libgcc-0:14.2.1-6. 100% | 93.7 MiB/s | 287.9 KiB | 00m00s [ 4/156] Installing libssh-config-0:0. 100% | 0.0 B/s | 816.0 B | 00m00s [ 5/156] Installing publicsuffix-list- 100% | 66.7 MiB/s | 68.3 KiB | 00m00s [ 6/156] Installing fedora-release-ide 100% | 0.0 B/s | 976.0 B | 00m00s [ 7/156] Installing fedora-repos-rawhi 100% | 2.4 MiB/s | 2.4 KiB | 00m00s [ 8/156] Installing fedora-gpg-keys-0: 100% | 16.8 MiB/s | 172.2 KiB | 00m00s [ 9/156] Installing fedora-repos-0:42- 100% | 5.6 MiB/s | 5.7 KiB | 00m00s [ 10/156] Installing fedora-release-com 100% | 11.8 MiB/s | 24.1 KiB | 00m00s [ 11/156] Installing fedora-release-0:4 100% | 0.0 B/s | 124.0 B | 00m00s [ 12/156] Installing setup-0:2.15.0-5.f 100% | 23.6 MiB/s | 726.1 KiB | 00m00s >>> [RPM] /etc/hosts created as /etc/hosts.rpmnew [ 13/156] Installing filesystem-0:3.18- 100% | 1.5 MiB/s | 212.6 KiB | 00m00s [ 14/156] Installing basesystem-0:11-21 100% | 121.1 KiB/s | 124.0 B | 00m00s [ 15/156] Installing pkgconf-m4-0:2.3.0 100% | 14.5 MiB/s | 14.8 KiB | 00m00s [ 16/156] Installing pcre2-syntax-0:10. 100% | 82.7 MiB/s | 254.1 KiB | 00m00s [ 17/156] Installing ncurses-base-0:6.5 100% | 28.6 MiB/s | 351.7 KiB | 00m00s [ 18/156] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 19/156] Installing ncurses-libs-0:6.5 100% | 152.2 MiB/s | 2.4 MiB | 00m00s [ 20/156] Installing glibc-0:2.40.9000- 100% | 146.5 MiB/s | 11.6 MiB | 00m00s [ 21/156] Installing bash-0:5.2.37-1.fc 100% | 163.6 MiB/s | 8.7 MiB | 00m00s [ 22/156] Installing glibc-common-0:2.4 100% | 99.8 MiB/s | 1.5 MiB | 00m00s [ 23/156] Installing glibc-gconv-extra- 100% | 159.6 MiB/s | 18.4 MiB | 00m00s [ 24/156] Installing zlib-ng-compat-0:2 100% | 64.6 MiB/s | 198.5 KiB | 00m00s [ 25/156] Installing bzip2-libs-0:1.0.8 100% | 65.7 MiB/s | 201.8 KiB | 00m00s [ 26/156] Installing xz-libs-1:5.6.3-2. 100% | 77.2 MiB/s | 395.2 KiB | 00m00s [ 27/156] Installing readline-0:8.2-11. 100% | 95.8 MiB/s | 883.1 KiB | 00m00s [ 28/156] Installing popt-0:1.19-7.fc41 100% | 30.3 MiB/s | 279.4 KiB | 00m00s [ 29/156] Installing libuuid-0:2.40.2-8 100% | 64.6 MiB/s | 198.5 KiB | 00m00s [ 30/156] Installing libblkid-0:2.40.2- 100% | 78.7 MiB/s | 483.8 KiB | 00m00s [ 31/156] Installing gmp-1:6.3.0-2.fc41 100% | 83.3 MiB/s | 852.5 KiB | 00m00s [ 32/156] Installing libxcrypt-0:4.4.36 100% | 54.6 MiB/s | 335.7 KiB | 00m00s [ 33/156] Installing libstdc++-0:14.2.1 100% | 164.0 MiB/s | 3.8 MiB | 00m00s [ 34/156] Installing libzstd-0:1.5.6-2. 100% | 161.0 MiB/s | 989.2 KiB | 00m00s [ 35/156] Installing elfutils-libelf-0: 100% | 156.1 MiB/s | 1.2 MiB | 00m00s [ 36/156] Installing libattr-0:2.5.2-4. 100% | 192.6 MiB/s | 197.2 KiB | 00m00s [ 37/156] Installing libacl-0:2.3.2-2.f 100% | 192.0 MiB/s | 196.6 KiB | 00m00s [ 38/156] Installing libeconf-0:0.7.5-1 100% | 78.3 MiB/s | 80.2 KiB | 00m00s [ 39/156] Installing gdbm-libs-1:1.23-7 100% | 139.1 MiB/s | 427.2 KiB | 00m00s [ 40/156] Installing dwz-0:0.15-8.fc42. 100% | 147.2 MiB/s | 452.1 KiB | 00m00s [ 41/156] Installing mpfr-0:4.2.1-5.fc4 100% | 136.5 MiB/s | 978.6 KiB | 00m00s [ 42/156] Installing gawk-0:5.3.0-4.fc4 100% | 180.5 MiB/s | 4.5 MiB | 00m00s [ 43/156] Installing unzip-0:6.0-65.fc4 100% | 213.2 MiB/s | 2.3 MiB | 00m00s [ 44/156] Installing file-libs-0:5.45-8 100% | 237.2 MiB/s | 10.0 MiB | 00m00s [ 45/156] Installing file-0:5.45-8.fc42 100% | 17.2 MiB/s | 140.9 KiB | 00m00s [ 46/156] Installing crypto-policies-0: 100% | 13.3 MiB/s | 163.7 KiB | 00m00s [ 47/156] Installing pcre2-0:10.44-1.fc 100% | 157.9 MiB/s | 970.3 KiB | 00m00s [ 48/156] Installing grep-0:3.11-9.fc41 100% | 96.6 MiB/s | 1.2 MiB | 00m00s [ 49/156] Installing xz-1:5.6.3-2.fc42. 100% | 107.9 MiB/s | 1.5 MiB | 00m00s [ 50/156] Installing libcap-ng-0:0.8.5- 100% | 136.2 MiB/s | 418.4 KiB | 00m00s [ 51/156] Installing audit-libs-0:4.0.2 100% | 165.4 MiB/s | 677.3 KiB | 00m00s [ 52/156] Installing pam-libs-0:1.7.0-3 100% | 94.2 MiB/s | 289.3 KiB | 00m00s [ 53/156] Installing libcap-0:2.71-1.fc 100% | 100.3 MiB/s | 513.6 KiB | 00m00s [ 54/156] Installing systemd-libs-0:257 100% | 158.8 MiB/s | 2.9 MiB | 00m00s [ 55/156] Installing libsmartcols-0:2.4 100% | 115.4 MiB/s | 354.6 KiB | 00m00s [ 56/156] Installing libsepol-0:3.8-0.r 100% | 146.9 MiB/s | 1.0 MiB | 00m00s [ 57/156] Installing libselinux-0:3.8-0 100% | 84.9 MiB/s | 260.7 KiB | 00m00s [ 58/156] Installing sed-0:4.9-3.fc41.p 100% | 98.6 MiB/s | 1.0 MiB | 00m00s [ 59/156] Installing findutils-1:4.10.0 100% | 127.7 MiB/s | 2.2 MiB | 00m00s [ 60/156] Installing libmount-0:2.40.2- 100% | 134.1 MiB/s | 549.1 KiB | 00m00s [ 61/156] Installing alternatives-0:1.3 100% | 88.1 MiB/s | 90.2 KiB | 00m00s [ 62/156] Installing lz4-libs-0:1.10.0- 100% | 159.3 MiB/s | 326.3 KiB | 00m00s [ 63/156] Installing lua-libs-0:5.4.7-1 100% | 127.5 MiB/s | 522.2 KiB | 00m00s [ 64/156] Installing libffi-0:3.4.6-3.f 100% | 107.1 MiB/s | 219.4 KiB | 00m00s [ 65/156] Installing libcom_err-0:1.47. 100% | 117.3 MiB/s | 240.2 KiB | 00m00s [ 66/156] Installing libtasn1-0:4.19.0- 100% | 113.7 MiB/s | 349.2 KiB | 00m00s [ 67/156] Installing p11-kit-0:0.25.5-4 100% | 131.1 MiB/s | 3.1 MiB | 00m00s [ 68/156] Installing libunistring-0:1.1 100% | 156.0 MiB/s | 1.9 MiB | 00m00s [ 69/156] Installing libidn2-0:2.3.7-2. 100% | 75.3 MiB/s | 462.8 KiB | 00m00s [ 70/156] Installing libpsl-0:0.21.5-4. 100% | 96.4 MiB/s | 197.3 KiB | 00m00s [ 71/156] Installing p11-kit-trust-0:0. 100% | 58.3 MiB/s | 657.1 KiB | 00m00s [ 72/156] Installing zstd-0:1.5.6-2.fc4 100% | 158.9 MiB/s | 2.1 MiB | 00m00s [ 73/156] Installing util-linux-core-0: 100% | 187.9 MiB/s | 6.2 MiB | 00m00s [ 74/156] Installing tar-2:1.35-4.fc41. 100% | 145.1 MiB/s | 3.2 MiB | 00m00s [ 75/156] Installing libsemanage-0:3.8- 100% | 81.8 MiB/s | 418.8 KiB | 00m00s [ 76/156] Installing shadow-utils-2:4.1 100% | 95.0 MiB/s | 4.9 MiB | 00m00s [ 77/156] Installing zip-0:3.0-42.fc42. 100% | 123.8 MiB/s | 887.1 KiB | 00m00s [ 78/156] Installing gdbm-1:1.23-7.fc41 100% | 101.3 MiB/s | 933.2 KiB | 00m00s [ 79/156] Installing cyrus-sasl-lib-0:2 100% | 161.1 MiB/s | 3.5 MiB | 00m00s [ 80/156] Installing libfdisk-0:2.40.2- 100% | 119.6 MiB/s | 612.2 KiB | 00m00s [ 81/156] Installing libxml2-0:2.12.8-2 100% | 148.1 MiB/s | 2.5 MiB | 00m00s [ 82/156] Installing bzip2-0:1.0.8-19.f 100% | 105.5 MiB/s | 432.0 KiB | 00m00s [ 83/156] Installing add-determinism-0: 100% | 155.1 MiB/s | 2.5 MiB | 00m00s [ 84/156] Installing build-reproducibil 100% | 0.0 B/s | 1.0 KiB | 00m00s [ 85/156] Installing sqlite-libs-0:3.47 100% | 137.7 MiB/s | 1.8 MiB | 00m00s [ 86/156] Installing ed-0:1.20.2-2.fc41 100% | 69.6 MiB/s | 285.1 KiB | 00m00s [ 87/156] Installing patch-0:2.7.6-25.f 100% | 127.6 MiB/s | 392.1 KiB | 00m00s [ 88/156] Installing elfutils-default-y 100% | 408.6 KiB/s | 2.0 KiB | 00m00s [ 89/156] Installing elfutils-libs-0:0. 100% | 120.6 MiB/s | 864.3 KiB | 00m00s [ 90/156] Installing cpio-0:2.15-2.fc41 100% | 101.7 MiB/s | 1.2 MiB | 00m00s [ 91/156] Installing diffutils-0:3.10-8 100% | 114.3 MiB/s | 2.2 MiB | 00m00s [ 92/156] Installing librtas-0:2.0.6-2. 100% | 48.8 MiB/s | 499.7 KiB | 00m00s [ 93/156] Installing jansson-0:2.14-1.f 100% | 72.4 MiB/s | 222.5 KiB | 00m00s [ 94/156] Installing libgomp-0:14.2.1-6 100% | 154.5 MiB/s | 632.8 KiB | 00m00s [ 95/156] Installing json-c-0:0.18-1.fc 100% | 68.5 MiB/s | 140.4 KiB | 00m00s [ 96/156] Installing libpkgconf-0:2.3.0 100% | 97.2 MiB/s | 199.1 KiB | 00m00s [ 97/156] Installing pkgconf-0:2.3.0-1. 100% | 118.6 MiB/s | 243.0 KiB | 00m00s [ 98/156] Installing pkgconf-pkg-config 100% | 1.7 MiB/s | 1.8 KiB | 00m00s [ 99/156] Installing keyutils-libs-0:1. 100% | 74.1 MiB/s | 227.5 KiB | 00m00s [100/156] Installing libverto-0:0.3.2-9 100% | 97.2 MiB/s | 199.0 KiB | 00m00s [101/156] Installing xxhash-libs-0:0.8. 100% | 104.2 MiB/s | 213.3 KiB | 00m00s [102/156] Installing libbrotli-0:1.1.0- 100% | 126.5 MiB/s | 1.3 MiB | 00m00s [103/156] Installing libnghttp2-0:1.64. 100% | 159.8 MiB/s | 327.2 KiB | 00m00s [104/156] Installing libtool-ltdl-0:2.5 100% | 45.5 MiB/s | 93.1 KiB | 00m00s [105/156] Installing rust-srpm-macros-0 100% | 5.4 MiB/s | 5.6 KiB | 00m00s [106/156] Installing qt6-srpm-macros-0: 100% | 0.0 B/s | 732.0 B | 00m00s [107/156] Installing qt5-srpm-macros-0: 100% | 0.0 B/s | 776.0 B | 00m00s [108/156] Installing perl-srpm-macros-0 100% | 0.0 B/s | 1.1 KiB | 00m00s [109/156] Installing package-notes-srpm 100% | 0.0 B/s | 2.0 KiB | 00m00s [110/156] Installing openblas-srpm-macr 100% | 0.0 B/s | 392.0 B | 00m00s [111/156] Installing ocaml-srpm-macros- 100% | 0.0 B/s | 2.2 KiB | 00m00s [112/156] Installing kernel-srpm-macros 100% | 0.0 B/s | 2.3 KiB | 00m00s [113/156] Installing gnat-srpm-macros-0 100% | 0.0 B/s | 1.3 KiB | 00m00s [114/156] Installing ghc-srpm-macros-0: 100% | 0.0 B/s | 1.0 KiB | 00m00s [115/156] Installing fpc-srpm-macros-0: 100% | 410.2 KiB/s | 420.0 B | 00m00s [116/156] Installing ansible-srpm-macro 100% | 17.7 MiB/s | 36.2 KiB | 00m00s [117/156] Installing coreutils-common-0 100% | 151.2 MiB/s | 11.2 MiB | 00m00s [118/156] Installing openssl-libs-1:3.2 100% | 166.4 MiB/s | 8.7 MiB | 00m00s [119/156] Installing coreutils-0:9.5-11 100% | 135.5 MiB/s | 9.5 MiB | 00m00s [120/156] Installing ca-certificates-0: 100% | 859.8 KiB/s | 2.4 MiB | 00m03s [121/156] Installing krb5-libs-0:1.21.3 100% | 87.4 MiB/s | 3.0 MiB | 00m00s [122/156] Installing libarchive-0:3.7.7 100% | 84.5 MiB/s | 1.3 MiB | 00m00s [123/156] Installing gzip-0:1.13-2.fc41 100% | 60.6 MiB/s | 558.4 KiB | 00m00s [124/156] Installing authselect-libs-0: 100% | 66.0 MiB/s | 946.6 KiB | 00m00s [125/156] Installing cracklib-0:2.9.11- 100% | 92.3 MiB/s | 945.6 KiB | 00m00s [126/156] Installing libpwquality-0:1.4 100% | 92.2 MiB/s | 1.1 MiB | 00m00s [127/156] Installing libtirpc-0:1.3.6-1 100% | 68.0 MiB/s | 278.5 KiB | 00m00s [128/156] Installing pam-0:1.7.0-3.fc42 100% | 102.3 MiB/s | 4.3 MiB | 00m00s [129/156] Installing libssh-0:0.11.1-1. 100% | 108.8 MiB/s | 779.8 KiB | 00m00s [130/156] Installing rpm-sequoia-0:1.7. 100% | 151.2 MiB/s | 2.7 MiB | 00m00s [131/156] Installing rpm-libs-0:4.20.0- 100% | 128.4 MiB/s | 1.2 MiB | 00m00s [132/156] Installing rpm-build-libs-0:4 100% | 127.4 MiB/s | 391.4 KiB | 00m00s [133/156] Installing libevent-0:2.1.12- 100% | 144.1 MiB/s | 1.6 MiB | 00m00s [134/156] Installing openldap-0:2.6.8-6 100% | 122.6 MiB/s | 878.5 KiB | 00m00s [135/156] Installing libcurl-0:8.11.1-2 100% | 126.7 MiB/s | 1.0 MiB | 00m00s [136/156] Installing elfutils-debuginfo 100% | 46.6 MiB/s | 143.1 KiB | 00m00s [137/156] Installing binutils-0:2.43.50 100% | 153.2 MiB/s | 31.4 MiB | 00m00s [138/156] Installing elfutils-0:0.192-7 100% | 142.0 MiB/s | 3.4 MiB | 00m00s [139/156] Installing gdb-minimal-0:15.2 100% | 159.6 MiB/s | 15.2 MiB | 00m00s [140/156] Installing debugedit-0:5.1-2. 100% | 101.2 MiB/s | 310.8 KiB | 00m00s [141/156] Installing curl-0:8.11.1-2.fc 100% | 22.0 MiB/s | 518.4 KiB | 00m00s [142/156] Installing rpm-0:4.20.0-1.fc4 100% | 76.3 MiB/s | 3.4 MiB | 00m00s [143/156] Installing efi-srpm-macros-0: 100% | 40.2 MiB/s | 41.2 KiB | 00m00s [144/156] Installing lua-srpm-macros-0: 100% | 0.0 B/s | 1.9 KiB | 00m00s [145/156] Installing zig-srpm-macros-0: 100% | 1.6 MiB/s | 1.7 KiB | 00m00s [146/156] Installing fonts-srpm-macros- 100% | 55.7 MiB/s | 57.0 KiB | 00m00s [147/156] Installing forge-srpm-macros- 100% | 19.7 MiB/s | 40.3 KiB | 00m00s [148/156] Installing go-srpm-macros-0:3 100% | 60.5 MiB/s | 62.0 KiB | 00m00s [149/156] Installing python-srpm-macros 100% | 50.9 MiB/s | 52.2 KiB | 00m00s [150/156] Installing redhat-rpm-config- 100% | 31.5 MiB/s | 193.2 KiB | 00m00s [151/156] Installing rpm-build-0:4.20.0 100% | 107.4 MiB/s | 1.4 MiB | 00m00s [152/156] Installing pyproject-srpm-mac 100% | 834.6 KiB/s | 2.5 KiB | 00m00s [153/156] Installing util-linux-0:2.40. 100% | 148.8 MiB/s | 17.3 MiB | 00m00s [154/156] Installing authselect-0:1.5.0 100% | 61.3 MiB/s | 313.8 KiB | 00m00s [155/156] Installing which-0:2.21-42.fc 100% | 81.5 MiB/s | 250.2 KiB | 00m00s [156/156] Installing info-0:7.1.1-2.fc4 100% | 180.6 KiB/s | 741.9 KiB | 00m04s Complete! Finish: installing minimal buildroot with dnf5 Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: add-determinism-0.5.0-1.fc42.ppc64le alternatives-1.31-1.fc42.ppc64le ansible-srpm-macros-1-16.fc41.noarch audit-libs-4.0.2-1.fc41.ppc64le authselect-1.5.0-8.fc42.ppc64le authselect-libs-1.5.0-8.fc42.ppc64le basesystem-11-21.fc41.noarch bash-5.2.37-1.fc42.ppc64le binutils-2.43.50-9.fc42.ppc64le build-reproducibility-srpm-macros-0.5.0-1.fc42.noarch bzip2-1.0.8-19.fc41.ppc64le bzip2-libs-1.0.8-19.fc41.ppc64le ca-certificates-2024.2.69_v8.0.401-3.fc42.noarch coreutils-9.5-11.fc42.ppc64le coreutils-common-9.5-11.fc42.ppc64le cpio-2.15-2.fc41.ppc64le cracklib-2.9.11-6.fc41.ppc64le crypto-policies-20241128-1.gitbb7b0b0.fc42.noarch curl-8.11.1-2.fc42.ppc64le cyrus-sasl-lib-2.1.28-27.fc41.ppc64le debugedit-5.1-2.fc42.ppc64le diffutils-3.10-8.fc41.ppc64le dwz-0.15-8.fc42.ppc64le ed-1.20.2-2.fc41.ppc64le efi-srpm-macros-5-13.fc42.noarch elfutils-0.192-7.fc42.ppc64le elfutils-debuginfod-client-0.192-7.fc42.ppc64le elfutils-default-yama-scope-0.192-7.fc42.noarch elfutils-libelf-0.192-7.fc42.ppc64le elfutils-libs-0.192-7.fc42.ppc64le fedora-gpg-keys-42-0.3.noarch fedora-release-42-0.11.noarch fedora-release-common-42-0.11.noarch fedora-release-identity-basic-42-0.11.noarch fedora-repos-42-0.3.noarch fedora-repos-rawhide-42-0.3.noarch file-5.45-8.fc42.ppc64le file-libs-5.45-8.fc42.ppc64le filesystem-3.18-29.fc42.ppc64le findutils-4.10.0-4.fc41.ppc64le fonts-srpm-macros-2.0.5-17.fc41.noarch forge-srpm-macros-0.4.0-1.fc42.noarch fpc-srpm-macros-1.3-13.fc41.noarch gawk-5.3.0-4.fc41.ppc64le gdb-minimal-15.2-4.fc42.ppc64le gdbm-1.23-7.fc41.ppc64le gdbm-libs-1.23-7.fc41.ppc64le ghc-srpm-macros-1.9.2-1.fc42.noarch glibc-2.40.9000-24.fc42.ppc64le glibc-common-2.40.9000-24.fc42.ppc64le glibc-gconv-extra-2.40.9000-24.fc42.ppc64le glibc-minimal-langpack-2.40.9000-24.fc42.ppc64le gmp-6.3.0-2.fc41.ppc64le gnat-srpm-macros-6-6.fc41.noarch go-srpm-macros-3.6.0-5.fc42.noarch gpg-pubkey-105ef944-65ca83d1 gpg-pubkey-31645531-66b6dccf gpg-pubkey-e99d6ad1-64d2612c grep-3.11-9.fc41.ppc64le gzip-1.13-2.fc41.ppc64le info-7.1.1-2.fc42.ppc64le jansson-2.14-1.fc42.ppc64le json-c-0.18-1.fc42.ppc64le kernel-srpm-macros-1.0-24.fc41.noarch keyutils-libs-1.6.3-4.fc41.ppc64le krb5-libs-1.21.3-3.fc42.ppc64le libacl-2.3.2-2.fc41.ppc64le libarchive-3.7.7-1.fc42.ppc64le libattr-2.5.2-4.fc41.ppc64le libblkid-2.40.2-8.fc42.ppc64le libbrotli-1.1.0-5.fc41.ppc64le libcap-2.71-1.fc42.ppc64le libcap-ng-0.8.5-3.fc41.ppc64le libcom_err-1.47.1-6.fc42.ppc64le libcurl-8.11.1-2.fc42.ppc64le libeconf-0.7.5-1.fc42.ppc64le libevent-2.1.12-14.fc41.ppc64le libfdisk-2.40.2-8.fc42.ppc64le libffi-3.4.6-3.fc42.ppc64le libgcc-14.2.1-6.fc42.ppc64le libgomp-14.2.1-6.fc42.ppc64le libidn2-2.3.7-2.fc41.ppc64le libmount-2.40.2-8.fc42.ppc64le libnghttp2-1.64.0-1.fc42.ppc64le libpkgconf-2.3.0-1.fc42.ppc64le libpsl-0.21.5-4.fc41.ppc64le libpwquality-1.4.5-11.fc41.ppc64le librtas-2.0.6-2.fc41.ppc64le libselinux-3.8-0.rc3.1.fc42.ppc64le libsemanage-3.8-0.rc3.1.fc42.ppc64le libsepol-3.8-0.rc3.1.fc42.ppc64le libsmartcols-2.40.2-8.fc42.ppc64le libssh-0.11.1-1.fc42.ppc64le libssh-config-0.11.1-1.fc42.noarch libstdc++-14.2.1-6.fc42.ppc64le libtasn1-4.19.0-9.fc41.ppc64le libtirpc-1.3.6-1.fc42.ppc64le libtool-ltdl-2.5.4-1.fc42.ppc64le libunistring-1.1-8.fc41.ppc64le libuuid-2.40.2-8.fc42.ppc64le libverto-0.3.2-9.fc41.ppc64le libxcrypt-4.4.36-12.fc42.ppc64le libxml2-2.12.8-2.fc41.ppc64le libzstd-1.5.6-2.fc41.ppc64le lua-libs-5.4.7-1.fc42.ppc64le lua-srpm-macros-1-14.fc41.noarch lz4-libs-1.10.0-1.fc41.ppc64le mpfr-4.2.1-5.fc41.ppc64le ncurses-base-6.5-2.20240629.fc41.noarch ncurses-libs-6.5-2.20240629.fc41.ppc64le ocaml-srpm-macros-10-3.fc41.noarch openblas-srpm-macros-2-18.fc41.noarch openldap-2.6.8-6.fc42.ppc64le openssl-libs-3.2.2-8.fc42.ppc64le p11-kit-0.25.5-4.fc42.ppc64le p11-kit-trust-0.25.5-4.fc42.ppc64le package-notes-srpm-macros-0.5-12.fc41.noarch pam-1.7.0-3.fc42.ppc64le pam-libs-1.7.0-3.fc42.ppc64le patch-2.7.6-25.fc41.ppc64le pcre2-10.44-1.fc41.1.ppc64le pcre2-syntax-10.44-1.fc41.1.noarch perl-srpm-macros-1-56.fc41.noarch pkgconf-2.3.0-1.fc42.ppc64le pkgconf-m4-2.3.0-1.fc42.noarch pkgconf-pkg-config-2.3.0-1.fc42.ppc64le popt-1.19-7.fc41.ppc64le publicsuffix-list-dafsa-20240107-4.fc41.noarch pyproject-srpm-macros-1.16.3-1.fc42.noarch python-srpm-macros-3.13-3.fc41.noarch qt5-srpm-macros-5.15.15-1.fc42.noarch qt6-srpm-macros-6.8.1-4.fc42.noarch readline-8.2-11.fc42.ppc64le redhat-rpm-config-296-1.fc42.noarch rpm-4.20.0-1.fc42.ppc64le rpm-build-4.20.0-1.fc42.ppc64le rpm-build-libs-4.20.0-1.fc42.ppc64le rpm-libs-4.20.0-1.fc42.ppc64le rpm-sequoia-1.7.0-3.fc42.ppc64le rust-srpm-macros-26.3-3.fc42.noarch sed-4.9-3.fc41.ppc64le setup-2.15.0-5.fc41.noarch shadow-utils-4.17.0~rc1-2.fc42.ppc64le sqlite-libs-3.47.2-1.fc42.ppc64le systemd-libs-257.1-1.fc42.ppc64le tar-1.35-4.fc41.ppc64le unzip-6.0-65.fc42.ppc64le util-linux-2.40.2-8.fc42.ppc64le util-linux-core-2.40.2-8.fc42.ppc64le which-2.21-42.fc41.ppc64le xxhash-libs-0.8.2-4.fc42.ppc64le xz-5.6.3-2.fc42.ppc64le xz-libs-5.6.3-2.fc42.ppc64le zig-srpm-macros-1-3.fc41.noarch zip-3.0-42.fc42.ppc64le zlib-ng-compat-2.2.2-1.fc42.ppc64le zstd-1.5.6-2.fc41.ppc64le Start: buildsrpm Start: rpmbuild -bs Building target platforms: ppc64le Building for target ppc64le setting SOURCE_DATE_EPOCH=1734912000 Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-23.fc42.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-ppc64le-1734997652.039448/root/var/log/dnf5.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-3to98w7l/alt-ergo/alt-ergo.spec) Config(child) 0 minutes 40 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot INFO: Start(/var/lib/copr-rpmbuild/results/alt-ergo-2.3.3-23.fc42.src.rpm) Config(fedora-rawhide-ppc64le) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-ppc64le-bootstrap-1734997652.039448/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-ppc64le-bootstrap-1734997652.039448/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-ppc64le-1734997652.039448/root. INFO: calling preinit hooks INFO: enabled root cache Start: unpacking root cache Finish: unpacking root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.20.0-1.fc42.ppc64le rpm-sequoia-1.7.0-3.fc42.ppc64le dnf5-5.2.8.1-2.fc42.ppc64le dnf5-plugins-5.2.8.1-2.fc42.ppc64le Finish: chroot init Start: build phase for alt-ergo-2.3.3-23.fc42.src.rpm Start: build setup for alt-ergo-2.3.3-23.fc42.src.rpm Building target platforms: ppc64le Building for target ppc64le setting SOURCE_DATE_EPOCH=1734912000 Wrote: /builddir/build/SRPMS/alt-ergo-2.3.3-23.fc42.src.rpm Updating and loading repositories: fedora 100% | 98.2 KiB/s | 5.8 KiB | 00m00s Copr repository 100% | 22.5 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing: desktop-file-utils ppc64le 0.27-2.fc41 fedora 638.0 KiB gtksourceview2-devel ppc64le 2.11.2-43.fc41 fedora 1.4 MiB libappstream-glib ppc64le 0.8.3-2.fc41 fedora 1.9 MiB make ppc64le 1:4.4.1-9.fc42 fedora 2.0 MiB ocaml ppc64le 5.3.0-1.fc42 copr_base 147.2 MiB ocaml-dune ppc64le 3.17.1-1.fc42 copr_base 24.2 MiB ocaml-lablgtk-devel ppc64le 2.18.13-15.fc42 copr_base 17.1 MiB ocaml-menhir ppc64le 20240715-2.fc42 copr_base 8.0 MiB ocaml-num-devel ppc64le 1.5-10.fc42 copr_base 1.0 MiB ocaml-ocplib-simplex-devel ppc64le 1:0.4.1-10.fc42 copr_base 1.6 MiB ocaml-psmt2-frontend-devel ppc64le 0.4.0-21.fc42 copr_base 5.3 MiB ocaml-zarith-devel ppc64le 1.14-3.fc42 copr_base 925.2 KiB ocaml-zip-devel ppc64le 1.13-1.fc42 copr_base 692.5 KiB Installing dependencies: abattis-cantarell-vf-fonts noarch 0.301-13.fc41 fedora 192.7 KiB annobin-docs noarch 12.80-1.fc42 fedora 98.6 KiB annobin-plugin-gcc ppc64le 12.80-1.fc42 fedora 1.0 MiB at-spi2-core ppc64le 2.54.0-1.fc42 fedora 2.0 MiB atk ppc64le 2.54.0-1.fc42 fedora 424.8 KiB atk-devel ppc64le 2.54.0-1.fc42 fedora 5.9 MiB avahi-libs ppc64le 0.8-30.fc42 fedora 613.8 KiB brotli ppc64le 1.1.0-5.fc41 fedora 195.7 KiB brotli-devel ppc64le 1.1.0-5.fc41 fedora 65.6 KiB bzip2-devel ppc64le 1.0.8-19.fc41 fedora 309.8 KiB cairo ppc64le 1.18.2-2.fc42 fedora 2.1 MiB cairo-devel ppc64le 1.18.2-2.fc42 fedora 2.3 MiB cairo-gobject ppc64le 1.18.2-2.fc42 fedora 65.9 KiB cmake-filesystem ppc64le 3.31.3-1.fc42 fedora 0.0 B cpp ppc64le 14.2.1-6.fc42 fedora 33.3 MiB cups-filesystem noarch 1:2.4.11-8.fc42 fedora 0.0 B cups-libs ppc64le 1:2.4.11-8.fc42 fedora 913.4 KiB dbus ppc64le 1:1.16.0-1.fc42 fedora 0.0 B dbus-broker ppc64le 36-4.fc41 fedora 742.1 KiB dbus-common noarch 1:1.16.0-1.fc42 fedora 11.2 KiB dbus-libs ppc64le 1:1.16.0-1.fc42 fedora 451.5 KiB default-fonts-core-sans noarch 4.2-2.fc42 fedora 11.9 KiB emacs-filesystem noarch 1:30.0-3.fc41 fedora 0.0 B enchant ppc64le 1:1.6.0-38.fc42 fedora 299.9 KiB expat ppc64le 2.6.4-1.fc42 fedora 349.2 KiB fontconfig ppc64le 2.15.0-8.fc41 fedora 2.6 MiB fontconfig-devel ppc64le 2.15.0-8.fc41 fedora 117.2 KiB fonts-filesystem noarch 1:2.0.5-17.fc41 fedora 0.0 B freetype ppc64le 2.13.3-1.fc42 fedora 1.1 MiB freetype-devel ppc64le 2.13.3-1.fc42 fedora 8.5 MiB fribidi ppc64le 1.0.16-1.fc42 fedora 502.3 KiB fribidi-devel ppc64le 1.0.16-1.fc42 fedora 78.0 KiB gcc ppc64le 14.2.1-6.fc42 fedora 94.0 MiB gcc-plugin-annobin ppc64le 14.2.1-6.fc42 fedora 73.3 KiB gdk-pixbuf2 ppc64le 2.42.12-6.fc41 fedora 3.0 MiB gdk-pixbuf2-devel ppc64le 2.42.12-6.fc41 fedora 2.6 MiB gdk-pixbuf2-modules ppc64le 2.42.12-6.fc41 fedora 391.5 KiB gettext ppc64le 0.23-1.fc42 fedora 6.0 MiB gettext-envsubst ppc64le 0.23-1.fc42 fedora 105.3 KiB gettext-libs ppc64le 0.23-1.fc42 fedora 2.4 MiB gettext-runtime ppc64le 0.23-1.fc42 fedora 537.2 KiB glib2 ppc64le 2.83.0-3.fc42 fedora 16.2 MiB glib2-devel ppc64le 2.83.0-3.fc42 fedora 16.2 MiB glibc-devel ppc64le 2.40.9000-24.fc42 fedora 2.6 MiB gmp-c++ ppc64le 1:6.3.0-2.fc41 fedora 195.5 KiB gmp-devel ppc64le 1:6.3.0-2.fc41 fedora 352.4 KiB gnutls ppc64le 3.8.8-1.fc42 fedora 3.6 MiB google-noto-fonts-common noarch 20240901-1.fc42 fedora 17.5 KiB google-noto-sans-vf-fonts noarch 20240901-1.fc42 fedora 1.2 MiB graphite2 ppc64le 1.3.14-16.fc41 fedora 495.6 KiB graphite2-devel ppc64le 1.3.14-16.fc41 fedora 49.1 KiB gtk-update-icon-cache ppc64le 3.24.43-2.fc41 fedora 222.2 KiB gtk2 ppc64le 2.24.33-19.fc41 fedora 15.8 MiB gtk2-devel ppc64le 2.24.33-19.fc41 fedora 23.9 MiB gtksourceview2 ppc64le 2.11.2-43.fc41 fedora 3.6 MiB gtkspell ppc64le 2.0.16-31.fc41 fedora 246.7 KiB harfbuzz ppc64le 10.1.0-2.fc42 fedora 3.1 MiB harfbuzz-cairo ppc64le 10.1.0-2.fc42 fedora 65.9 KiB harfbuzz-devel ppc64le 10.1.0-2.fc42 fedora 5.2 MiB harfbuzz-icu ppc64le 10.1.0-2.fc42 fedora 65.9 KiB hicolor-icon-theme noarch 0.17-19.fc41 fedora 72.2 KiB hunspell ppc64le 1.7.2-8.fc41 fedora 1.5 MiB hunspell-en-US noarch 0.20201207-10.fc41 fedora 557.4 KiB hunspell-filesystem ppc64le 1.7.2-8.fc41 fedora 0.0 B jbigkit-libs ppc64le 2.1-30.fc41 fedora 437.2 KiB json-glib ppc64le 1.10.6-1.fc42 fedora 670.3 KiB kernel-headers ppc64le 6.13.0-0.rc4.36.fc42 fedora 6.5 MiB libX11 ppc64le 1.8.10-2.fc42 fedora 1.7 MiB libX11-common noarch 1.8.10-2.fc42 fedora 1.1 MiB libX11-devel ppc64le 1.8.10-2.fc42 fedora 1.0 MiB libX11-xcb ppc64le 1.8.10-2.fc42 fedora 194.7 KiB libXau ppc64le 1.0.12-1.fc42 fedora 119.4 KiB libXau-devel ppc64le 1.0.12-1.fc42 fedora 7.5 KiB libXcomposite ppc64le 0.4.6-4.fc41 fedora 224.3 KiB libXcomposite-devel ppc64le 0.4.6-4.fc41 fedora 8.0 KiB libXcursor ppc64le 1.2.3-1.fc42 fedora 69.6 KiB libXcursor-devel ppc64le 1.2.3-1.fc42 fedora 22.7 KiB libXdamage ppc64le 1.1.6-4.fc41 fedora 223.5 KiB libXext ppc64le 1.3.6-2.fc41 fedora 273.8 KiB libXext-devel ppc64le 1.3.6-2.fc41 fedora 98.9 KiB libXfixes ppc64le 6.0.1-4.fc41 fedora 198.1 KiB libXfixes-devel ppc64le 6.0.1-4.fc41 fedora 9.2 KiB libXft ppc64le 2.3.8-7.fc41 fedora 320.4 KiB libXft-devel ppc64le 2.3.8-7.fc41 fedora 31.7 KiB libXi ppc64le 1.8.2-1.fc42 fedora 200.5 KiB libXi-devel ppc64le 1.8.2-1.fc42 fedora 132.5 KiB libXinerama ppc64le 1.1.5-7.fc41 fedora 198.9 KiB libXinerama-devel ppc64le 1.1.5-7.fc41 fedora 7.0 KiB libXrandr ppc64le 1.5.4-4.fc41 fedora 199.6 KiB libXrandr-devel ppc64le 1.5.4-4.fc41 fedora 21.8 KiB libXrender ppc64le 0.9.12-1.fc42 fedora 68.6 KiB libXrender-devel ppc64le 0.9.12-1.fc42 fedora 50.1 KiB libXtst ppc64le 1.2.5-1.fc41 fedora 201.4 KiB libart_lgpl ppc64le 2.3.21-33.fc41 fedora 287.1 KiB libasan ppc64le 14.2.1-6.fc42 fedora 1.9 MiB libatomic ppc64le 14.2.1-6.fc42 fedora 68.2 KiB libb2 ppc64le 0.98.1-12.fc41 fedora 202.1 KiB libblkid-devel ppc64le 2.40.2-8.fc42 fedora 44.9 KiB libdatrie ppc64le 0.2.13-10.fc41 fedora 221.6 KiB libdatrie-devel ppc64le 0.2.13-10.fc41 fedora 763.2 KiB libffi-devel ppc64le 3.4.6-3.fc42 fedora 33.3 KiB libglade2 ppc64le 2.6.4-33.fc41 fedora 304.3 KiB libgnomecanvas ppc64le 2.30.3-29.fc41 fedora 1.2 MiB libicu ppc64le 76.1-1.fc42 fedora 37.8 MiB libicu-devel ppc64le 76.1-1.fc42 fedora 5.1 MiB libjpeg-turbo ppc64le 3.0.4-1.fc42 fedora 988.7 KiB libjpeg-turbo-devel ppc64le 3.0.4-1.fc42 fedora 353.1 KiB liblerc ppc64le 4.0.0-7.fc41 fedora 802.4 KiB liblerc-devel ppc64le 4.0.0-7.fc41 fedora 4.3 MiB libmount-devel ppc64le 2.40.2-8.fc42 fedora 63.5 KiB libmpc ppc64le 1.3.1-6.fc41 fedora 345.6 KiB libpng ppc64le 2:1.6.44-1.fc42 fedora 461.7 KiB libpng-devel ppc64le 2:1.6.44-1.fc42 fedora 1.2 MiB librsvg2 ppc64le 2.59.2-1.fc42 fedora 5.0 MiB libselinux-devel ppc64le 3.8-0.rc3.1.fc42 fedora 126.8 KiB libsepol-devel ppc64le 3.8-0.rc3.1.fc42 fedora 120.8 KiB libtextstyle ppc64le 0.23-1.fc42 fedora 258.5 KiB libthai ppc64le 0.1.29-9.fc41 fedora 935.4 KiB libthai-devel ppc64le 0.1.29-9.fc41 fedora 700.8 KiB libtiff ppc64le 4.7.0-2.fc42 fedora 786.8 KiB libtiff-devel ppc64le 4.7.0-2.fc42 fedora 761.6 KiB libubsan ppc64le 14.2.1-6.fc42 fedora 604.4 KiB libwebp ppc64le 1.5.0-1.fc42 fedora 865.2 KiB libwebp-devel ppc64le 1.5.0-1.fc42 fedora 121.2 KiB libxcb ppc64le 1.17.0-3.fc42 fedora 5.3 MiB libxcb-devel ppc64le 1.17.0-3.fc42 fedora 2.7 MiB libxcrypt-devel ppc64le 4.4.36-12.fc42 fedora 30.5 KiB libxml2-devel ppc64le 2.12.8-2.fc41 fedora 3.4 MiB libzstd-devel ppc64le 1.5.6-2.fc41 fedora 202.4 KiB mpdecimal ppc64le 2.5.1-16.fc41 fedora 328.9 KiB nettle ppc64le 3.10-3.fc41 fedora 1.0 MiB ocaml-compiler-libs ppc64le 5.3.0-1.fc42 copr_base 107.3 MiB ocaml-lablgtk ppc64le 2.18.13-15.fc42 copr_base 15.2 MiB ocaml-menhirlib ppc64le 20240715-2.fc42 copr_base 412.2 KiB ocaml-menhirlib-devel ppc64le 20240715-2.fc42 copr_base 1.0 MiB ocaml-num ppc64le 1.5-10.fc42 copr_base 618.3 KiB ocaml-ocplib-simplex ppc64le 1:0.4.1-10.fc42 copr_base 602.5 KiB ocaml-psmt2-frontend ppc64le 0.4.0-21.fc42 copr_base 4.4 MiB ocaml-rpm-macros noarch 5.3.0-1.fc42 copr_base 19.8 KiB ocaml-runtime ppc64le 5.3.0-1.fc42 copr_base 5.1 MiB ocaml-zarith ppc64le 1.14-3.fc42 copr_base 474.9 KiB ocaml-zip ppc64le 1.13-1.fc42 copr_base 351.8 KiB pango ppc64le 1.54.0-2.fc41 fedora 2.0 MiB pango-devel ppc64le 1.54.0-2.fc41 fedora 1.5 MiB pcre2-devel ppc64le 10.44-1.fc41.1 fedora 2.0 MiB pcre2-utf16 ppc64le 10.44-1.fc41.1 fedora 773.6 KiB pcre2-utf32 ppc64le 10.44-1.fc41.1 fedora 709.5 KiB pixman ppc64le 0.44.2-1.fc42 fedora 580.3 KiB pixman-devel ppc64le 0.44.2-1.fc42 fedora 49.4 KiB python-pip-wheel noarch 24.3.1-1.fc42 fedora 1.2 MiB python3 ppc64le 3.13.1-2.fc42 fedora 82.5 KiB python3-libs ppc64le 3.13.1-2.fc42 fedora 42.8 MiB python3-packaging noarch 24.2-2.fc42 fedora 555.7 KiB rsvg-pixbuf-loader ppc64le 2.59.2-1.fc42 fedora 465.6 KiB shared-mime-info ppc64le 2.3-6.fc41 fedora 5.3 MiB sysprof-capture-devel ppc64le 47.2-1.fc42 fedora 300.7 KiB tzdata noarch 2024b-1.fc42 fedora 1.6 MiB xml-common noarch 0.6.3-65.fc41 fedora 78.4 KiB xorg-x11-proto-devel noarch 2024.1-3.fc41 fedora 1.7 MiB xprop ppc64le 1.2.7-2.fc41 fedora 206.7 KiB xz-devel ppc64le 1:5.6.3-2.fc42 fedora 255.6 KiB zlib-ng ppc64le 2.2.2-1.fc42 fedora 213.3 KiB zlib-ng-compat-devel ppc64le 2.2.2-1.fc42 fedora 106.8 KiB zlib-ng-devel ppc64le 2.2.2-1.fc42 fedora 103.7 KiB Transaction Summary: Installing: 177 packages Total size of inbound packages is 224 MiB. Need to download 224 MiB. After this operation, 772 MiB extra will be used (install 772 MiB, remove 0 B). [ 1/177] desktop-file-utils-0:0.27-2.f 100% | 505.9 KiB/s | 75.4 KiB | 00m00s [ 2/177] gtksourceview2-devel-0:2.11.2 100% | 576.1 KiB/s | 115.8 KiB | 00m00s [ 3/177] libappstream-glib-0:0.8.3-2.f 100% | 1.9 MiB/s | 415.6 KiB | 00m00s [ 4/177] make-1:4.4.1-9.fc42.ppc64le 100% | 4.9 MiB/s | 601.1 KiB | 00m00s [ 5/177] ocaml-dune-0:3.17.1-1.fc42.pp 100% | 20.2 MiB/s | 6.2 MiB | 00m00s [ 6/177] ocaml-lablgtk-devel-0:2.18.13 100% | 10.5 MiB/s | 2.9 MiB | 00m00s [ 7/177] ocaml-menhir-0:20240715-2.fc4 100% | 17.7 MiB/s | 2.6 MiB | 00m00s [ 8/177] ocaml-num-devel-0:1.5-10.fc42 100% | 2.2 MiB/s | 359.5 KiB | 00m00s [ 9/177] ocaml-0:5.3.0-1.fc42.ppc64le 100% | 49.0 MiB/s | 33.5 MiB | 00m01s [ 10/177] ocaml-ocplib-simplex-devel-1: 100% | 2.9 MiB/s | 634.6 KiB | 00m00s [ 11/177] ocaml-psmt2-frontend-devel-0: 100% | 11.2 MiB/s | 2.4 MiB | 00m00s [ 12/177] ocaml-zarith-devel-0:1.14-3.f 100% | 9.1 MiB/s | 390.8 KiB | 00m00s [ 13/177] ocaml-zip-devel-0:1.13-1.fc42 100% | 6.3 MiB/s | 357.4 KiB | 00m00s [ 14/177] emacs-filesystem-1:30.0-3.fc4 100% | 264.5 KiB/s | 7.1 KiB | 00m00s [ 15/177] gtksourceview2-0:2.11.2-43.fc 100% | 8.4 MiB/s | 710.5 KiB | 00m00s [ 16/177] gtk2-devel-0:2.24.33-19.fc41. 100% | 21.7 MiB/s | 2.8 MiB | 00m00s [ 17/177] libxml2-devel-0:2.12.8-2.fc41 100% | 12.8 MiB/s | 524.2 KiB | 00m00s [ 18/177] glib2-0:2.83.0-3.fc42.ppc64le 100% | 17.2 MiB/s | 3.1 MiB | 00m00s [ 19/177] json-glib-0:1.10.6-1.fc42.ppc 100% | 4.9 MiB/s | 169.2 KiB | 00m00s [ 20/177] gdk-pixbuf2-0:2.42.12-6.fc41. 100% | 11.9 MiB/s | 498.4 KiB | 00m00s [ 21/177] libzstd-devel-0:1.5.6-2.fc41. 100% | 1.9 MiB/s | 51.7 KiB | 00m00s [ 22/177] ocaml-runtime-0:5.3.0-1.fc42. 100% | 26.9 MiB/s | 2.2 MiB | 00m00s [ 23/177] ocaml-menhirlib-devel-0:20240 100% | 14.1 MiB/s | 579.0 KiB | 00m00s [ 24/177] ocaml-num-0:1.5-10.fc42.ppc64 100% | 3.7 MiB/s | 238.5 KiB | 00m00s [ 25/177] ocaml-lablgtk-0:2.18.13-15.fc 100% | 21.5 MiB/s | 5.3 MiB | 00m00s [ 26/177] ocaml-ocplib-simplex-1:0.4.1- 100% | 3.8 MiB/s | 362.0 KiB | 00m00s [ 27/177] ocaml-psmt2-frontend-0:0.4.0- 100% | 11.2 MiB/s | 1.3 MiB | 00m00s [ 28/177] ocaml-zarith-0:1.14-3.fc42.pp 100% | 7.7 MiB/s | 156.7 KiB | 00m00s [ 29/177] zlib-ng-devel-0:2.2.2-1.fc42. 100% | 959.7 KiB/s | 37.4 KiB | 00m00s [ 30/177] ocaml-zip-0:1.13-1.fc42.ppc64 100% | 3.4 MiB/s | 133.9 KiB | 00m00s [ 31/177] gcc-0:14.2.1-6.fc42.ppc64le 100% | 49.6 MiB/s | 32.4 MiB | 00m01s [ 32/177] gmp-devel-1:6.3.0-2.fc41.ppc6 100% | 469.5 KiB/s | 174.2 KiB | 00m00s [ 33/177] gnutls-0:3.8.8-1.fc42.ppc64le 100% | 6.7 MiB/s | 1.1 MiB | 00m00s [ 34/177] atk-devel-0:2.54.0-1.fc42.ppc 100% | 13.1 MiB/s | 443.2 KiB | 00m00s [ 35/177] cairo-devel-0:1.18.2-2.fc42.p 100% | 6.5 MiB/s | 191.9 KiB | 00m00s [ 36/177] cairo-0:1.18.2-2.fc42.ppc64le 100% | 18.6 MiB/s | 779.6 KiB | 00m00s [ 37/177] gdk-pixbuf2-devel-0:2.42.12-6 100% | 10.9 MiB/s | 369.3 KiB | 00m00s [ 38/177] glib2-devel-0:2.83.0-3.fc42.p 100% | 28.6 MiB/s | 1.5 MiB | 00m00s [ 39/177] libX11-devel-0:1.8.10-2.fc42. 100% | 22.1 MiB/s | 1.0 MiB | 00m00s [ 40/177] libXcomposite-devel-0:0.4.6-4 100% | 611.0 KiB/s | 15.9 KiB | 00m00s [ 41/177] gtk2-0:2.24.33-19.fc41.ppc64l 100% | 31.6 MiB/s | 3.5 MiB | 00m00s [ 42/177] libXcursor-devel-0:1.2.3-1.fc 100% | 1.0 MiB/s | 39.5 KiB | 00m00s [ 43/177] libXext-devel-0:1.3.6-2.fc41. 100% | 2.2 MiB/s | 85.3 KiB | 00m00s [ 44/177] libXfixes-devel-0:6.0.1-4.fc4 100% | 466.7 KiB/s | 12.6 KiB | 00m00s [ 45/177] libXi-devel-0:1.8.2-1.fc42.pp 100% | 4.2 MiB/s | 115.8 KiB | 00m00s [ 46/177] libXinerama-devel-0:1.1.5-7.f 100% | 487.2 KiB/s | 13.2 KiB | 00m00s [ 47/177] libXrandr-devel-0:1.5.4-4.fc4 100% | 713.6 KiB/s | 19.3 KiB | 00m00s [ 48/177] pango-devel-0:1.54.0-2.fc41.p 100% | 5.4 MiB/s | 160.2 KiB | 00m00s [ 49/177] pango-0:1.54.0-2.fc41.ppc64le 100% | 11.3 MiB/s | 381.1 KiB | 00m00s [ 50/177] python3-0:3.13.1-2.fc42.ppc64 100% | 993.6 KiB/s | 26.8 KiB | 00m00s [ 51/177] atk-0:2.54.0-1.fc42.ppc64le 100% | 3.1 MiB/s | 84.9 KiB | 00m00s [ 52/177] fontconfig-0:2.15.0-8.fc41.pp 100% | 9.9 MiB/s | 315.6 KiB | 00m00s [ 53/177] freetype-0:2.13.3-1.fc42.ppc6 100% | 13.5 MiB/s | 470.0 KiB | 00m00s [ 54/177] harfbuzz-0:10.1.0-2.fc42.ppc6 100% | 25.1 MiB/s | 1.1 MiB | 00m00s [ 55/177] cmake-filesystem-0:3.31.3-1.f 100% | 503.8 KiB/s | 17.6 KiB | 00m00s [ 56/177] xz-devel-1:5.6.3-2.fc42.ppc64 100% | 2.5 MiB/s | 66.5 KiB | 00m00s [ 57/177] zlib-ng-compat-devel-0:2.2.2- 100% | 1.1 MiB/s | 38.1 KiB | 00m00s [ 58/177] libjpeg-turbo-0:3.0.4-1.fc42. 100% | 7.5 MiB/s | 276.0 KiB | 00m00s [ 59/177] libpng-2:1.6.44-1.fc42.ppc64l 100% | 4.8 MiB/s | 137.2 KiB | 00m00s [ 60/177] shared-mime-info-0:2.3-6.fc41 100% | 9.6 MiB/s | 394.1 KiB | 00m00s [ 61/177] libasan-0:14.2.1-6.fc42.ppc64 100% | 11.3 MiB/s | 520.2 KiB | 00m00s [ 62/177] libatomic-0:14.2.1-6.fc42.ppc 100% | 1.7 MiB/s | 44.7 KiB | 00m00s [ 63/177] libmpc-0:1.3.1-6.fc41.ppc64le 100% | 3.1 MiB/s | 95.8 KiB | 00m00s [ 64/177] libubsan-0:14.2.1-6.fc42.ppc6 100% | 8.7 MiB/s | 266.2 KiB | 00m00s [ 65/177] glibc-devel-0:2.40.9000-24.fc 100% | 3.5 MiB/s | 649.3 KiB | 00m00s [ 66/177] cpp-0:14.2.1-6.fc42.ppc64le 100% | 41.2 MiB/s | 10.5 MiB | 00m00s [ 67/177] gtkspell-0:2.0.16-31.fc41.ppc 100% | 633.5 KiB/s | 51.3 KiB | 00m00s [ 68/177] libglade2-0:2.6.4-33.fc41.ppc 100% | 1.0 MiB/s | 71.1 KiB | 00m00s [ 69/177] ocaml-menhirlib-0:20240715-2. 100% | 6.4 MiB/s | 183.3 KiB | 00m00s [ 70/177] gmp-c++-1:6.3.0-2.fc41.ppc64l 100% | 570.6 KiB/s | 18.8 KiB | 00m00s [ 71/177] libgnomecanvas-0:2.30.3-29.fc 100% | 2.6 MiB/s | 246.5 KiB | 00m00s [ 72/177] librsvg2-0:2.59.2-1.fc42.ppc6 100% | 17.2 MiB/s | 1.8 MiB | 00m00s [ 73/177] nettle-0:3.10-3.fc41.ppc64le 100% | 12.6 MiB/s | 464.6 KiB | 00m00s [ 74/177] libX11-0:1.8.10-2.fc42.ppc64l 100% | 19.0 MiB/s | 699.0 KiB | 00m00s [ 75/177] zlib-ng-0:2.2.2-1.fc42.ppc64l 100% | 1.0 MiB/s | 86.5 KiB | 00m00s [ 76/177] libXext-0:1.3.6-2.fc41.ppc64l 100% | 1.5 MiB/s | 40.8 KiB | 00m00s [ 77/177] libXrender-0:0.9.12-1.fc42.pp 100% | 1.0 MiB/s | 27.8 KiB | 00m00s [ 78/177] pixman-0:0.44.2-1.fc42.ppc64l 100% | 7.2 MiB/s | 212.5 KiB | 00m00s [ 79/177] fontconfig-devel-0:2.15.0-8.f 100% | 5.7 MiB/s | 164.7 KiB | 00m00s [ 80/177] libXrender-devel-0:0.9.12-1.f 100% | 755.9 KiB/s | 18.9 KiB | 00m00s [ 81/177] freetype-devel-0:2.13.3-1.fc4 100% | 21.5 MiB/s | 1.0 MiB | 00m00s [ 82/177] libpng-devel-2:1.6.44-1.fc42. 100% | 9.9 MiB/s | 295.1 KiB | 00m00s [ 83/177] libxcb-0:1.17.0-3.fc42.ppc64l 100% | 2.0 MiB/s | 257.0 KiB | 00m00s [ 84/177] pixman-devel-0:0.44.2-1.fc42. 100% | 692.5 KiB/s | 17.3 KiB | 00m00s [ 85/177] libxcb-devel-0:1.17.0-3.fc42. 100% | 24.8 MiB/s | 1.4 MiB | 00m00s [ 86/177] libtiff-devel-0:4.7.0-2.fc42. 100% | 9.0 MiB/s | 267.6 KiB | 00m00s [ 87/177] libffi-devel-0:3.4.6-3.fc42.p 100% | 1.1 MiB/s | 28.6 KiB | 00m00s [ 88/177] libmount-devel-0:2.40.2-8.fc4 100% | 1.1 MiB/s | 27.3 KiB | 00m00s [ 89/177] libjpeg-turbo-devel-0:3.0.4-1 100% | 1.6 MiB/s | 97.2 KiB | 00m00s [ 90/177] libselinux-devel-0:3.8-0.rc3. 100% | 5.5 MiB/s | 151.7 KiB | 00m00s [ 91/177] pcre2-devel-0:10.44-1.fc41.1. 100% | 15.4 MiB/s | 521.4 KiB | 00m00s [ 92/177] sysprof-capture-devel-0:47.2- 100% | 2.4 MiB/s | 62.7 KiB | 00m00s [ 93/177] cups-libs-1:2.4.11-8.fc42.ppc 100% | 10.0 MiB/s | 307.4 KiB | 00m00s [ 94/177] gdk-pixbuf2-modules-0:2.42.12 100% | 1.2 MiB/s | 29.8 KiB | 00m00s [ 95/177] python3-packaging-0:24.2-2.fc 100% | 1.9 MiB/s | 153.8 KiB | 00m00s [ 96/177] gtk-update-icon-cache-0:3.24. 100% | 1.4 MiB/s | 35.4 KiB | 00m00s [ 97/177] hicolor-icon-theme-0:0.17-19. 100% | 2.5 MiB/s | 65.9 KiB | 00m00s [ 98/177] libXcomposite-0:0.4.6-4.fc41. 100% | 729.7 KiB/s | 24.8 KiB | 00m00s [ 99/177] libXcursor-0:1.2.3-1.fc42.ppc 100% | 1.3 MiB/s | 35.4 KiB | 00m00s [100/177] libXdamage-0:1.1.6-4.fc41.ppc 100% | 916.6 KiB/s | 23.8 KiB | 00m00s [101/177] libXi-0:1.8.2-1.fc42.ppc64le 100% | 1.7 MiB/s | 43.0 KiB | 00m00s [102/177] libXinerama-0:1.1.5-7.fc41.pp 100% | 561.7 KiB/s | 14.6 KiB | 00m00s [103/177] libXfixes-0:6.0.1-4.fc41.ppc6 100% | 617.0 KiB/s | 19.7 KiB | 00m00s [104/177] libXrandr-0:1.5.4-4.fc41.ppc6 100% | 1.1 MiB/s | 28.7 KiB | 00m00s [105/177] libtiff-0:4.7.0-2.fc42.ppc64l 100% | 7.7 MiB/s | 237.2 KiB | 00m00s [106/177] libX11-xcb-0:1.8.10-2.fc42.pp 100% | 344.1 KiB/s | 12.0 KiB | 00m00s [107/177] xorg-x11-proto-devel-0:2024.1 100% | 9.5 MiB/s | 300.3 KiB | 00m00s [108/177] fribidi-0:1.0.16-1.fc42.ppc64 100% | 2.0 MiB/s | 57.3 KiB | 00m00s [109/177] fribidi-devel-0:1.0.16-1.fc42 100% | 1.1 MiB/s | 29.3 KiB | 00m00s [110/177] libthai-0:0.1.29-9.fc41.ppc64 100% | 7.2 MiB/s | 213.7 KiB | 00m00s [111/177] libXft-0:2.3.8-7.fc41.ppc64le 100% | 1.4 MiB/s | 78.5 KiB | 00m00s [112/177] libXft-devel-0:2.3.8-7.fc41.p 100% | 1.9 MiB/s | 49.7 KiB | 00m00s [113/177] harfbuzz-devel-0:10.1.0-2.fc4 100% | 12.6 MiB/s | 450.2 KiB | 00m00s [114/177] at-spi2-core-0:2.54.0-1.fc42. 100% | 10.1 MiB/s | 394.0 KiB | 00m00s [115/177] libthai-devel-0:0.1.29-9.fc41 100% | 1.9 MiB/s | 146.7 KiB | 00m00s [116/177] default-fonts-core-sans-0:4.2 100% | 1.1 MiB/s | 31.3 KiB | 00m00s [117/177] fonts-filesystem-1:2.0.5-17.f 100% | 303.0 KiB/s | 8.5 KiB | 00m00s [118/177] xml-common-0:0.6.3-65.fc41.no 100% | 1.1 MiB/s | 31.2 KiB | 00m00s [119/177] ocaml-rpm-macros-0:5.3.0-1.fc 100% | 1.5 MiB/s | 15.1 KiB | 00m00s [120/177] python3-libs-0:3.13.1-2.fc42. 100% | 50.6 MiB/s | 9.0 MiB | 00m00s [121/177] graphite2-0:1.3.14-16.fc41.pp 100% | 1.1 MiB/s | 104.9 KiB | 00m00s [122/177] libxcrypt-devel-0:4.4.36-12.f 100% | 1.0 MiB/s | 27.7 KiB | 00m00s [123/177] enchant-1:1.6.0-38.fc42.ppc64 100% | 1.3 MiB/s | 65.4 KiB | 00m00s [124/177] libart_lgpl-0:2.3.21-33.fc41. 100% | 1.9 MiB/s | 78.7 KiB | 00m00s [125/177] cairo-gobject-0:1.18.2-2.fc42 100% | 658.6 KiB/s | 16.5 KiB | 00m00s [126/177] rsvg-pixbuf-loader-0:2.59.2-1 100% | 6.1 MiB/s | 193.5 KiB | 00m00s [127/177] libX11-common-0:1.8.10-2.fc42 100% | 5.4 MiB/s | 175.9 KiB | 00m00s [128/177] libXau-0:1.0.12-1.fc42.ppc64l 100% | 1.0 MiB/s | 32.8 KiB | 00m00s [129/177] gettext-0:0.23-1.fc42.ppc64le 100% | 10.4 MiB/s | 1.1 MiB | 00m00s [130/177] brotli-devel-0:1.1.0-5.fc41.p 100% | 969.3 KiB/s | 33.9 KiB | 00m00s [131/177] bzip2-devel-0:1.0.8-19.fc41.p 100% | 2.0 MiB/s | 213.6 KiB | 00m00s [132/177] libXau-devel-0:1.0.12-1.fc42. 100% | 444.6 KiB/s | 13.8 KiB | 00m00s [133/177] kernel-headers-0:6.13.0-0.rc4 100% | 3.0 MiB/s | 1.6 MiB | 00m01s [134/177] ocaml-compiler-libs-0:5.3.0-1 100% | 65.2 MiB/s | 52.8 MiB | 00m01s [135/177] libwebp-devel-0:1.5.0-1.fc42. 100% | 198.9 KiB/s | 39.6 KiB | 00m00s [136/177] liblerc-devel-0:4.0.0-7.fc41. 100% | 13.3 MiB/s | 3.2 MiB | 00m00s [137/177] libsepol-devel-0:3.8-0.rc3.1. 100% | 1.7 MiB/s | 48.4 KiB | 00m00s [138/177] libblkid-devel-0:2.40.2-8.fc4 100% | 799.7 KiB/s | 26.4 KiB | 00m00s [139/177] pcre2-utf16-0:10.44-1.fc41.1. 100% | 6.1 MiB/s | 229.8 KiB | 00m00s [140/177] pcre2-utf32-0:10.44-1.fc41.1. 100% | 7.3 MiB/s | 216.0 KiB | 00m00s [141/177] avahi-libs-0:0.8-30.fc42.ppc6 100% | 1.6 MiB/s | 71.7 KiB | 00m00s [142/177] cups-filesystem-1:2.4.11-8.fc 100% | 522.0 KiB/s | 13.6 KiB | 00m00s [143/177] jbigkit-libs-0:2.1-30.fc41.pp 100% | 2.1 MiB/s | 56.8 KiB | 00m00s [144/177] libdatrie-0:0.2.13-10.fc41.pp 100% | 1.3 MiB/s | 34.1 KiB | 00m00s [145/177] libwebp-0:1.5.0-1.fc42.ppc64l 100% | 6.7 MiB/s | 260.9 KiB | 00m00s [146/177] graphite2-devel-0:1.3.14-16.f 100% | 796.5 KiB/s | 20.7 KiB | 00m00s [147/177] harfbuzz-cairo-0:10.1.0-2.fc4 100% | 1.1 MiB/s | 28.8 KiB | 00m00s [148/177] liblerc-0:4.0.0-7.fc41.ppc64l 100% | 2.9 MiB/s | 228.2 KiB | 00m00s [149/177] harfbuzz-icu-0:10.1.0-2.fc42. 100% | 565.9 KiB/s | 14.7 KiB | 00m00s [150/177] expat-0:2.6.4-1.fc42.ppc64le 100% | 4.3 MiB/s | 120.1 KiB | 00m00s [151/177] libicu-devel-0:76.1-1.fc42.pp 100% | 11.9 MiB/s | 792.4 KiB | 00m00s [152/177] libdatrie-devel-0:0.2.13-10.f 100% | 2.6 MiB/s | 156.3 KiB | 00m00s [153/177] libb2-0:0.98.1-12.fc41.ppc64l 100% | 936.3 KiB/s | 25.3 KiB | 00m00s [154/177] mpdecimal-0:2.5.1-16.fc41.ppc 100% | 3.4 MiB/s | 103.0 KiB | 00m00s [155/177] tzdata-0:2024b-1.fc42.noarch 100% | 18.8 MiB/s | 712.7 KiB | 00m00s [156/177] dbus-1:1.16.0-1.fc42.ppc64le 100% | 295.7 KiB/s | 7.4 KiB | 00m00s [157/177] dbus-libs-1:1.16.0-1.fc42.ppc 100% | 5.3 MiB/s | 157.4 KiB | 00m00s [158/177] libXtst-0:1.2.5-1.fc41.ppc64l 100% | 884.5 KiB/s | 22.1 KiB | 00m00s [159/177] xprop-0:1.2.7-2.fc41.ppc64le 100% | 1.4 MiB/s | 38.3 KiB | 00m00s [160/177] abattis-cantarell-vf-fonts-0: 100% | 3.9 MiB/s | 120.2 KiB | 00m00s [161/177] google-noto-sans-vf-fonts-0:2 100% | 16.1 MiB/s | 593.9 KiB | 00m00s [162/177] hunspell-0:1.7.2-8.fc41.ppc64 100% | 8.1 MiB/s | 481.5 KiB | 00m00s [163/177] gettext-libs-0:0.23-1.fc42.pp 100% | 21.1 MiB/s | 799.0 KiB | 00m00s [164/177] gettext-runtime-0:0.23-1.fc42 100% | 3.9 MiB/s | 119.4 KiB | 00m00s [165/177] libtextstyle-0:0.23-1.fc42.pp 100% | 3.6 MiB/s | 98.2 KiB | 00m00s [166/177] brotli-0:1.1.0-5.fc41.ppc64le 100% | 828.8 KiB/s | 20.7 KiB | 00m00s [167/177] python-pip-wheel-0:24.3.1-1.f 100% | 4.8 MiB/s | 1.2 MiB | 00m00s [168/177] dbus-broker-0:36-4.fc41.ppc64 100% | 5.2 MiB/s | 188.0 KiB | 00m00s [169/177] google-noto-fonts-common-0:20 100% | 522.7 KiB/s | 17.8 KiB | 00m00s [170/177] hunspell-en-US-0:0.20201207-1 100% | 4.6 MiB/s | 180.9 KiB | 00m00s [171/177] gettext-envsubst-0:0.23-1.fc4 100% | 1.3 MiB/s | 37.0 KiB | 00m00s [172/177] libicu-0:76.1-1.fc42.ppc64le 100% | 57.5 MiB/s | 10.8 MiB | 00m00s [173/177] hunspell-filesystem-0:1.7.2-8 100% | 75.9 KiB/s | 8.0 KiB | 00m00s [174/177] dbus-common-1:1.16.0-1.fc42.n 100% | 212.2 KiB/s | 14.2 KiB | 00m00s [175/177] annobin-docs-0:12.80-1.fc42.n 100% | 3.2 MiB/s | 92.6 KiB | 00m00s [176/177] gcc-plugin-annobin-0:14.2.1-6 100% | 1.9 MiB/s | 59.5 KiB | 00m00s [177/177] annobin-plugin-gcc-0:12.80-1. 100% | 5.4 MiB/s | 981.8 KiB | 00m00s -------------------------------------------------------------------------------- [177/177] Total 100% | 47.7 MiB/s | 224.4 MiB | 00m05s Running transaction [ 1/179] Verify package files 100% | 68.0 B/s | 177.0 B | 00m03s [ 2/179] Prepare transaction 100% | 737.0 B/s | 177.0 B | 00m00s [ 3/179] Installing xorg-x11-proto-dev 100% | 93.8 MiB/s | 1.8 MiB | 00m00s [ 4/179] Installing cmake-filesystem-0 100% | 2.5 MiB/s | 7.6 KiB | 00m00s [ 5/179] Installing zlib-ng-compat-dev 100% | 52.9 MiB/s | 108.3 KiB | 00m00s [ 6/179] Installing libpng-2:1.6.44-1. 100% | 150.7 MiB/s | 463.0 KiB | 00m00s [ 7/179] Installing libpng-devel-2:1.6 100% | 147.7 MiB/s | 1.2 MiB | 00m00s [ 8/179] Installing fonts-filesystem-1 100% | 0.0 B/s | 788.0 B | 00m00s [ 9/179] Installing libjpeg-turbo-0:3. 100% | 138.2 MiB/s | 990.4 KiB | 00m00s [ 10/179] Installing ocaml-runtime-0:5. 100% | 158.7 MiB/s | 5.1 MiB | 00m00s [ 11/179] Installing libjpeg-turbo-deve 100% | 115.8 MiB/s | 355.6 KiB | 00m00s [ 12/179] Installing hunspell-filesyste 100% | 0.0 B/s | 388.0 B | 00m00s [ 13/179] Installing libicu-0:76.1-1.fc 100% | 170.3 MiB/s | 37.8 MiB | 00m00s [ 14/179] Installing libtextstyle-0:0.2 100% | 126.6 MiB/s | 259.3 KiB | 00m00s [ 15/179] Installing gettext-libs-0:0.2 100% | 149.4 MiB/s | 2.4 MiB | 00m00s [ 16/179] Installing dbus-libs-1:1.16.0 100% | 110.5 MiB/s | 452.6 KiB | 00m00s [ 17/179] Installing expat-0:2.6.4-1.fc 100% | 49.0 MiB/s | 351.3 KiB | 00m00s [ 18/179] Installing libdatrie-0:0.2.13 100% | 108.8 MiB/s | 222.8 KiB | 00m00s [ 19/179] Installing libthai-0:0.1.29-9 100% | 114.4 MiB/s | 937.2 KiB | 00m00s [ 20/179] Installing libwebp-0:1.5.0-1. 100% | 106.1 MiB/s | 869.3 KiB | 00m00s [ 21/179] Installing liblerc-0:4.0.0-7. 100% | 157.0 MiB/s | 803.9 KiB | 00m00s [ 22/179] Installing libXau-0:1.0.12-1. 100% | 59.1 MiB/s | 121.0 KiB | 00m00s [ 23/179] Installing libxcb-0:1.17.0-3. 100% | 172.7 MiB/s | 5.4 MiB | 00m00s [ 24/179] Installing graphite2-0:1.3.14 100% | 40.5 MiB/s | 497.7 KiB | 00m00s [ 25/179] Installing xml-common-0:0.6.3 100% | 39.6 MiB/s | 81.1 KiB | 00m00s [ 26/179] Installing fribidi-0:1.0.16-1 100% | 98.6 MiB/s | 504.8 KiB | 00m00s [ 27/179] Installing pixman-0:0.44.2-1. 100% | 141.9 MiB/s | 581.4 KiB | 00m00s [ 28/179] Installing zlib-ng-0:2.2.2-1. 100% | 104.8 MiB/s | 214.6 KiB | 00m00s [ 29/179] Installing libmpc-0:1.3.1-6.f 100% | 113.0 MiB/s | 347.1 KiB | 00m00s [ 30/179] Installing libzstd-devel-0:1. 100% | 66.2 MiB/s | 203.2 KiB | 00m00s [ 31/179] Installing cpp-0:14.2.1-6.fc4 100% | 152.6 MiB/s | 33.3 MiB | 00m00s [ 32/179] Installing zlib-ng-devel-0:2. 100% | 102.8 MiB/s | 105.2 KiB | 00m00s [ 33/179] Installing pixman-devel-0:0.4 100% | 49.0 MiB/s | 50.2 KiB | 00m00s [ 34/179] Installing fribidi-devel-0:1. 100% | 26.7 MiB/s | 81.9 KiB | 00m00s [ 35/179] Installing graphite2-devel-0: 100% | 49.4 MiB/s | 50.6 KiB | 00m00s [ 36/179] Installing libXau-devel-0:1.0 100% | 851.6 KiB/s | 9.4 KiB | 00m00s [ 37/179] Installing libxcb-devel-0:1.1 100% | 15.3 MiB/s | 3.1 MiB | 00m00s [ 38/179] Installing liblerc-devel-0:4. 100% | 164.9 MiB/s | 4.3 MiB | 00m00s [ 39/179] Installing libwebp-devel-0:1. 100% | 40.7 MiB/s | 124.9 KiB | 00m00s [ 40/179] Installing libdatrie-devel-0: 100% | 63.1 MiB/s | 775.3 KiB | 00m00s [ 41/179] Installing libthai-devel-0:0. 100% | 58.4 MiB/s | 717.8 KiB | 00m00s [ 42/179] Installing avahi-libs-0:0.8-3 100% | 100.3 MiB/s | 616.4 KiB | 00m00s [ 43/179] Installing libicu-devel-0:76. 100% | 109.1 MiB/s | 5.1 MiB | 00m00s [ 44/179] Installing hunspell-en-US-0:0 100% | 136.3 MiB/s | 558.1 KiB | 00m00s [ 45/179] Installing hunspell-0:1.7.2-8 100% | 81.9 MiB/s | 1.6 MiB | 00m00s [ 46/179] Installing abattis-cantarell- 100% | 94.9 MiB/s | 194.4 KiB | 00m00s [ 47/179] Installing annobin-docs-0:12. 100% | 97.4 MiB/s | 99.7 KiB | 00m00s [ 48/179] Installing dbus-common-1:1.16 100% | 288.3 KiB/s | 13.6 KiB | 00m00s [ 49/179] Installing dbus-broker-0:36-4 100% | 45.4 MiB/s | 744.6 KiB | 00m00s [ 50/179] Installing dbus-1:1.16.0-1.fc 100% | 121.1 KiB/s | 124.0 B | 00m00s [ 51/179] Installing gettext-envsubst-0 100% | 17.4 MiB/s | 106.7 KiB | 00m00s [ 52/179] Installing gettext-runtime-0: 100% | 29.6 MiB/s | 546.4 KiB | 00m00s [ 53/179] Installing gettext-0:0.23-1.f 100% | 118.2 MiB/s | 6.0 MiB | 00m00s [ 54/179] Installing google-noto-fonts- 100% | 17.8 MiB/s | 18.3 KiB | 00m00s [ 55/179] Installing google-noto-sans-v 100% | 124.9 MiB/s | 1.2 MiB | 00m00s [ 56/179] Installing default-fonts-core 100% | 4.4 MiB/s | 18.2 KiB | 00m00s [ 57/179] Installing brotli-0:1.1.0-5.f 100% | 63.9 MiB/s | 196.4 KiB | 00m00s [ 58/179] Installing brotli-devel-0:1.1 100% | 8.3 MiB/s | 68.0 KiB | 00m00s [ 59/179] Installing tzdata-0:2024b-1.f 100% | 15.8 MiB/s | 1.9 MiB | 00m00s [ 60/179] Installing python-pip-wheel-0 100% | 177.7 MiB/s | 1.2 MiB | 00m00s [ 61/179] Installing mpdecimal-0:2.5.1- 100% | 107.4 MiB/s | 330.0 KiB | 00m00s [ 62/179] Installing libb2-0:0.98.1-12. 100% | 19.8 MiB/s | 203.2 KiB | 00m00s [ 63/179] Installing python3-libs-0:3.1 100% | 112.7 MiB/s | 43.2 MiB | 00m00s [ 64/179] Installing python3-0:3.13.1-2 100% | 41.1 MiB/s | 84.2 KiB | 00m00s [ 65/179] Installing python3-packaging- 100% | 61.6 MiB/s | 568.0 KiB | 00m00s [ 66/179] Installing jbigkit-libs-0:2.1 100% | 143.0 MiB/s | 439.2 KiB | 00m00s [ 67/179] Installing libtiff-0:4.7.0-2. 100% | 110.1 MiB/s | 789.0 KiB | 00m00s [ 68/179] Installing libtiff-devel-0:4. 100% | 83.8 MiB/s | 772.3 KiB | 00m00s [ 69/179] Installing cups-filesystem-1: 100% | 1.7 MiB/s | 1.8 KiB | 00m00s [ 70/179] Installing pcre2-utf32-0:10.4 100% | 115.6 MiB/s | 710.4 KiB | 00m00s [ 71/179] Installing pcre2-utf16-0:10.4 100% | 126.0 MiB/s | 774.4 KiB | 00m00s [ 72/179] Installing pcre2-devel-0:10.4 100% | 73.9 MiB/s | 2.0 MiB | 00m00s [ 73/179] Installing libsepol-devel-0:3 100% | 17.9 MiB/s | 128.3 KiB | 00m00s [ 74/179] Installing libselinux-devel-0 100% | 8.3 MiB/s | 161.6 KiB | 00m00s [ 75/179] Installing libblkid-devel-0:2 100% | 44.9 MiB/s | 46.0 KiB | 00m00s [ 76/179] Installing libmount-devel-0:2 100% | 63.0 MiB/s | 64.5 KiB | 00m00s [ 77/179] Installing bzip2-devel-0:1.0. 100% | 75.9 MiB/s | 310.7 KiB | 00m00s [ 78/179] Installing libX11-common-0:1. 100% | 44.0 MiB/s | 1.2 MiB | 00m00s [ 79/179] Installing libX11-0:1.8.10-2. 100% | 165.6 MiB/s | 1.7 MiB | 00m00s [ 80/179] Installing libXext-0:1.3.6-2. 100% | 89.5 MiB/s | 275.1 KiB | 00m00s [ 81/179] Installing libXrender-0:0.9.1 100% | 68.2 MiB/s | 69.9 KiB | 00m00s [ 82/179] Installing libXi-0:1.8.2-1.fc 100% | 98.4 MiB/s | 201.6 KiB | 00m00s [ 83/179] Installing libXfixes-0:6.0.1- 100% | 97.4 MiB/s | 199.5 KiB | 00m00s [ 84/179] Installing libXcursor-0:1.2.3 100% | 34.8 MiB/s | 71.3 KiB | 00m00s [ 85/179] Installing libXrandr-0:1.5.4- 100% | 98.1 MiB/s | 200.9 KiB | 00m00s [ 86/179] Installing libXinerama-0:1.1. 100% | 195.4 MiB/s | 200.1 KiB | 00m00s [ 87/179] Installing libXcomposite-0:0. 100% | 73.5 MiB/s | 225.9 KiB | 00m00s [ 88/179] Installing libXdamage-0:1.1.6 100% | 109.9 MiB/s | 225.0 KiB | 00m00s [ 89/179] Installing libXtst-0:1.2.5-1. 100% | 98.9 MiB/s | 202.5 KiB | 00m00s [ 90/179] Installing xprop-0:1.2.7-2.fc 100% | 101.6 MiB/s | 208.1 KiB | 00m00s [ 91/179] Installing libart_lgpl-0:2.3. 100% | 35.3 MiB/s | 288.8 KiB | 00m00s [ 92/179] Installing kernel-headers-0:6 100% | 55.9 MiB/s | 6.6 MiB | 00m00s [ 93/179] Installing libxcrypt-devel-0: 100% | 6.4 MiB/s | 32.9 KiB | 00m00s [ 94/179] Installing glibc-devel-0:2.40 100% | 49.6 MiB/s | 2.7 MiB | 00m00s [ 95/179] Installing libX11-xcb-0:1.8.1 100% | 38.2 MiB/s | 195.5 KiB | 00m00s [ 96/179] Installing libX11-devel-0:1.8 100% | 16.0 MiB/s | 1.1 MiB | 00m00s [ 97/179] Installing libXext-devel-0:1. 100% | 13.5 MiB/s | 110.9 KiB | 00m00s [ 98/179] Installing libXrender-devel-0 100% | 49.8 MiB/s | 51.0 KiB | 00m00s [ 99/179] Installing libXfixes-devel-0: 100% | 9.7 MiB/s | 9.9 KiB | 00m00s [100/179] Installing libXcomposite-deve 100% | 3.4 MiB/s | 10.5 KiB | 00m00s [101/179] Installing libXcursor-devel-0 100% | 5.3 MiB/s | 32.8 KiB | 00m00s [102/179] Installing libXi-devel-0:1.8. 100% | 20.2 MiB/s | 144.6 KiB | 00m00s [103/179] Installing libXrandr-devel-0: 100% | 8.0 MiB/s | 24.7 KiB | 00m00s [104/179] Installing libXinerama-devel- 100% | 4.2 MiB/s | 8.5 KiB | 00m00s [105/179] Installing hicolor-icon-theme 100% | 8.0 MiB/s | 179.5 KiB | 00m00s [106/179] Installing sysprof-capture-de 100% | 98.8 MiB/s | 303.5 KiB | 00m00s [107/179] Installing libffi-devel-0:3.4 100% | 33.9 MiB/s | 34.7 KiB | 00m00s [108/179] Installing nettle-0:3.10-3.fc 100% | 111.1 MiB/s | 1.0 MiB | 00m00s [109/179] Installing gnutls-0:3.8.8-1.f 100% | 134.4 MiB/s | 3.6 MiB | 00m00s [110/179] Installing glib2-0:2.83.0-3.f 100% | 145.3 MiB/s | 16.3 MiB | 00m00s [111/179] Installing freetype-0:2.13.3- 100% | 111.1 MiB/s | 1.1 MiB | 00m00s [112/179] Installing harfbuzz-0:10.1.0- 100% | 134.5 MiB/s | 3.1 MiB | 00m00s [113/179] Installing fontconfig-0:2.15. 100% | 2.4 MiB/s | 2.6 MiB | 00m01s [114/179] Installing cairo-0:1.18.2-2.f 100% | 73.7 MiB/s | 2.1 MiB | 00m00s [115/179] Installing glib2-devel-0:2.83 100% | 129.8 MiB/s | 16.2 MiB | 00m00s [116/179] Installing libXft-0:2.3.8-7.f 100% | 78.6 MiB/s | 321.9 KiB | 00m00s [117/179] Installing pango-0:1.54.0-2.f 100% | 127.3 MiB/s | 2.0 MiB | 00m00s [118/179] Installing shared-mime-info-0 100% | 78.5 MiB/s | 2.7 MiB | 00m00s [119/179] Installing gdk-pixbuf2-0:2.42 100% | 91.1 MiB/s | 3.0 MiB | 00m00s [120/179] Installing gdk-pixbuf2-devel- 100% | 85.6 MiB/s | 2.7 MiB | 00m00s [121/179] Installing gdk-pixbuf2-module 100% | 191.7 MiB/s | 392.7 KiB | 00m00s [122/179] Installing gtk-update-icon-ca 100% | 109.1 MiB/s | 223.3 KiB | 00m00s [123/179] Installing cairo-gobject-0:1. 100% | 65.2 MiB/s | 66.7 KiB | 00m00s [124/179] Installing librsvg2-0:2.59.2- 100% | 145.9 MiB/s | 5.0 MiB | 00m00s [125/179] Installing rsvg-pixbuf-loader 100% | 91.1 MiB/s | 466.6 KiB | 00m00s [126/179] Installing harfbuzz-cairo-0:1 100% | 65.2 MiB/s | 66.8 KiB | 00m00s [127/179] Installing harfbuzz-icu-0:10. 100% | 65.2 MiB/s | 66.8 KiB | 00m00s [128/179] Installing json-glib-0:1.10.6 100% | 51.2 MiB/s | 682.2 KiB | 00m00s [129/179] Installing at-spi2-core-0:2.5 100% | 71.8 MiB/s | 2.0 MiB | 00m00s [130/179] Installing atk-0:2.54.0-1.fc4 100% | 69.4 MiB/s | 426.2 KiB | 00m00s [131/179] Installing atk-devel-0:2.54.0 100% | 81.5 MiB/s | 6.0 MiB | 00m00s [132/179] Installing enchant-1:1.6.0-38 100% | 98.7 MiB/s | 303.2 KiB | 00m00s [133/179] Installing cups-libs-1:2.4.11 100% | 111.7 MiB/s | 914.8 KiB | 00m00s [134/179] Installing gtk2-0:2.24.33-19. 100% | 144.8 MiB/s | 15.8 MiB | 00m00s [135/179] Installing gtksourceview2-0:2 100% | 92.8 MiB/s | 3.6 MiB | 00m00s [136/179] Installing libglade2-0:2.6.4- 100% | 99.8 MiB/s | 306.5 KiB | 00m00s [137/179] Installing libgnomecanvas-0:2 100% | 64.9 MiB/s | 1.2 MiB | 00m00s [138/179] Installing gtkspell-0:2.0.16- 100% | 27.7 MiB/s | 255.0 KiB | 00m00s [139/179] Installing gmp-c++-1:6.3.0-2. 100% | 95.9 MiB/s | 196.3 KiB | 00m00s [140/179] Installing gmp-devel-1:6.3.0- 100% | 86.5 MiB/s | 354.2 KiB | 00m00s [141/179] Installing libubsan-0:14.2.1- 100% | 118.2 MiB/s | 605.3 KiB | 00m00s [142/179] Installing libatomic-0:14.2.1 100% | 67.3 MiB/s | 68.9 KiB | 00m00s [143/179] Installing libasan-0:14.2.1-6 100% | 159.7 MiB/s | 1.9 MiB | 00m00s [144/179] Installing xz-devel-1:5.6.3-2 100% | 50.7 MiB/s | 259.4 KiB | 00m00s [145/179] Installing libxml2-devel-0:2. 100% | 106.8 MiB/s | 3.4 MiB | 00m00s [146/179] Installing cairo-devel-0:1.18 100% | 73.9 MiB/s | 2.3 MiB | 00m00s [147/179] Installing fontconfig-devel-0 100% | 7.4 MiB/s | 151.9 KiB | 00m00s [148/179] Installing freetype-devel-0:2 100% | 133.5 MiB/s | 8.5 MiB | 00m00s [149/179] Installing harfbuzz-devel-0:1 100% | 119.7 MiB/s | 5.3 MiB | 00m00s [150/179] Installing libXft-devel-0:2.3 100% | 6.2 MiB/s | 44.3 KiB | 00m00s [151/179] Installing pango-devel-0:1.54 100% | 115.7 MiB/s | 1.5 MiB | 00m00s [152/179] Installing gtk2-devel-0:2.24. 100% | 147.9 MiB/s | 24.0 MiB | 00m00s [153/179] Installing emacs-filesystem-1 100% | 531.2 KiB/s | 544.0 B | 00m00s [154/179] Installing make-1:4.4.1-9.fc4 100% | 109.8 MiB/s | 2.0 MiB | 00m00s [155/179] Installing gcc-0:14.2.1-6.fc4 100% | 158.0 MiB/s | 94.0 MiB | 00m01s [156/179] Installing ocaml-0:5.3.0-1.fc 100% | 170.2 MiB/s | 147.2 MiB | 00m01s [157/179] Installing ocaml-lablgtk-0:2. 100% | 164.1 MiB/s | 15.3 MiB | 00m00s [158/179] Installing ocaml-num-0:1.5-10 100% | 101.2 MiB/s | 622.0 KiB | 00m00s [159/179] Installing ocaml-ocplib-simpl 100% | 118.1 MiB/s | 604.5 KiB | 00m00s [160/179] Installing ocaml-psmt2-fronte 100% | 156.5 MiB/s | 4.4 MiB | 00m00s [161/179] Installing ocaml-zarith-0:1.1 100% | 93.4 MiB/s | 478.1 KiB | 00m00s [162/179] Installing ocaml-zip-0:1.13-1 100% | 115.4 MiB/s | 354.4 KiB | 00m00s [163/179] Installing ocaml-menhirlib-0: 100% | 134.7 MiB/s | 413.8 KiB | 00m00s [164/179] Installing ocaml-menhirlib-de 100% | 148.9 MiB/s | 1.0 MiB | 00m00s [165/179] Installing ocaml-rpm-macros-0 100% | 2.5 MiB/s | 20.3 KiB | 00m00s [166/179] Installing ocaml-compiler-lib 100% | 155.4 MiB/s | 107.6 MiB | 00m01s [167/179] Installing ocaml-dune-0:3.17. 100% | 170.7 MiB/s | 24.2 MiB | 00m00s [168/179] Installing ocaml-menhir-0:202 100% | 150.5 MiB/s | 8.0 MiB | 00m00s [169/179] Installing ocaml-zip-devel-0: 100% | 97.4 MiB/s | 698.2 KiB | 00m00s [170/179] Installing ocaml-zarith-devel 100% | 91.0 MiB/s | 932.3 KiB | 00m00s [171/179] Installing ocaml-psmt2-fronte 100% | 167.3 MiB/s | 5.4 MiB | 00m00s [172/179] Installing ocaml-ocplib-simpl 100% | 135.5 MiB/s | 1.6 MiB | 00m00s [173/179] Installing ocaml-num-devel-0: 100% | 99.2 MiB/s | 1.0 MiB | 00m00s [174/179] Installing ocaml-lablgtk-deve 100% | 153.0 MiB/s | 17.1 MiB | 00m00s [175/179] Installing annobin-plugin-gcc 100% | 23.9 MiB/s | 1.0 MiB | 00m00s [176/179] Installing gcc-plugin-annobin 100% | 3.7 MiB/s | 74.8 KiB | 00m00s [177/179] Installing desktop-file-utils 100% | 69.6 MiB/s | 641.8 KiB | 00m00s [178/179] Installing gtksourceview2-dev 100% | 94.2 MiB/s | 1.4 MiB | 00m00s [179/179] Installing libappstream-glib- 100% | 2.1 MiB/s | 1.9 MiB | 00m01s Warning: skipped OpenPGP checks for 20 packages from repository: copr_base Complete! Finish: build setup for alt-ergo-2.3.3-23.fc42.src.rpm Start: rpmbuild alt-ergo-2.3.3-23.fc42.src.rpm Building target platforms: ppc64le Building for target ppc64le setting SOURCE_DATE_EPOCH=1734912000 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.1PTntI + umask 022 + cd /builddir/build/BUILD/alt-ergo-2.3.3-build + test -d /builddir/build/BUILD/alt-ergo-2.3.3-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/alt-ergo-2.3.3-build + /usr/bin/rm -rf /builddir/build/BUILD/alt-ergo-2.3.3-build + /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build + /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Ze33ut + umask 022 + cd /builddir/build/BUILD/alt-ergo-2.3.3-build + cd /builddir/build/BUILD/alt-ergo-2.3.3-build + rm -rf alt-ergo-2.3.0-free + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/alt-ergo-free-2.3.0.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd alt-ergo-2.3.0-free + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/alt-ergo-icons.tar.xz + STATUS=0 + '[' 0 -ne 0 ']' + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + rm -rf sources + tar xf /builddir/build/SOURCES/alt-ergo-free-2.3.3.tar.gz + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-pervasives.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-psmt2-frontend.patch + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-menhir.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-forward-compat.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-dune3.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + /usr/lib/rpm/rpmuncompress /builddir/build/SOURCES/alt-ergo-inline-error.patch + /usr/bin/patch -p1 -s --fuzz=0 --no-backup-if-mismatch -f + RPM_EC=0 ++ jobs -p + exit 0 Executing(%conf): /bin/sh -e /var/tmp/rpm-tmp.Qv1zbO + umask 022 + cd /builddir/build/BUILD/alt-ergo-2.3.3-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + 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 + cd sources + cp -p /builddir/build/SOURCES/alt-ergo.desktop com.ocamlpro.alt-ergo.desktop + cd examples/AB-Why3-plugin + unzip p4_34.why.zip Archive: p4_34.why.zip inflating: p4_34.why + rm p4_34.why.zip /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources + cd - + ./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 ! + RPM_EC=0 ++ jobs -p Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.z3EClu + exit 0 + umask 022 + cd /builddir/build/BUILD/alt-ergo-2.3.3-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + 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 + cd sources + /usr/bin/make -O -j5 V=1 VERBOSE=1 dune build @install ln -sf _build/install/default/bin/alt-ergo alt-ergo ln -sf _build/install/default/bin/altgr-ergo altgr-ergo File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque File "_none_", line 1: Warning 58 [no-cmx-file]: no cmx file was found in path for module GtkSourceView2Props, and its interface was not compiled with -opaque + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.LY3ESA + umask 022 + cd /builddir/build/BUILD/alt-ergo-2.3.3-build + '[' /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT ++ dirname /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT + mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build + mkdir /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + 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 + cd sources + /usr/bin/make install DESTDIR=/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT 'INSTALL=/usr/bin/install -p' dune build @install ln -sf _build/install/default/bin/alt-ergo alt-ergo ln -sf _build/install/default/bin/altgr-ergo altgr-ergo dune install \ --prefix /usr \ --libdir /usr/lib64/ocaml \ --mandir /usr/man + find /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml -name '*.ml' -delete + rm -fr /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/doc + mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/man/man1 + cp -p doc/alt-ergo.1 /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/man/man1 + mv /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/plugins /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo/preludes /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo + rmdir /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/alt-ergo + mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/gtksourceview-2.0/language-specs + cp -p doc/gtk-lang/alt-ergo.lang /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/gtksourceview-2.0/language-specs + mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/applications + desktop-file-install --dir /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/applications com.ocamlpro.alt-ergo.desktop + mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo + install -pm 644 /builddir/build/SOURCES/alt-ergo.metainfo.xml /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml + appstream-util validate-relax --nonet /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/metainfo/com.ocamlpro.alt-ergo.metainfo.xml: OK /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free + cd - + mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/icons + cp -a icons /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/icons/hicolor + /usr/bin/find-debuginfo -j5 --strict-build-id -m -i --build-id-seed 2.3.3-23.fc42 --unique-debug-suffix -2.3.3-23.fc42.ppc64le --unique-debug-src-base alt-ergo-2.3.3-23.fc42.ppc64le --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free find-debuginfo: starting Extracting debug info from 4 files DWARF-compressing 4 files sepdebugcrcfix: Updated 4 CRC32s, 0 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/alt-ergo-2.3.3-23.fc42.ppc64le cpio: sources/_build/default/arg.ml: Cannot stat: No such file or directory cpio: sources/_build/default/array.ml: Cannot stat: No such file or directory cpio: sources/_build/default/atomic.ml: Cannot stat: No such file or directory cpio: sources/_build/default/big_int.ml: Cannot stat: No such file or directory cpio: sources/_build/default/buffer.ml: Cannot stat: No such file or directory cpio: sources/_build/default/bytes.ml: Cannot stat: No such file or directory cpio: sources/_build/default/camlinternalFormat.ml: Cannot stat: No such file or directory cpio: sources/_build/default/camlinternalLazy.ml: Cannot stat: No such file or directory cpio: sources/_build/default/camlinternalMod.ml: Cannot stat: No such file or directory cpio: sources/_build/default/char.ml: Cannot stat: No such file or directory cpio: sources/_build/default/condition.ml: Cannot stat: No such file or directory cpio: sources/_build/default/domain.ml: Cannot stat: No such file or directory cpio: sources/_build/default/filename.ml: Cannot stat: No such file or directory cpio: sources/_build/default/format.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gBin.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gButton.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gContainer.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gEdit.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gMenu.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gMisc.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gObj.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gPack.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gRange.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gSourceView2.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gText.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gToolbox.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gTree.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gWindow.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gaux.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gdk.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gdkEvent.ml: Cannot stat: No such file or directory cpio: sources/_build/default/glib.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gobject.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkBase.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkButton.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkMain.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkMenu.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkObject.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkPack.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkPackProps.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkSignal.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkStock.ml: Cannot stat: No such file or directory cpio: sources/_build/default/gtkThread.ml: Cannot stat: No such file or directory cpio: sources/_build/default/hashtbl.ml: Cannot stat: No such file or directory cpio: sources/_build/default/int64.ml: Cannot stat: No such file or directory cpio: sources/_build/default/int_misc.ml: Cannot stat: No such file or directory cpio: sources/_build/default/lexing.ml: Cannot stat: No such file or directory cpio: sources/_build/default/list.ml: Cannot stat: No such file or directory cpio: sources/_build/default/map.ml: Cannot stat: No such file or directory cpio: sources/_build/default/mutex.ml: Cannot stat: No such file or directory cpio: sources/_build/default/nat.ml: Cannot stat: No such file or directory cpio: sources/_build/default/num.ml: Cannot stat: No such file or directory cpio: sources/_build/default/printexc.ml: Cannot stat: No such file or directory cpio: sources/_build/default/printf.ml: Cannot stat: No such file or directory cpio: sources/_build/default/q.ml: Cannot stat: No such file or directory cpio: sources/_build/default/queue.ml: Cannot stat: No such file or directory cpio: sources/_build/default/random.ml: Cannot stat: No such file or directory cpio: sources/_build/default/ratio.ml: Cannot stat: No such file or directory cpio: sources/_build/default/scanf.ml: Cannot stat: No such file or directory cpio: sources/_build/default/seq.ml: Cannot stat: No such file or directory cpio: sources/_build/default/set.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/assertBounds.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/basic.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/lib/options.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/lib/smtlib_parser.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/lib/smtlib_ty.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/result.ml: Cannot stat: No such file or directory cpio: sources/_build/default/src/solveBounds.ml: Cannot stat: No such file or directory cpio: sources/_build/default/stack.ml: Cannot stat: No such file or directory cpio: sources/_build/default/stdlib.ml: Cannot stat: No such file or directory cpio: sources/_build/default/str.ml: Cannot stat: No such file or directory cpio: sources/_build/default/string.ml: Cannot stat: No such file or directory cpio: sources/_build/default/sys.ml.in: Cannot stat: No such file or directory cpio: sources/_build/default/thread.ml: Cannot stat: No such file or directory cpio: sources/_build/default/unix.ml: Cannot stat: No such file or directory cpio: sources/_build/default/z.ml: Cannot stat: No such file or directory find-debuginfo: done + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j5 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j5 /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.a: replacing with normalized version /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.a: replacing with normalized version Scanned 69 directories and 524 files, processed 2 inodes, 2 modified (2 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/alt-ergo-2.3.3-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.0XxSAL + umask 022 + cd /builddir/build/BUILD/alt-ergo-2.3.3-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mcpu=power8 -mtune=power8 -fasynchronous-unwind-tables -fstack-clash-protection -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + 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 + cd sources + dune runtest --verbose --release -j5 Shared cache: enabled-except-user-rules Shared cache location: /builddir/.cache/dune/db Workspace root: /builddir/build/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-23.fc42.ppc64le Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.TWXBGc + umask 022 + cd /builddir/build/BUILD/alt-ergo-2.3.3-build + cd alt-ergo-2.3.0-free + DOCDIR=/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/README.md /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/CHANGES /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/sources/examples /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/publications/Alt-Ergo--Atelier-B--RSSR-2016.pdf /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/doc/alt-ergo + cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/publications/Alt-Ergo-2.2--SMT-Workshop-2018.pdf /builddir/build/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-23.fc42 alt-ergo(ppc-64) = 2.3.3-23.fc42 ocaml(ABWhy3Plugin) = 12d81870f4ca6140e91a3836eb77daac ocaml(ABWhy3Plugin__Why3_lexer) = 676a2d1ff07d2e2c6d8979c7be4698f6 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) = 9a27d1f975a1a4d67d690663e88baabb ocaml(FmSimplexPlugin__Simplex_cache) = f5378c6214466e10a7c852ccfb0c55d6 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld64.so.2()(64bit) ld64.so.2(GLIBC_2.22)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.28)(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_ABI_DT_RELR)(64bit) libgmp.so.10()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(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) = 66d713999cb9419569073a93bd5dc97c ocaml(AltErgoLib__Arrays) = 64ddbafa10cd06fd697dfd271b799ca7 ocaml(AltErgoLib__Bitv) = be07ae9ec170ab0625f74a0eb031389c ocaml(AltErgoLib__Enum) = d8d880dfab4ff13595c2c051a76b59cf ocaml(AltErgoLib__Explanation) = 77f1e52a9489fd80f00eadb3a95ac322 ocaml(AltErgoLib__Expr) = 6bd41ad441313a6bfa1f62aa62b7ab73 ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee ocaml(AltErgoLib__Inequalities) = cc236f4f81a7810283307c91840ac793 ocaml(AltErgoLib__Ite) = f0d3252659d2c76c21da09d860b12c29 ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34 ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70 ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617 ocaml(AltErgoLib__Options) = f0cfa16175650a167b3ed4c1b199db4a ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Polynome) = 8e7e290f5f5f0a748ea0f0d67b38614f ocaml(AltErgoLib__Records) = 12e7eb625b024ff7e30eb445c596cf9e ocaml(AltErgoLib__Satml_types) = c27e359e9a92b14ccc7f458501e255d0 ocaml(AltErgoLib__Shostak) = cacc89b30882bdef15517baed58909e6 ocaml(AltErgoLib__Sig) = 70a495a59201effe8e0cd278fb8e0477 ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Typed) = 02503e567305cad7b4489b4fe0430a32 ocaml(AltErgoLib__Util) = 5a0fac7b053941db1776c87646d0c4d7 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__Parsers) = 91c53fee22060125e81afba477dd9304 ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(FmSimplexPlugin) = c3b7f0c22664ca235c8b02c75644fb90 ocaml(FmSimplexPlugin__Simplex) = 9a27d1f975a1a4d67d690663e88baabb ocaml(FmSimplexPlugin__Simplex_cache) = f5378c6214466e10a7c852ccfb0c55d6 ocaml(MenhirLib) = 9a5c2a39e3601013dcb5073bf9979b09 ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4 ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5 ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54 ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5 ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b rtld(GNU_HASH) Processing files: alt-ergo-gui-2.3.3-23.fc42.ppc64le Provides: alt-ergo-gui = 2.3.3-23.fc42 alt-ergo-gui(ppc-64) = 2.3.3-23.fc42 application() application(com.ocamlpro.alt-ergo.desktop) metainfo() metainfo(com.ocamlpro.alt-ergo.metainfo.xml) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld64.so.2()(64bit) ld64.so.2(GLIBC_2.22)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.17)(64bit) libc.so.6(GLIBC_2.25)(64bit) libc.so.6(GLIBC_2.28)(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_ABI_DT_RELR)(64bit) libgdk-x11-2.0.so.0()(64bit) libgdk_pixbuf-2.0.so.0()(64bit) libglib-2.0.so.0()(64bit) libgmp.so.10()(64bit) libgobject-2.0.so.0()(64bit) libgtk-x11-2.0.so.0()(64bit) libgtksourceview-2.0.so.0()(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.17)(64bit) libm.so.6(GLIBC_2.29)(64bit) libm.so.6(GLIBC_2.35)(64bit) libm.so.6(GLIBC_2.38)(64bit) libpango-1.0.so.0()(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) rtld(GNU_HASH) Processing files: ocaml-alt-ergo-parsers-2.3.3-23.fc42.ppc64le Provides: ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 91c53fee22060125e81afba477dd9304 ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 15819bdd21e00f156f3894bbf8515e29 ocaml(AltErgoParsers__Why_lexer) = d18e4e1937595a85e4279b2c4872adad ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml-alt-ergo-parsers = 2.3.3-23.fc42 ocaml-alt-ergo-parsers(ppc-64) = 2.3.3-23.fc42 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) = f0cfa16175650a167b3ed4c1b199db4a ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Util) = 5a0fac7b053941db1776c87646d0c4d7 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 91c53fee22060125e81afba477dd9304 ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 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) = 3edd3e833d29033a1de3d2b3542190d7 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 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) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Zip) = e28cfee95af712fd1f0c66a38b17f013 rtld(GNU_HASH) Processing files: ocaml-alt-ergo-parsers-devel-2.3.3-23.fc42.ppc64le Provides: ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 91c53fee22060125e81afba477dd9304 ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Psmt2_to_alt_ergo) = 15819bdd21e00f156f3894bbf8515e29 ocaml(AltErgoParsers__Why_lexer) = d18e4e1937595a85e4279b2c4872adad ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml-alt-ergo-parsers-devel = 2.3.3-23.fc42 ocaml-alt-ergo-parsers-devel(ppc-64) = 2.3.3-23.fc42 ocamlx(AltErgoParsers) = af3af21ba9b69470f45dce543ab8025e ocamlx(AltErgoParsers__MyZip) = 80e887db3758bf45d3fdaa9d0508c2c7 ocamlx(AltErgoParsers__Parsers) = 35568c0bd5659ab08fa3e2734f161d4e ocamlx(AltErgoParsers__Parsers_loader) = 03114c49f38c18590cdbca1384fc7c1a ocamlx(AltErgoParsers__Psmt2_to_alt_ergo) = 9981e4f0cec03c49fcea121ae8328d62 ocamlx(AltErgoParsers__Why_lexer) = b1a63b658bc21236be08d7dde996300a ocamlx(AltErgoParsers__Why_parser) = 9d8236a9d2aff9bb9b8f21e2052d7c69 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) = f0cfa16175650a167b3ed4c1b199db4a ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95 ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8 ocaml(AltErgoLib__Util) = 5a0fac7b053941db1776c87646d0c4d7 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311 ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671 ocaml(AltErgoParsers__Parsers) = 91c53fee22060125e81afba477dd9304 ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 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) = 3edd3e833d29033a1de3d2b3542190d7 ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 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) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569 ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5 ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7 ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0 ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212 ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029 ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11 ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06 ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Zip) = e28cfee95af712fd1f0c66a38b17f013 ocamlx(Arith_flags) = 47817eb84db214dbcb58d1f8ec3bb132 ocamlx(Big_int) = 93cf304b087a959a8380c2d8c0f2c18d ocamlx(CamlinternalFormat) = 30f7d437e20daeae51e0434e3375a33f ocamlx(Int_misc) = 36df8e6057b8500cb600bf3998721b4a ocamlx(Nat) = 59642a5056bb78b540628168ce9cc931 ocamlx(Num) = 7a435aacde0f1f4904f2e15d9dfcc624 ocamlx(Psmt2Frontend__Options) = 8c049f6c8e3b158abd2304606e9845ac ocamlx(Psmt2Frontend__Smtlib_error) = efe3a5203e959e53e0aa5889c2a99835 ocamlx(Psmt2Frontend__Smtlib_lexer) = 0bab8f932e85d0c2fae7bfe0e117989c ocamlx(Psmt2Frontend__Smtlib_parser) = 739c11d3b4ca17a9fb601bbcdb54e3ae ocamlx(Psmt2Frontend__Smtlib_ty) = 4f2c7d94b6df9cfc6847990b96f57c15 ocamlx(Psmt2Frontend__Smtlib_typed_env) = 7346aaa2082bcd42014d4a9ffae3e1f7 ocamlx(Psmt2Frontend__Smtlib_typing) = 82ca5a838d10443122204674ab9ab4bb ocamlx(Ratio) = c3847c72138b19f08c119a637b07a4b9 ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91 ocamlx(Stdlib__Arg) = 2acd08567132e01005e15912478c8477 ocamlx(Stdlib__Array) = f60e35d8acec1785c65a87f78537da2c ocamlx(Stdlib__Bigarray) = 3b692b43672ee733a422ac0ed5b57172 ocamlx(Stdlib__Buffer) = 522ac1c72930929d5ca8eec4c28d400a ocamlx(Stdlib__Bytes) = da5b1e6e939f5fea0c99d7f4150d205e ocamlx(Stdlib__Domain) = 28b99e1ef9fd7a42befdf5e8da9f03ef ocamlx(Stdlib__Filename) = 654eff41ce827d3a6333b65300280264 ocamlx(Stdlib__Format) = ef7495b75c62e2c65ca462acdee7daec ocamlx(Stdlib__Hashtbl) = 23fcf7bf0ab96099e96c765f88713ef9 ocamlx(Stdlib__Lexing) = d26b3cfdbef89fde7473d718b600dc54 ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304 ocamlx(Stdlib__Parsing) = d24c365f1ed0d4bf8c59ea10832104d8 ocamlx(Stdlib__Printf) = 2c23a35f5bd8219881bb1e33df38ab75 ocamlx(Stdlib__Random) = 8d156f6209ac701e961934cdea2cc8f3 ocamlx(Stdlib__String) = 9d76c1d196a645651a9962b605af134d ocamlx(Stdlib__Sys) = fff5da2599c12a145ab964a91e749b2f ocamlx(Zip) = 41c61b8ff094f3de85ca3635ab7f5bdd Processing files: ocaml-alt-ergo-lib-2.3.3-23.fc42.ppc64le Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.NR6XCw + umask 022 + cd /builddir/build/BUILD/alt-ergo-2.3.3-build + cd alt-ergo-2.3.0-free + LICENSEDIR=/builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/LGPL-License.txt /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/LICENSE.md /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT/usr/share/licenses/ocaml-alt-ergo-lib + cp -pr /builddir/build/BUILD/alt-ergo-2.3.3-build/alt-ergo-2.3.0-free/License.OCamlPro /builddir/build/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) = 66d713999cb9419569073a93bd5dc97c 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) = 6bd41ad441313a6bfa1f62aa62b7ab73 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) = cc236f4f81a7810283307c91840ac793 ocaml(AltErgoLib__Input) = 1db00bd9a9901287acb6ee641a6589bd ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1b3c0f33b79acdcc442956bfb858fcc 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) = 117e3876dbfdce68ee5e6f5722300f3a ocaml(AltErgoLib__Options) = f0cfa16175650a167b3ed4c1b199db4a 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) = c27e359e9a92b14ccc7f458501e255d0 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) = 4353167d687935d27c940a53bf36c62f ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = 5a0fac7b053941db1776c87646d0c4d7 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = a74a39701a24f75bf1394694dcff9316 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml-alt-ergo-lib = 2.3.3-23.fc42 ocaml-alt-ergo-lib(ppc-64) = 2.3.3-23.fc42 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) = 66d713999cb9419569073a93bd5dc97c 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) = 6bd41ad441313a6bfa1f62aa62b7ab73 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) = cc236f4f81a7810283307c91840ac793 ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1b3c0f33b79acdcc442956bfb858fcc 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) = f0cfa16175650a167b3ed4c1b199db4a 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) = c27e359e9a92b14ccc7f458501e255d0 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) = 4353167d687935d27c940a53bf36c62f ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = 5a0fac7b053941db1776c87646d0c4d7 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = a74a39701a24f75bf1394694dcff9316 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1 ocaml(Dynlink) = fecb619bede234b520106e08984c0058 ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 ocaml(OcplibSimplex) = ee49c002ecc2436fa836cdd8395ec713 ocaml(Q) = fded9f6db30753026b5c2d3012382e71 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Bigarray) = 48d809166755e49b65071aace2089c7d 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) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Gc) = 2e5db60eb0fd380398134c2f54ffbbbb 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) = 47e4764001c77d7f7f16e12956f2a212 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) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620 ocaml(Str) = 1d8174cd9641eb96917de61a36ae468b ocaml(Unix) = 868346220c1cf1283db920a0b40698e5 ocaml(Z) = 344fdf1f860a9d8e1bb477fff2df886f rtld(GNU_HASH) Processing files: ocaml-alt-ergo-lib-devel-2.3.3-23.fc42.ppc64le Provides: ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6 ocaml(AltErgoLib__Ac) = 185b9ebcff7b9225e39357c42b2e67e1 ocaml(AltErgoLib__Adt) = 66d713999cb9419569073a93bd5dc97c 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) = 6bd41ad441313a6bfa1f62aa62b7ab73 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) = cc236f4f81a7810283307c91840ac793 ocaml(AltErgoLib__Input) = 1db00bd9a9901287acb6ee641a6589bd ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1b3c0f33b79acdcc442956bfb858fcc 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) = 117e3876dbfdce68ee5e6f5722300f3a ocaml(AltErgoLib__Options) = f0cfa16175650a167b3ed4c1b199db4a 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) = c27e359e9a92b14ccc7f458501e255d0 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) = 4353167d687935d27c940a53bf36c62f ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = 5a0fac7b053941db1776c87646d0c4d7 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = a74a39701a24f75bf1394694dcff9316 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml-alt-ergo-lib-devel = 2.3.3-23.fc42 ocaml-alt-ergo-lib-devel(ppc-64) = 2.3.3-23.fc42 ocamlx(AltErgoLib) = f0647bb742bda2a51afe4c3847e60193 ocamlx(AltErgoLib__Ac) = 7ed03803fbced5d3b4cd6cd6c867eee7 ocamlx(AltErgoLib__Adt) = c669cb5c32a9d9bb3bf11c3b62260581 ocamlx(AltErgoLib__Adt_rel) = ba1e8517c081470657addbeb6daaa2e6 ocamlx(AltErgoLib__Arith) = 1d2b799b57954c1d7957d431422beac2 ocamlx(AltErgoLib__Arrays) = c54a9f16311d1581d3ce4d5850c932b9 ocamlx(AltErgoLib__Arrays_rel) = 08a2a2d2e85d9e5a388b147de85f3c7d ocamlx(AltErgoLib__Bitv) = afd89cd5e6a030a5369265e9d5b39294 ocamlx(AltErgoLib__Bitv_rel) = 6317a69198789609c3652563ac4ac183 ocamlx(AltErgoLib__Ccx) = 0f98f5f2de21ae04d3c6b61fd663e392 ocamlx(AltErgoLib__Cnf) = cfca95afc360dbaa1319da10ca45b924 ocamlx(AltErgoLib__Commands) = e2ee3b9dbd7d1c1ea09c7fdb904bb496 ocamlx(AltErgoLib__Config) = a9797508538da0c95b9d8a42b91b18ba ocamlx(AltErgoLib__Emap) = ea4b3501f505534250378beb6fbb1fea ocamlx(AltErgoLib__Enum) = 24fb1c8ff9cefe56d63e1a032e8c3db1 ocamlx(AltErgoLib__Enum_rel) = f973a7c39ec74a1e9872dc45067118cc ocamlx(AltErgoLib__Errors) = d04362c4d4d63aebd861e2ddba41e41f ocamlx(AltErgoLib__Explanation) = 483bc534cd486d71e0fe86972275a707 ocamlx(AltErgoLib__Expr) = 3c3febe1d1ecd40bffd4ed133c97e2be ocamlx(AltErgoLib__Fpa_rounding) = 0007c10ce6d3f860a18f50868315bc53 ocamlx(AltErgoLib__Frontend) = 6449f3004e0261ddf1a56c2c056eee05 ocamlx(AltErgoLib__Fun_sat) = 6bc4e8fbaa6560a1ae537e0ea08054d7 ocamlx(AltErgoLib__Gc_debug) = 4f7a6c6560062cedcd5e670989b65934 ocamlx(AltErgoLib__Hconsing) = 960e786deffec4dc5cd06d12d9d6a48d ocamlx(AltErgoLib__Hstring) = 0bc35f09bd2471941cb933923cb04682 ocamlx(AltErgoLib__Iheap) = b67e673c8865cbb948f185044ba0e5c9 ocamlx(AltErgoLib__Inequalities) = 24b55b483f06a6361df0688fc6028d06 ocamlx(AltErgoLib__Input) = 705de51f2051a505a203d6f9dc375993 ocamlx(AltErgoLib__Instances) = cf6f9d977eb0b8a8fdfce83dff66e8bd ocamlx(AltErgoLib__IntervalCalculus) = 143293780f390881669b8d8866df6702 ocamlx(AltErgoLib__Intervals) = afc920f38aaa708a00ded5ce5024405a ocamlx(AltErgoLib__Ite) = 0fbeb901efae95179561c2c1a5673738 ocamlx(AltErgoLib__Ite_rel) = 4a7db796a1b4bac374f8082d46e837d5 ocamlx(AltErgoLib__Lists) = ead21e451cc4d7aab393af0715c49885 ocamlx(AltErgoLib__Loc) = 0a21c579a5998fd79a23567199dc7b3a ocamlx(AltErgoLib__Matching) = d0f0d94cec8bc9d553261b441ddef14e ocamlx(AltErgoLib__MyDynlink) = ceb87f5c5b76f72506377398b105b5a1 ocamlx(AltErgoLib__MyUnix) = f2ea704f5caa3d2ae22230075f4fb647 ocamlx(AltErgoLib__Numbers) = 32279db73729d24f57f2479745a22be6 ocamlx(AltErgoLib__NumsNumbers) = 6c0efa8804ba41cbb2c6cf8af0d4d8ff ocamlx(AltErgoLib__Options) = 7a0bf6d7ffa7102b5d40af5c1fcf0c90 ocamlx(AltErgoLib__Parsed) = 64102fcf1afdc743c5c105b43974350a ocamlx(AltErgoLib__Parsed_interface) = 5d0273da5b650430c59a4fa62a22dbd4 ocamlx(AltErgoLib__Polynome) = f95fedcf03f0c65c90b4127c22a72d02 ocamlx(AltErgoLib__Profiling) = 508e2ab7361c4252987e92828569acaf ocamlx(AltErgoLib__Records) = 28662e4726e645295e3a61804f6883cf ocamlx(AltErgoLib__Records_rel) = 04a46d528d1d0c57f1f8aaa756281b60 ocamlx(AltErgoLib__Relation) = f3da815ef6e32f0df9661038b9434302 ocamlx(AltErgoLib__Sat_solver) = 99fd0ba2fd3a7168acc5be5b4791fafc ocamlx(AltErgoLib__Sat_solver_sig) = eb5de4de5e87ed0a1ac9697f52b4d5e5 ocamlx(AltErgoLib__Satml) = e3499e845cb1d481f017183fb8716672 ocamlx(AltErgoLib__Satml_frontend) = e0fac060ab496bba2fa36b0c3629d2c8 ocamlx(AltErgoLib__Satml_frontend_hybrid) = 35e47bc3175fe5996d15d2110a701f97 ocamlx(AltErgoLib__Satml_types) = c4adb3a5d4b56c8036766edf1f10c203 ocamlx(AltErgoLib__Shostak) = af0b3868e9e78b66e6f1dc998571d66b ocamlx(AltErgoLib__Symbols) = 6564cd87ded650f413672e1836fe08f9 ocamlx(AltErgoLib__Th_util) = 6aff9cdb11db9328d2e332cfd3dd5661 ocamlx(AltErgoLib__Theory) = 8f83d1aee24b7c14142b1248b92d664c ocamlx(AltErgoLib__Timers) = 1ec130826e6a1bee9be2446da9431eff ocamlx(AltErgoLib__Ty) = 26582d272c9739b385f1f303f56767c7 ocamlx(AltErgoLib__Typechecker) = d5d61b7828e31c7cabeacea9de2f4e10 ocamlx(AltErgoLib__Typed) = ed6e97efd504129522cf4c427c00d1ca ocamlx(AltErgoLib__Uf) = 50cd65c9545c2bbc7d95d6c16088411a ocamlx(AltErgoLib__Use) = 423c5ce23c56871ffb7951f9d9da4a16 ocamlx(AltErgoLib__Util) = b79ae1f1779eebe3bcc04cbc0a0f656b ocamlx(AltErgoLib__Var) = 0f713830b8a3652cfc3b84db1fe1a384 ocamlx(AltErgoLib__Vec) = d62ce5b78b1250c886797019be0586f0 ocamlx(AltErgoLib__Version) = 00c4c07daa93e25cda97d75d4b7faa6d ocamlx(AltErgoLib__Xliteral) = 003822e5fb5cb53321eb88564e875f7c ocamlx(AltErgoLib__ZarithNumbers) = ac3774c98d99f196c6f71844f741c68b 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) = 66d713999cb9419569073a93bd5dc97c 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) = 6bd41ad441313a6bfa1f62aa62b7ab73 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) = cc236f4f81a7810283307c91840ac793 ocaml(AltErgoLib__Instances) = 2538a6dbc27ef711fff5a110c48711e7 ocaml(AltErgoLib__IntervalCalculus) = cf803263614e5db72e80f4663fea0d78 ocaml(AltErgoLib__Intervals) = e1b3c0f33b79acdcc442956bfb858fcc 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) = f0cfa16175650a167b3ed4c1b199db4a 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) = c27e359e9a92b14ccc7f458501e255d0 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) = 4353167d687935d27c940a53bf36c62f ocaml(AltErgoLib__Use) = 877a0cebb1f7f21d1a95356a92d4edaa ocaml(AltErgoLib__Util) = 5a0fac7b053941db1776c87646d0c4d7 ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1 ocaml(AltErgoLib__Vec) = 48419850acf53cb7699ba4704694355d ocaml(AltErgoLib__Version) = b673a1f32cb44386b0e0f515fdbe8a62 ocaml(AltErgoLib__Xliteral) = a74a39701a24f75bf1394694dcff9316 ocaml(AltErgoLib__ZarithNumbers) = 256d2d0839f3f2e85b4576c703724f38 ocaml(Big_int) = 95f7afc733bb819b14d9f5d40cfc1d0a ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65 ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848 ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1 ocaml(Dynlink) = fecb619bede234b520106e08984c0058 ocaml(Nat) = e5e220633f62b6c7ea0d5d4292547d26 ocaml(Num) = 743ea4dc42e18534b5ae89b68cf0d435 ocaml(OcplibSimplex) = ee49c002ecc2436fa836cdd8395ec713 ocaml(Q) = fded9f6db30753026b5c2d3012382e71 ocaml(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7 ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38 ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c ocaml(Stdlib__Bigarray) = 48d809166755e49b65071aace2089c7d 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) = 0ebac7e879592236ff0000cd94267ec7 ocaml(Stdlib__Gc) = 2e5db60eb0fd380398134c2f54ffbbbb 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) = 47e4764001c77d7f7f16e12956f2a212 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) = 66354f6059cb641dc3f838c42610c2f7 ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515 ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620 ocaml(Str) = 1d8174cd9641eb96917de61a36ae468b ocaml(Unix) = 868346220c1cf1283db920a0b40698e5 ocaml(Z) = 344fdf1f860a9d8e1bb477fff2df886f ocamlx(Arith_flags) = 47817eb84db214dbcb58d1f8ec3bb132 ocamlx(Big_int) = 93cf304b087a959a8380c2d8c0f2c18d ocamlx(CamlinternalFormat) = 30f7d437e20daeae51e0434e3375a33f ocamlx(CamlinternalFormatBasics) = 9a4b29f13d1e7f737f80587da2a10cdf ocamlx(CamlinternalLazy) = d4c9fe4e527d1d8bec18a14c211242dc ocamlx(CamlinternalMod) = 71320cf1016027a1a0c3086cdab96203 ocamlx(CamlinternalOO) = ac4d395c1d864d8e3cff541376c07b7b ocamlx(Dynlink) = 3506ef26fa27e6258a849cfd5987e3be ocamlx(Dynlink_types) = 58e9892c44dc1a13c0afe7df55cd406f ocamlx(Nat) = 59642a5056bb78b540628168ce9cc931 ocamlx(Num) = 7a435aacde0f1f4904f2e15d9dfcc624 ocamlx(OcplibSimplex) = af53cef34d5ee1971644d365d56245e7 ocamlx(Q) = 46fb9551075f9ed3d3b463c721453749 ocamlx(Ratio) = c3847c72138b19f08c119a637b07a4b9 ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91 ocamlx(Stdlib__Arg) = 2acd08567132e01005e15912478c8477 ocamlx(Stdlib__Array) = f60e35d8acec1785c65a87f78537da2c ocamlx(Stdlib__Bigarray) = 3b692b43672ee733a422ac0ed5b57172 ocamlx(Stdlib__Buffer) = 522ac1c72930929d5ca8eec4c28d400a ocamlx(Stdlib__Bytes) = da5b1e6e939f5fea0c99d7f4150d205e ocamlx(Stdlib__Char) = 97160a7c0c91803185a52780c7c16987 ocamlx(Stdlib__Domain) = 28b99e1ef9fd7a42befdf5e8da9f03ef ocamlx(Stdlib__Filename) = 654eff41ce827d3a6333b65300280264 ocamlx(Stdlib__Format) = ef7495b75c62e2c65ca462acdee7daec ocamlx(Stdlib__Gc) = c5ef2f21d3404e3c18aa32a29780e5c1 ocamlx(Stdlib__Hashtbl) = 23fcf7bf0ab96099e96c765f88713ef9 ocamlx(Stdlib__Int64) = e1e2832c9d72b66741e3ea1bbbe2e8a6 ocamlx(Stdlib__Lexing) = d26b3cfdbef89fde7473d718b600dc54 ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304 ocamlx(Stdlib__Map) = 79c55b607df9d42db4796c26bd3a1653 ocamlx(Stdlib__Obj) = 962134a3fc2697fc8fad7d52153cebae ocamlx(Stdlib__Parsing) = d24c365f1ed0d4bf8c59ea10832104d8 ocamlx(Stdlib__Printexc) = 30c018807659d75792ca3b22b3ab6b6f ocamlx(Stdlib__Printf) = 2c23a35f5bd8219881bb1e33df38ab75 ocamlx(Stdlib__Queue) = ea0b7eeffd3b617a476e3fa8e7c61164 ocamlx(Stdlib__Random) = 8d156f6209ac701e961934cdea2cc8f3 ocamlx(Stdlib__Scanf) = 0feda48cb3e2c95b7b5daed7775f2f6b ocamlx(Stdlib__Set) = 2e045f19a9e9d9a20ca8a3b83449169f ocamlx(Stdlib__Stack) = 8e6716185e343e0e167fe84b3f6ae040 ocamlx(Stdlib__String) = 9d76c1d196a645651a9962b605af134d ocamlx(Stdlib__Sys) = fff5da2599c12a145ab964a91e749b2f ocamlx(Stdlib__Weak) = e5b83468497609c78749604d6cc8331b ocamlx(Str) = 5226ce9fe0a5ffd081af0729b0492740 ocamlx(Unix) = 3a381fc6649df33bd51cd8b305797e8d ocamlx(Z) = c9624fa9a06696e7d11df7e401883eef Processing files: alt-ergo-debugsource-2.3.3-23.fc42.ppc64le Provides: alt-ergo-debugsource = 2.3.3-23.fc42 alt-ergo-debugsource(ppc-64) = 2.3.3-23.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: alt-ergo-debuginfo-2.3.3-23.fc42.ppc64le Provides: alt-ergo-debuginfo = 2.3.3-23.fc42 alt-ergo-debuginfo(ppc-64) = 2.3.3-23.fc42 debuginfo(build-id) = 79a7d41dc5a6e0b13687e9307785dbe09e33fb50 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(ppc-64) = 2.3.3-23.fc42 Processing files: alt-ergo-gui-debuginfo-2.3.3-23.fc42.ppc64le Provides: alt-ergo-gui-debuginfo = 2.3.3-23.fc42 alt-ergo-gui-debuginfo(ppc-64) = 2.3.3-23.fc42 debuginfo(build-id) = 21336d671edb9f3e310b33af9034b11da340979d Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(ppc-64) = 2.3.3-23.fc42 Processing files: ocaml-alt-ergo-parsers-debuginfo-2.3.3-23.fc42.ppc64le Provides: debuginfo(build-id) = 834ed6ee0b41da37a2e14fb0a13cc6630d2f6791 ocaml-alt-ergo-parsers-debuginfo = 2.3.3-23.fc42 ocaml-alt-ergo-parsers-debuginfo(ppc-64) = 2.3.3-23.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(ppc-64) = 2.3.3-23.fc42 Processing files: ocaml-alt-ergo-lib-debuginfo-2.3.3-23.fc42.ppc64le Provides: debuginfo(build-id) = 83db37bf262590a71c4012dec710ba12aa18fd5b ocaml-alt-ergo-lib-debuginfo = 2.3.3-23.fc42 ocaml-alt-ergo-lib-debuginfo(ppc-64) = 2.3.3-23.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: alt-ergo-debugsource(ppc-64) = 2.3.3-23.fc42 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/alt-ergo-2.3.3-build/BUILDROOT Wrote: /builddir/build/RPMS/alt-ergo-gui-debuginfo-2.3.3-23.fc42.ppc64le.rpm Wrote: /builddir/build/RPMS/alt-ergo-debuginfo-2.3.3-23.fc42.ppc64le.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-2.3.3-23.fc42.ppc64le.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-devel-2.3.3-23.fc42.ppc64le.rpm Wrote: /builddir/build/RPMS/alt-ergo-debugsource-2.3.3-23.fc42.ppc64le.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-debuginfo-2.3.3-23.fc42.ppc64le.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-debuginfo-2.3.3-23.fc42.ppc64le.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-parsers-2.3.3-23.fc42.ppc64le.rpm Wrote: /builddir/build/RPMS/alt-ergo-2.3.3-23.fc42.ppc64le.rpm Wrote: /builddir/build/RPMS/alt-ergo-gui-2.3.3-23.fc42.ppc64le.rpm Wrote: /builddir/build/RPMS/ocaml-alt-ergo-lib-devel-2.3.3-23.fc42.ppc64le.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.i8FxgY + umask 022 + cd /builddir/build/BUILD/alt-ergo-2.3.3-build + test -d /builddir/build/BUILD/alt-ergo-2.3.3-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/alt-ergo-2.3.3-build + rm -rf /builddir/build/BUILD/alt-ergo-2.3.3-build + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild alt-ergo-2.3.3-23.fc42.src.rpm Finish: build phase for alt-ergo-2.3.3-23.fc42.src.rpm INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-ppc64le-1734997652.039448/root/var/log/dnf5.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names INFO: Done(/var/lib/copr-rpmbuild/results/alt-ergo-2.3.3-23.fc42.src.rpm) Config(child) 1 minutes 2 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot Finish: run Running RPMResults tool Package info: { "packages": [ { "name": "ocaml-alt-ergo-lib-devel", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" }, { "name": "alt-ergo-gui-debuginfo", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" }, { "name": "ocaml-alt-ergo-lib-debuginfo", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" }, { "name": "alt-ergo-gui", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" }, { "name": "ocaml-alt-ergo-parsers", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" }, { "name": "alt-ergo-debugsource", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" }, { "name": "alt-ergo", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "src" }, { "name": "alt-ergo", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" }, { "name": "ocaml-alt-ergo-parsers-devel", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" }, { "name": "alt-ergo-debuginfo", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" }, { "name": "ocaml-alt-ergo-parsers-debuginfo", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" }, { "name": "ocaml-alt-ergo-lib", "epoch": null, "version": "2.3.3", "release": "23.fc42", "arch": "ppc64le" } ] } RPMResults finished