Warning: Permanently added '13.122.92.220' (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/8421030-fedora-rawhide-s390x --chroot fedora-rawhide-s390x Version: 1.2 PID: 31864 Logging PID: 31865 Task: {'allow_user_ssh': False, 'appstream': False, 'background': True, 'build_id': 8421030, 'buildroot_pkgs': [], 'chroot': 'fedora-rawhide-s390x', 'enable_net': False, 'fedora_review': False, 'git_hash': 'e3ecf23c7029c8f93356e718e2f79f6eb17dad58', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/dmalcolm/gcc-15-smoketest-3/gappalib-coq', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'gappalib-coq', 'package_version': '1.5.5-5', 'project_dirname': 'gcc-15-smoketest-3', 'project_name': 'gcc-15-smoketest-3', 'project_owner': 'dmalcolm', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/dmalcolm/gcc-15-smoketest-3/fedora-rawhide-s390x/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}, {'baseurl': 'https://fedorapeople.org/~dmalcolm/gcc/gcc-15-mass-prebuild/$basearch', 'id': 'https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch', 'name': 'Additional repo https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch'}], 'sandbox': 'dmalcolm/gcc-15-smoketest-3--dmalcolm', 'source_json': {}, 'source_type': None, 'ssh_public_keys': None, 'storage': 0, 'submitter': 'dmalcolm', 'tags': [], 'task_id': '8421030-fedora-rawhide-s390x', 'timeout': 115200, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/dmalcolm/gcc-15-smoketest-3/gappalib-coq /var/lib/copr-rpmbuild/workspace/workdir-kb__g0pn/gappalib-coq --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/dmalcolm/gcc-15-smoketest-3/gappalib-coq', '/var/lib/copr-rpmbuild/workspace/workdir-kb__g0pn/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-kb__g0pn/gappalib-coq'... Running: git checkout e3ecf23c7029c8f93356e718e2f79f6eb17dad58 -- cmd: ['git', 'checkout', 'e3ecf23c7029c8f93356e718e2f79f6eb17dad58', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-kb__g0pn/gappalib-coq rc: 0 stdout: stderr: Note: switching to 'e3ecf23c7029c8f93356e718e2f79f6eb17dad58'. 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 e3ecf23 automatic import of gappalib-coq Running: dist-git-client sources cmd: ['dist-git-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-kb__g0pn/gappalib-coq rc: 0 stdout: stderr: INFO: Reading stdout from command: git rev-parse --abbrev-ref HEAD INFO: Reading stdout from command: git rev-parse HEAD INFO: Reading sources specification file: sources INFO: Downloading gappalib-coq-1.5.5.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o gappalib-coq-1.5.5.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/dmalcolm/gcc-15-smoketest-3/gappalib-coq/gappalib-coq-1.5.5.tar.gz/md5/407edcd411a4d3e557f43d153bfc8649/gappalib-coq-1.5.5.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 82143 100 82143 0 0 151k 0 --:--:-- --:--:-- --:--:-- 151k INFO: Reading stdout from command: md5sum gappalib-coq-1.5.5.tar.gz /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated Running (timeout=115200): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-kb__g0pn/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-kb__g0pn/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1734855016.254817 -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-kb__g0pn/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-kb__g0pn/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1734855016.254817 -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-kb__g0pn/gappalib-coq/gappalib-coq.spec) Config(fedora-rawhide-s390x) 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-s390x-bootstrap-1734855016.254817/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-34535526-4ed3-43ad-8a62-cae475ca8803 INFO: Checking that 443d4e269e67e018c72710eea63583450e355c996d0687f218c01c167d477d11 image matches host's architecture INFO: Copy content of container 443d4e269e67e018c72710eea63583450e355c996d0687f218c01c167d477d11 to /var/lib/mock/fedora-rawhide-s390x-bootstrap-1734855016.254817/root INFO: mounting 443d4e269e67e018c72710eea63583450e355c996d0687f218c01c167d477d11 with podman image mount INFO: image 443d4e269e67e018c72710eea63583450e355c996d0687f218c01c167d477d11 as /var/lib/containers/storage/overlay/716b0d5490ae789edf313104f98eea21ae78d2f65bb5813f549c17127ba1a51b/merged INFO: umounting image 443d4e269e67e018c72710eea63583450e355c996d0687f218c01c167d477d11 (/var/lib/containers/storage/overlay/716b0d5490ae789edf313104f98eea21ae78d2f65bb5813f549c17127ba1a51b/merged) with podman image umount INFO: Removing image mock-bootstrap-34535526-4ed3-43ad-8a62-cae475ca8803 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-s390x-1734855016.254817/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.s390x rpm-sequoia-1.7.0-3.fc42.s390x dnf5-5.2.8.1-2.fc42.s390x dnf5-plugins-5.2.8.1-2.fc42.s390x Start: installing minimal buildroot with dnf5 Updating and loading repositories: fedora 100% | 12.6 KiB/s | 5.8 KiB | 00m00s Copr repository 100% | 2.6 KiB/s | 1.5 KiB | 00m01s Additional repo https_fedorapeople_org 100% | 4.6 KiB/s | 1.5 KiB | 00m00s Copr repository 100% | 2.4 MiB/s | 2.4 MiB | 00m01s Repositories loaded. Package Arch Version Repository Size Installing group/module packages: bash s390x 5.2.37-1.fc42 fedora 8.4 MiB bzip2 s390x 1.0.8-19.fc42 copr_base 84.4 KiB coreutils s390x 9.5-11.fc42 fedora 5.7 MiB cpio s390x 2.15-2.fc41 fedora 1.1 MiB diffutils s390x 3.10-8.fc42 copr_base 1.6 MiB fedora-release-common noarch 42-0.11 fedora 19.8 KiB findutils s390x 1:4.10.0-4.fc42 copr_base 1.9 MiB gawk s390x 5.3.0-4.fc41 fedora 1.8 MiB glibc-minimal-langpack s390x 2.40.9000-24.fc42 fedora 0.0 B grep s390x 3.11-9.fc41 fedora 1.0 MiB gzip s390x 1.13-2.fc41 fedora 400.8 KiB info s390x 7.1.1-2.fc42 fedora 409.1 KiB patch s390x 2.7.6-25.fc41 fedora 298.3 KiB redhat-rpm-config noarch 300-1.no_annobin.0.fc42 copr_base 186.6 KiB rpm-build s390x 4.20.0-1.fc42 fedora 200.4 KiB sed s390x 4.9-3.fc41 fedora 873.2 KiB shadow-utils s390x 2:4.17.0~rc1-1.fc42 fedora 4.0 MiB tar s390x 2:1.35-4.fc41 fedora 3.0 MiB unzip s390x 6.0-65.fc42 fedora 2.2 MiB util-linux s390x 2.40.2-8.fc42 fedora 3.7 MiB which s390x 2.21-42.fc41 fedora 83.9 KiB xz s390x 1:5.6.3-2.fc42 fedora 1.2 MiB Installing dependencies: add-determinism s390x 0.4.3-1.fc42 fedora 3.3 MiB alternatives s390x 1.31-1.fc42 fedora 60.6 KiB ansible-srpm-macros noarch 1-16.fc41 fedora 35.7 KiB audit-libs s390x 4.0.2-1.fc42 copr_base 342.9 KiB authselect s390x 1.5.0-8.fc42 copr_base 151.8 KiB authselect-libs s390x 1.5.0-8.fc42 copr_base 817.4 KiB basesystem noarch 11-21.fc41 fedora 0.0 B binutils s390x 2.43.50-9.fc42 copr_base 26.9 MiB build-reproducibility-srpm-macros noarch 0.4.3-1.fc42 fedora 735.0 B bzip2-libs s390x 1.0.8-19.fc42 copr_base 82.9 KiB ca-certificates noarch 2024.2.69_v8.0.401-3.fc42 fedora 2.6 MiB coreutils-common s390x 9.5-11.fc42 fedora 11.2 MiB cracklib s390x 2.9.11-6.fc42 copr_base 225.2 KiB crypto-policies noarch 20241128-1.gitbb7b0b0.fc42 fedora 137.3 KiB curl s390x 8.11.1-2.fc42 copr_base 475.8 KiB cyrus-sasl-lib s390x 2.1.28-27.fc41 fedora 2.4 MiB debugedit s390x 5.1-2.fc42 copr_base 193.2 KiB dwz s390x 0.15-8.fc42 copr_base 307.5 KiB ed s390x 1.20.2-2.fc41 fedora 150.6 KiB efi-srpm-macros noarch 5-13.fc42 fedora 40.2 KiB elfutils s390x 0.192-7.fc42 copr_base 2.9 MiB elfutils-debuginfod-client s390x 0.192-7.fc42 copr_base 73.0 KiB elfutils-default-yama-scope noarch 0.192-7.fc42 copr_base 1.8 KiB elfutils-libelf s390x 0.192-7.fc42 copr_base 1.2 MiB elfutils-libs s390x 0.192-7.fc42 copr_base 746.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 s390x 5.45-8.fc42 fedora 99.3 KiB file-libs s390x 5.45-8.fc42 fedora 9.9 MiB filesystem s390x 3.18-29.fc42 fedora 106.0 B filesystem-srpm-macros noarch 3.18-29.fc42 fedora 36.1 KiB 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 s390x 15.2-4.fc42 fedora 14.7 MiB gdbm s390x 1:1.23-7.fc41 fedora 483.9 KiB gdbm-libs s390x 1:1.23-7.fc41 fedora 133.4 KiB ghc-srpm-macros noarch 1.9.2-1.fc42 fedora 779.0 B glibc s390x 2.40.9000-24.fc42 fedora 5.1 MiB glibc-common s390x 2.40.9000-24.fc42 fedora 1.1 MiB glibc-gconv-extra s390x 2.40.9000-24.fc42 fedora 6.5 MiB gmp s390x 1:6.3.0-2.fc41 fedora 770.0 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 s390x 2.14-1.fc42 fedora 92.9 KiB json-c s390x 0.18-1.fc42 fedora 82.9 KiB kernel-srpm-macros noarch 1.0-24.fc41 fedora 1.9 KiB keyutils-libs s390x 1.6.3-4.fc41 fedora 54.2 KiB krb5-libs s390x 1.21.3-3.fc42 fedora 2.4 MiB libacl s390x 2.3.2-2.fc42 copr_base 34.1 KiB libarchive s390x 3.7.7-1.fc42 fedora 1.0 MiB libattr s390x 2.5.2-4.fc41 fedora 28.3 KiB libblkid s390x 2.40.2-8.fc42 fedora 286.4 KiB libbrotli s390x 1.1.0-5.fc42 copr_base 903.7 KiB libcap s390x 2.71-1.fc42 fedora 211.8 KiB libcap-ng s390x 0.8.5-3.fc41 fedora 76.7 KiB libcom_err s390x 1.47.1-6.fc42 fedora 67.0 KiB libcurl s390x 8.11.1-2.fc42 copr_base 857.0 KiB libeconf s390x 0.7.5-1.fc42 fedora 62.5 KiB libevent s390x 2.1.12-14.fc41 fedora 938.8 KiB libfdisk s390x 2.40.2-8.fc42 fedora 394.8 KiB libffi s390x 3.4.6-3.fc42 fedora 65.9 KiB libgcc s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 166.7 KiB libgomp s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 529.0 KiB libidn2 s390x 2.3.7-2.fc41 fedora 328.9 KiB libmount s390x 2.40.2-8.fc42 fedora 375.8 KiB libnghttp2 s390x 1.64.0-1.fc42 fedora 177.9 KiB libpkgconf s390x 2.3.0-1.fc42 fedora 85.9 KiB libpsl s390x 0.21.5-4.fc41 fedora 80.3 KiB libpwquality s390x 1.4.5-11.fc41 fedora 420.9 KiB libselinux s390x 3.8-0.rc3.1.fc42 fedora 203.4 KiB libsemanage s390x 3.8-0.rc3.1.fc42 fedora 305.1 KiB libsepol s390x 3.8-0.rc3.1.fc42 fedora 840.1 KiB libsmartcols s390x 2.40.2-8.fc42 fedora 192.2 KiB libssh s390x 0.11.1-1.fc42 fedora 585.3 KiB libssh-config noarch 0.11.1-1.fc42 fedora 277.0 B libstdc++ s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 3.1 MiB libtasn1 s390x 4.19.0-9.fc41 fedora 187.5 KiB libtirpc s390x 1.3.6-1.fc42 fedora 212.5 KiB libtool-ltdl s390x 2.5.4-1.fc42 copr_base 67.9 KiB libunistring s390x 1.1-8.fc41 fedora 1.8 MiB libuuid s390x 2.40.2-8.fc42 fedora 41.2 KiB libverto s390x 0.3.2-9.fc41 fedora 29.3 KiB libxcrypt s390x 4.4.36-12.fc42 fedora 269.1 KiB libxml2 s390x 2.12.8-2.fc41 fedora 1.9 MiB libzstd s390x 1.5.6-2.fc41 fedora 875.7 KiB lua-libs s390x 5.4.7-1.fc42 fedora 328.8 KiB lua-srpm-macros noarch 1-14.fc41 fedora 1.3 KiB lz4-libs s390x 1.10.0-1.fc41 fedora 201.3 KiB mpfr s390x 4.2.1-5.fc41 fedora 698.7 KiB ncurses-base noarch 6.5-2.20240629.fc41 fedora 326.3 KiB ncurses-libs s390x 6.5-2.20240629.fc41 fedora 1.1 MiB ocaml-srpm-macros noarch 10-3.fc41 fedora 1.9 KiB openblas-srpm-macros noarch 2-18.fc41 fedora 112.0 B openldap s390x 2.6.8-6.fc42 fedora 654.5 KiB openssl-libs s390x 1:3.2.2-8.fc42 fedora 6.1 MiB p11-kit s390x 0.25.5-4.fc42 fedora 2.5 MiB p11-kit-trust s390x 0.25.5-4.fc42 fedora 479.2 KiB package-notes-srpm-macros noarch 0.5-12.fc41 fedora 1.6 KiB pam s390x 1.7.0-3.fc42 fedora 1.5 MiB pam-libs s390x 1.7.0-3.fc42 fedora 122.5 KiB pcre2 s390x 10.44-1.fc41.1 fedora 684.9 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 s390x 2.3.0-1.fc42 fedora 92.4 KiB pkgconf-m4 noarch 2.3.0-1.fc42 fedora 14.4 KiB pkgconf-pkg-config s390x 2.3.0-1.fc42 fedora 988.0 B popt s390x 1.19-7.fc41 fedora 144.7 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 s390x 8.2-11.fc42 fedora 556.8 KiB rpm s390x 4.20.0-1.fc42 fedora 3.1 MiB rpm-build-libs s390x 4.20.0-1.fc42 fedora 218.4 KiB rpm-libs s390x 4.20.0-1.fc42 fedora 813.6 KiB rpm-sequoia s390x 1.7.0-3.fc42 fedora 3.2 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 s390x 3.47.2-1.fc42 fedora 1.6 MiB systemd-libs s390x 257.1-1.fc42 fedora 2.2 MiB util-linux-core s390x 2.40.2-8.fc42 fedora 1.5 MiB xxhash-libs s390x 0.8.2-4.fc42 fedora 68.0 KiB xz-libs s390x 1:5.6.3-2.fc42 fedora 226.1 KiB zig-srpm-macros noarch 1-3.fc41 fedora 1.1 KiB zip s390x 3.0-42.fc42 fedora 723.1 KiB zlib-ng-compat s390x 2.2.2-1.fc42 fedora 109.4 KiB zstd s390x 1.5.6-2.fc41 fedora 1.8 MiB Installing groups: Buildsystem building group Transaction Summary: Installing: 154 packages Total size of inbound packages is 53 MiB. Need to download 0 B. After this operation, 183 MiB extra will be used (install 183 MiB, remove 0 B). [1/1] tar-2:1.35-4.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [1/1] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/2] rpm-build-0:4.20.0-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [2/2] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/3] unzip-0:6.0-65.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [3/3] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/4] cpio-0:2.15-2.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [4/4] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/5] which-0:2.21-42.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [5/5] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/6] bash-0:5.2.37-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [6/6] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/7] coreutils-0:9.5-11.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [7/7] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/8] grep-0:3.11-9.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [8/8] Total 100% | 0.0 B/s | 0.0 B | 00m00s [1/9] patch-0:2.7.6-25.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [9/9] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/10] sed-0:4.9-3.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [10/10] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/11] shadow-utils-2:4.17.0~rc1-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [11/11] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/12] util-linux-0:2.40.2-8.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [12/12] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/13] fedora-release-common-0:42-0.11 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [13/13] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/14] gawk-0:5.3.0-4.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [14/14] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/15] glibc-minimal-langpack-0:2.40.9 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [15/15] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/16] gzip-0:1.13-2.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [16/16] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/17] info-0:7.1.1-2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [17/17] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/18] xz-1:5.6.3-2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [18/18] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/19] bzip2-0:1.0.8-19.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [19/19] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/20] redhat-rpm-config-0:300-1.no_an 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [20/20] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/21] diffutils-0:3.10-8.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [21/21] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/22] findutils-1:4.10.0-4.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [22/22] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/23] glibc-0:2.40.9000-24.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [23/23] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/24] libselinux-0:3.8-0.rc3.1.fc42.s 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [24/24] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/25] file-0:5.45-8.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [25/25] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/26] libarchive-0:3.7.7-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [26/26] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/27] pkgconf-pkg-config-0:2.3.0-1.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [27/27] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/28] popt-0:1.19-7.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [28/28] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/29] readline-0:8.2-11.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [29/29] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/30] rpm-0:4.20.0-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [30/30] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/31] rpm-build-libs-0:4.20.0-1.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [31/31] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/32] rpm-libs-0:4.20.0-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [32/32] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/33] zstd-0:1.5.6-2.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [33/33] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/34] filesystem-0:3.18-29.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [34/34] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/35] ncurses-libs-0:6.5-2.20240629.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [35/35] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/36] coreutils-common-0:9.5-11.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [36/36] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/37] gmp-1:6.3.0-2.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [37/37] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/38] libattr-0:2.5.2-4.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [38/38] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/39] libcap-0:2.71-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [39/39] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/40] openssl-libs-1:3.2.2-8.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [40/40] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/41] systemd-libs-0:257.1-1.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [41/41] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/42] pcre2-0:10.44-1.fc41.1.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [42/42] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/43] ed-0:1.20.2-2.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [43/43] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/44] libeconf-0:0.7.5-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [44/44] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/45] libsemanage-0:3.8-0.rc3.1.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [45/45] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/46] libxcrypt-0:4.4.36-12.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [46/46] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/47] pam-libs-0:1.7.0-3.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [47/47] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/48] setup-0:2.15.0-5.fc41.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [48/48] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/49] libblkid-0:2.40.2-8.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [49/49] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/50] libcap-ng-0:0.8.5-3.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [50/50] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/51] libfdisk-0:2.40.2-8.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [51/51] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/52] libmount-0:2.40.2-8.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [52/52] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/53] libsmartcols-0:2.40.2-8.fc42.s3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [53/53] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/54] libuuid-0:2.40.2-8.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [54/54] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/55] pam-0:1.7.0-3.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [55/55] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/56] util-linux-core-0:2.40.2-8.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [56/56] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/57] zlib-ng-compat-0:2.2.2-1.fc42.s 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [57/57] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/58] fedora-repos-0:42-0.3.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [58/58] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/59] mpfr-0:4.2.1-5.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [59/59] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/60] glibc-common-0:2.40.9000-24.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [60/60] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/61] xz-libs-1:5.6.3-2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [61/61] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/62] ansible-srpm-macros-0:1-16.fc41 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [62/62] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/63] build-reproducibility-srpm-macr 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [63/63] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/64] efi-srpm-macros-0:5-13.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [64/64] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/65] filesystem-srpm-macros-0:3.18-2 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [65/65] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/66] fonts-srpm-macros-1:2.0.5-17.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [66/66] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/67] forge-srpm-macros-0:0.4.0-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [67/67] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/68] fpc-srpm-macros-0:1.3-13.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [68/68] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/69] ghc-srpm-macros-0:1.9.2-1.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [69/69] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/70] gnat-srpm-macros-0:6-6.fc41.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [70/70] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/71] go-srpm-macros-0:3.6.0-5.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [71/71] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/72] kernel-srpm-macros-0:1.0-24.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [72/72] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/73] lua-srpm-macros-0:1-14.fc41.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [73/73] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/74] ocaml-srpm-macros-0:10-3.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [74/74] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/75] openblas-srpm-macros-0:2-18.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [75/75] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/76] package-notes-srpm-macros-0:0.5 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [76/76] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/77] perl-srpm-macros-0:1-56.fc41.no 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [77/77] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/78] pyproject-srpm-macros-0:1.16.3- 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [78/78] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/79] python-srpm-macros-0:3.13-3.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [79/79] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/80] qt5-srpm-macros-0:5.15.15-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [80/80] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/81] qt6-srpm-macros-0:6.8.1-4.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [81/81] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/82] rust-srpm-macros-0:26.3-3.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [82/82] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/83] zig-srpm-macros-0:1-3.fc41.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [83/83] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/84] zip-0:3.0-42.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [84/84] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/85] glibc-gconv-extra-0:2.40.9000-2 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [85/85] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/86] basesystem-0:11-21.fc41.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [86/86] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/87] libsepol-0:3.8-0.rc3.1.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [87/87] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/88] file-libs-0:5.45-8.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [88/88] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/89] libxml2-0:2.12.8-2.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [89/89] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/90] libzstd-0:1.5.6-2.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [90/90] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/91] lz4-libs-0:1.10.0-1.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [91/91] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/92] pkgconf-0:2.3.0-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [92/92] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/93] pkgconf-m4-0:2.3.0-1.fc42.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [93/93] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/94] lua-libs-0:5.4.7-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [94/94] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/95] rpm-sequoia-0:1.7.0-3.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [95/95] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/96] sqlite-libs-0:3.47.2-1.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [96/96] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/97] ncurses-base-0:6.5-2.20240629.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [97/97] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/98] ca-certificates-0:2024.2.69_v8. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [98/98] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/99] crypto-policies-0:20241128-1.gi 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [99/99] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/100] pcre2-syntax-0:10.44-1.fc41.1 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [100/100] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/101] gdbm-1:1.23-7.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [101/101] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/102] gdbm-libs-1:1.23-7.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [102/102] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/103] libpwquality-0:1.4.5-11.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [103/103] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/104] libtirpc-0:1.3.6-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [104/104] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/105] fedora-gpg-keys-0:42-0.3.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [105/105] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/106] fedora-repos-rawhide-0:42-0.3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [106/106] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/107] add-determinism-0:0.4.3-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [107/107] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/108] libpkgconf-0:2.3.0-1.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [108/108] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/109] libffi-0:3.4.6-3.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [109/109] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/110] p11-kit-0:0.25.5-4.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [110/110] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/111] p11-kit-trust-0:0.25.5-4.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [111/111] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/112] krb5-libs-0:1.21.3-3.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [112/112] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/113] libcom_err-0:1.47.1-6.fc42.s3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [113/113] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/114] libtasn1-0:4.19.0-9.fc41.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [114/114] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/115] keyutils-libs-0:1.6.3-4.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [115/115] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/116] libverto-0:0.3.2-9.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [116/116] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/117] dwz-0:0.15-8.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [117/117] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/118] elfutils-libelf-0:0.192-7.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [118/118] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/119] bzip2-libs-0:1.0.8-19.fc42.s3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [119/119] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/120] libgcc-0:15.0.0-0.2.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [120/120] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/121] libstdc++-0:15.0.0-0.2.fc42.s 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [121/121] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/122] audit-libs-0:4.0.2-1.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [122/122] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/123] authselect-libs-0:1.5.0-8.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [123/123] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/124] libacl-0:2.3.2-2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [124/124] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/125] elfutils-libs-0:0.192-7.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [125/125] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/126] libgomp-0:15.0.0-0.2.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [126/126] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/127] binutils-0:2.43.50-9.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [127/127] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/128] jansson-0:2.14-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [128/128] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/129] debugedit-0:5.1-2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [129/129] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/130] elfutils-0:0.192-7.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [130/130] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/131] curl-0:8.11.1-2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [131/131] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/132] authselect-0:1.5.0-8.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [132/132] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/133] alternatives-0:1.31-1.fc42.s3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [133/133] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/134] cracklib-0:2.9.11-6.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [134/134] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/135] elfutils-default-yama-scope-0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [135/135] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/136] elfutils-debuginfod-client-0: 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [136/136] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/137] json-c-0:0.18-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [137/137] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/138] fedora-release-0:42-0.11.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [138/138] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/139] gdb-minimal-0:15.2-4.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [139/139] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/140] xxhash-libs-0:0.8.2-4.fc42.s3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [140/140] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/141] fedora-release-identity-basic 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [141/141] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/142] libcurl-0:8.11.1-2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [142/142] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/143] libidn2-0:2.3.7-2.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [143/143] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/144] libnghttp2-0:1.64.0-1.fc42.s3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [144/144] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/145] libpsl-0:0.21.5-4.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [145/145] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/146] libssh-0:0.11.1-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [146/146] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/147] openldap-0:2.6.8-6.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [147/147] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/148] libunistring-0:1.1-8.fc41.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [148/148] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/149] publicsuffix-list-dafsa-0:202 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [149/149] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/150] libssh-config-0:0.11.1-1.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [150/150] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/151] cyrus-sasl-lib-0:2.1.28-27.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [151/151] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/152] libevent-0:2.1.12-14.fc41.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [152/152] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/153] libtool-ltdl-0:2.5.4-1.fc42.s 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [153/153] Total 100% | 0.0 B/s | 0.0 B | 00m00s [ 1/154] libbrotli-0:1.1.0-5.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded -------------------------------------------------------------------------------- [154/154] Total 100% | 0.0 B/s | 0.0 B | 00m00s 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% | 802.0 B/s | 154.0 B | 00m00s >>> Running pre-transaction scriptlet: filesystem-0:3.18-29.fc42.s390x >>> Finished pre-transaction scriptlet: filesystem-0:3.18-29.fc42.s390x >>> [RPM] /var/lib/mock/fedora-rawhide-s390x-1734855016.254817/root/var/cache/dn [ 2/156] Prepare transaction 100% | 2.9 KiB/s | 154.0 B | 00m00s [ 3/156] Installing libgcc-0:15.0.0-0. 100% | 164.5 MiB/s | 168.4 KiB | 00m00s [ 4/156] Installing libssh-config-0:0. 100% | 0.0 B/s | 816.0 B | 00m00s [ 5/156] Installing publicsuffix-list- 100% | 0.0 B/s | 68.3 KiB | 00m00s [ 6/156] Installing fedora-release-ide 100% | 0.0 B/s | 976.0 B | 00m00s [ 7/156] Installing fedora-gpg-keys-0: 100% | 42.0 MiB/s | 172.2 KiB | 00m00s [ 8/156] Installing fedora-repos-rawhi 100% | 0.0 B/s | 2.4 KiB | 00m00s [ 9/156] Installing fedora-repos-0:42- 100% | 0.0 B/s | 5.7 KiB | 00m00s [ 10/156] Installing fedora-release-com 100% | 23.6 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% | 50.6 MiB/s | 726.1 KiB | 00m00s >>> [RPM] /etc/hosts created as /etc/hosts.rpmnew [ 13/156] Installing filesystem-0:3.18- 100% | 3.1 MiB/s | 212.6 KiB | 00m00s [ 14/156] Installing basesystem-0:11-21 100% | 0.0 B/s | 124.0 B | 00m00s [ 15/156] Installing pcre2-syntax-0:10. 100% | 248.1 MiB/s | 254.1 KiB | 00m00s [ 16/156] Installing ncurses-base-0:6.5 100% | 85.9 MiB/s | 351.7 KiB | 00m00s [ 17/156] Installing glibc-minimal-lang 100% | 0.0 B/s | 124.0 B | 00m00s [ 18/156] Installing ncurses-libs-0:6.5 100% | 177.1 MiB/s | 1.1 MiB | 00m00s [ 19/156] Installing glibc-0:2.40.9000- 100% | 220.8 MiB/s | 5.1 MiB | 00m00s [ 20/156] Installing bash-0:5.2.37-1.fc 100% | 336.1 MiB/s | 8.4 MiB | 00m00s [ 21/156] Installing glibc-common-0:2.4 100% | 152.4 MiB/s | 1.1 MiB | 00m00s [ 22/156] Installing glibc-gconv-extra- 100% | 220.9 MiB/s | 6.6 MiB | 00m00s [ 23/156] Installing zlib-ng-compat-0:2 100% | 107.7 MiB/s | 110.3 KiB | 00m00s [ 24/156] Installing xz-libs-1:5.6.3-2. 100% | 221.9 MiB/s | 227.2 KiB | 00m00s [ 25/156] Installing bzip2-libs-0:1.0.8 100% | 0.0 B/s | 84.0 KiB | 00m00s [ 26/156] Installing popt-0:1.19-7.fc41 100% | 73.9 MiB/s | 151.3 KiB | 00m00s [ 27/156] Installing readline-0:8.2-11. 100% | 272.9 MiB/s | 558.9 KiB | 00m00s [ 28/156] Installing libuuid-0:2.40.2-8 100% | 0.0 B/s | 42.3 KiB | 00m00s [ 29/156] Installing libblkid-0:2.40.2- 100% | 280.8 MiB/s | 287.6 KiB | 00m00s [ 30/156] Installing gmp-1:6.3.0-2.fc41 100% | 251.4 MiB/s | 772.2 KiB | 00m00s [ 31/156] Installing libattr-0:2.5.2-4. 100% | 0.0 B/s | 29.3 KiB | 00m00s [ 32/156] Installing libacl-0:2.3.2-2.f 100% | 0.0 B/s | 34.9 KiB | 00m00s [ 33/156] Installing libxcrypt-0:4.4.36 100% | 265.4 MiB/s | 271.8 KiB | 00m00s [ 34/156] Installing libzstd-0:1.5.6-2. 100% | 285.5 MiB/s | 877.0 KiB | 00m00s [ 35/156] Installing elfutils-libelf-0: 100% | 391.6 MiB/s | 1.2 MiB | 00m00s [ 36/156] Installing libstdc++-0:15.0.0 100% | 307.5 MiB/s | 3.1 MiB | 00m00s [ 37/156] Installing libeconf-0:0.7.5-1 100% | 0.0 B/s | 64.2 KiB | 00m00s [ 38/156] Installing gdbm-libs-1:1.23-7 100% | 132.0 MiB/s | 135.1 KiB | 00m00s [ 39/156] Installing dwz-0:0.15-8.fc42. 100% | 301.6 MiB/s | 308.8 KiB | 00m00s [ 40/156] Installing mpfr-0:4.2.1-5.fc4 100% | 228.0 MiB/s | 700.4 KiB | 00m00s [ 41/156] Installing gawk-0:5.3.0-4.fc4 100% | 259.2 MiB/s | 1.8 MiB | 00m00s [ 42/156] Installing unzip-0:6.0-65.fc4 100% | 736.0 MiB/s | 2.2 MiB | 00m00s [ 43/156] Installing file-libs-0:5.45-8 100% | 621.4 MiB/s | 9.9 MiB | 00m00s [ 44/156] Installing file-0:5.45-8.fc42 100% | 19.7 MiB/s | 100.8 KiB | 00m00s [ 45/156] Installing crypto-policies-0: 100% | 32.0 MiB/s | 163.7 KiB | 00m00s [ 46/156] Installing pcre2-0:10.44-1.fc 100% | 223.4 MiB/s | 686.3 KiB | 00m00s [ 47/156] Installing grep-0:3.11-9.fc41 100% | 203.7 MiB/s | 1.0 MiB | 00m00s [ 48/156] Installing xz-1:5.6.3-2.fc42. 100% | 206.8 MiB/s | 1.2 MiB | 00m00s [ 49/156] Installing libcap-ng-0:0.8.5- 100% | 0.0 B/s | 78.6 KiB | 00m00s [ 50/156] Installing audit-libs-0:4.0.2 100% | 168.4 MiB/s | 345.0 KiB | 00m00s [ 51/156] Installing pam-libs-0:1.7.0-3 100% | 121.8 MiB/s | 124.8 KiB | 00m00s [ 52/156] Installing libcap-0:2.71-1.fc 100% | 105.8 MiB/s | 216.7 KiB | 00m00s [ 53/156] Installing systemd-libs-0:257 100% | 249.5 MiB/s | 2.2 MiB | 00m00s [ 54/156] Installing libsmartcols-0:2.4 100% | 188.7 MiB/s | 193.2 KiB | 00m00s [ 55/156] Installing libsepol-0:3.8-0.r 100% | 273.8 MiB/s | 841.0 KiB | 00m00s [ 56/156] Installing libselinux-0:3.8-0 100% | 199.9 MiB/s | 204.7 KiB | 00m00s [ 57/156] Installing sed-0:4.9-3.fc41.s 100% | 215.2 MiB/s | 881.4 KiB | 00m00s [ 58/156] Installing findutils-1:4.10.0 100% | 313.7 MiB/s | 1.9 MiB | 00m00s [ 59/156] Installing libmount-0:2.40.2- 100% | 184.0 MiB/s | 376.9 KiB | 00m00s [ 60/156] Installing lz4-libs-0:1.10.0- 100% | 197.6 MiB/s | 202.4 KiB | 00m00s [ 61/156] Installing lua-libs-0:5.4.7-1 100% | 322.3 MiB/s | 330.0 KiB | 00m00s [ 62/156] Installing libffi-0:3.4.6-3.f 100% | 0.0 B/s | 67.3 KiB | 00m00s [ 63/156] Installing libcom_err-0:1.47. 100% | 0.0 B/s | 68.0 KiB | 00m00s [ 64/156] Installing libtasn1-0:4.19.0- 100% | 184.9 MiB/s | 189.3 KiB | 00m00s [ 65/156] Installing p11-kit-0:0.25.5-4 100% | 251.2 MiB/s | 2.5 MiB | 00m00s [ 66/156] Installing alternatives-0:1.3 100% | 0.0 B/s | 62.2 KiB | 00m00s [ 67/156] Installing libunistring-0:1.1 100% | 295.6 MiB/s | 1.8 MiB | 00m00s [ 68/156] Installing libidn2-0:2.3.7-2. 100% | 163.5 MiB/s | 334.9 KiB | 00m00s [ 69/156] Installing libpsl-0:0.21.5-4. 100% | 0.0 B/s | 81.4 KiB | 00m00s [ 70/156] Installing p11-kit-trust-0:0. 100% | 93.9 MiB/s | 480.9 KiB | 00m00s [ 71/156] Installing zstd-0:1.5.6-2.fc4 100% | 262.1 MiB/s | 1.8 MiB | 00m00s [ 72/156] Installing util-linux-core-0: 100% | 220.5 MiB/s | 1.5 MiB | 00m00s [ 73/156] Installing tar-2:1.35-4.fc41. 100% | 302.0 MiB/s | 3.0 MiB | 00m00s [ 74/156] Installing libsemanage-0:3.8- 100% | 99.9 MiB/s | 306.9 KiB | 00m00s [ 75/156] Installing shadow-utils-2:4.1 100% | 212.9 MiB/s | 4.0 MiB | 00m00s [ 76/156] Installing zip-0:3.0-42.fc42. 100% | 236.7 MiB/s | 727.0 KiB | 00m00s [ 77/156] Installing gdbm-1:1.23-7.fc41 100% | 238.7 MiB/s | 488.8 KiB | 00m00s [ 78/156] Installing cyrus-sasl-lib-0:2 100% | 298.6 MiB/s | 2.4 MiB | 00m00s [ 79/156] Installing libfdisk-0:2.40.2- 100% | 193.3 MiB/s | 395.9 KiB | 00m00s [ 80/156] Installing bzip2-0:1.0.8-19.f 100% | 86.8 MiB/s | 88.9 KiB | 00m00s [ 81/156] Installing libxml2-0:2.12.8-2 100% | 268.5 MiB/s | 1.9 MiB | 00m00s [ 82/156] Installing sqlite-libs-0:3.47 100% | 264.5 MiB/s | 1.6 MiB | 00m00s [ 83/156] Installing add-determinism-0: 100% | 299.0 MiB/s | 3.3 MiB | 00m00s [ 84/156] Installing build-reproducibil 100% | 0.0 B/s | 1.0 KiB | 00m00s [ 85/156] Installing ed-0:1.20.2-2.fc41 100% | 149.3 MiB/s | 152.9 KiB | 00m00s [ 86/156] Installing patch-0:2.7.6-25.f 100% | 292.8 MiB/s | 299.9 KiB | 00m00s [ 87/156] Installing filesystem-srpm-ma 100% | 0.0 B/s | 36.8 KiB | 00m00s [ 88/156] Installing elfutils-default-y 100% | 681.0 KiB/s | 2.0 KiB | 00m00s [ 89/156] Installing elfutils-libs-0:0. 100% | 182.7 MiB/s | 748.4 KiB | 00m00s [ 90/156] Installing cpio-0:2.15-2.fc41 100% | 223.8 MiB/s | 1.1 MiB | 00m00s [ 91/156] Installing diffutils-0:3.10-8 100% | 266.2 MiB/s | 1.6 MiB | 00m00s [ 92/156] Installing libpkgconf-0:2.3.0 100% | 0.0 B/s | 87.0 KiB | 00m00s [ 93/156] Installing pkgconf-0:2.3.0-1. 100% | 92.7 MiB/s | 94.9 KiB | 00m00s [ 94/156] Installing keyutils-libs-0:1. 100% | 0.0 B/s | 55.6 KiB | 00m00s [ 95/156] Installing libverto-0:0.3.2-9 100% | 0.0 B/s | 31.1 KiB | 00m00s [ 96/156] Installing libgomp-0:15.0.0-0 100% | 259.0 MiB/s | 530.4 KiB | 00m00s [ 97/156] Installing jansson-0:2.14-1.f 100% | 92.1 MiB/s | 94.3 KiB | 00m00s [ 98/156] Installing json-c-0:0.18-1.fc 100% | 82.2 MiB/s | 84.1 KiB | 00m00s [ 99/156] Installing xxhash-libs-0:0.8. 100% | 0.0 B/s | 69.4 KiB | 00m00s [100/156] Installing libnghttp2-0:1.64. 100% | 174.9 MiB/s | 179.1 KiB | 00m00s [101/156] Installing libtool-ltdl-0:2.5 100% | 0.0 B/s | 69.0 KiB | 00m00s [102/156] Installing libbrotli-0:1.1.0- 100% | 221.2 MiB/s | 906.0 KiB | 00m00s [103/156] Installing pkgconf-m4-0:2.3.0 100% | 0.0 B/s | 14.8 KiB | 00m00s [104/156] Installing pkgconf-pkg-config 100% | 0.0 B/s | 1.8 KiB | 00m00s [105/156] Installing rust-srpm-macros-0 100% | 0.0 B/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% | 0.0 B/s | 420.0 B | 00m00s [116/156] Installing ansible-srpm-macro 100% | 35.4 MiB/s | 36.2 KiB | 00m00s [117/156] Installing coreutils-common-0 100% | 349.7 MiB/s | 11.2 MiB | 00m00s [118/156] Installing openssl-libs-1:3.2 100% | 292.5 MiB/s | 6.1 MiB | 00m00s [119/156] Installing coreutils-0:9.5-11 100% | 260.3 MiB/s | 5.7 MiB | 00m00s [120/156] Installing ca-certificates-0: 100% | 1.3 MiB/s | 2.4 MiB | 00m02s [121/156] Installing krb5-libs-0:1.21.3 100% | 219.8 MiB/s | 2.4 MiB | 00m00s [122/156] Installing libarchive-0:3.7.7 100% | 249.5 MiB/s | 1.0 MiB | 00m00s [123/156] Installing gzip-0:1.13-2.fc41 100% | 132.3 MiB/s | 406.3 KiB | 00m00s [124/156] Installing authselect-libs-0: 100% | 162.6 MiB/s | 832.3 KiB | 00m00s [125/156] Installing cracklib-0:2.9.11- 100% | 77.0 MiB/s | 236.5 KiB | 00m00s [126/156] Installing libpwquality-0:1.4 100% | 141.0 MiB/s | 433.3 KiB | 00m00s [127/156] Installing libtirpc-0:1.3.6-1 100% | 104.6 MiB/s | 214.3 KiB | 00m00s [128/156] Installing pam-0:1.7.0-3.fc42 100% | 132.8 MiB/s | 1.6 MiB | 00m00s [129/156] Installing libssh-0:0.11.1-1. 100% | 286.8 MiB/s | 587.4 KiB | 00m00s [130/156] Installing rpm-sequoia-0:1.7. 100% | 225.7 MiB/s | 3.2 MiB | 00m00s [131/156] Installing rpm-libs-0:4.20.0- 100% | 159.2 MiB/s | 815.1 KiB | 00m00s [132/156] Installing rpm-build-libs-0:4 100% | 107.1 MiB/s | 219.3 KiB | 00m00s [133/156] Installing libevent-0:2.1.12- 100% | 184.1 MiB/s | 942.6 KiB | 00m00s [134/156] Installing openldap-0:2.6.8-6 100% | 128.6 MiB/s | 658.3 KiB | 00m00s [135/156] Installing libcurl-0:8.11.1-2 100% | 167.6 MiB/s | 858.1 KiB | 00m00s [136/156] Installing elfutils-debuginfo 100% | 36.7 MiB/s | 75.2 KiB | 00m00s [137/156] Installing binutils-0:2.43.50 100% | 207.2 MiB/s | 26.9 MiB | 00m00s [138/156] Installing elfutils-0:0.192-7 100% | 183.2 MiB/s | 2.9 MiB | 00m00s [139/156] Installing gdb-minimal-0:15.2 100% | 186.1 MiB/s | 14.7 MiB | 00m00s [140/156] Installing debugedit-0:5.1-2. 100% | 95.7 MiB/s | 195.9 KiB | 00m00s [141/156] Installing curl-0:8.11.1-2.fc 100% | 38.9 MiB/s | 478.3 KiB | 00m00s [142/156] Installing rpm-0:4.20.0-1.fc4 100% | 100.2 MiB/s | 2.5 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% | 0.0 B/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% | 39.3 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% | 47.2 MiB/s | 193.2 KiB | 00m00s [151/156] Installing rpm-build-0:4.20.0 100% | 68.0 MiB/s | 209.0 KiB | 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% | 106.6 MiB/s | 3.7 MiB | 00m00s [154/156] Installing authselect-0:1.5.0 100% | 50.8 MiB/s | 156.2 KiB | 00m00s [155/156] Installing which-0:2.21-42.fc 100% | 42.1 MiB/s | 86.1 KiB | 00m00s [156/156] Installing info-0:7.1.1-2.fc4 100% | 190.1 KiB/s | 409.5 KiB | 00m02s Warning: skipped OpenPGP checks for 25 packages from repositories: copr_base, https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 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.4.3-1.fc42.s390x alternatives-1.31-1.fc42.s390x ansible-srpm-macros-1-16.fc41.noarch audit-libs-4.0.2-1.fc42.s390x authselect-1.5.0-8.fc42.s390x authselect-libs-1.5.0-8.fc42.s390x basesystem-11-21.fc41.noarch bash-5.2.37-1.fc42.s390x binutils-2.43.50-9.fc42.s390x build-reproducibility-srpm-macros-0.4.3-1.fc42.noarch bzip2-1.0.8-19.fc42.s390x bzip2-libs-1.0.8-19.fc42.s390x ca-certificates-2024.2.69_v8.0.401-3.fc42.noarch coreutils-9.5-11.fc42.s390x coreutils-common-9.5-11.fc42.s390x cpio-2.15-2.fc41.s390x cracklib-2.9.11-6.fc42.s390x crypto-policies-20241128-1.gitbb7b0b0.fc42.noarch curl-8.11.1-2.fc42.s390x cyrus-sasl-lib-2.1.28-27.fc41.s390x debugedit-5.1-2.fc42.s390x diffutils-3.10-8.fc42.s390x dwz-0.15-8.fc42.s390x ed-1.20.2-2.fc41.s390x efi-srpm-macros-5-13.fc42.noarch elfutils-0.192-7.fc42.s390x elfutils-debuginfod-client-0.192-7.fc42.s390x elfutils-default-yama-scope-0.192-7.fc42.noarch elfutils-libelf-0.192-7.fc42.s390x elfutils-libs-0.192-7.fc42.s390x 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.s390x file-libs-5.45-8.fc42.s390x filesystem-3.18-29.fc42.s390x filesystem-srpm-macros-3.18-29.fc42.noarch findutils-4.10.0-4.fc42.s390x 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.s390x gdb-minimal-15.2-4.fc42.s390x gdbm-1.23-7.fc41.s390x gdbm-libs-1.23-7.fc41.s390x ghc-srpm-macros-1.9.2-1.fc42.noarch glibc-2.40.9000-24.fc42.s390x glibc-common-2.40.9000-24.fc42.s390x glibc-gconv-extra-2.40.9000-24.fc42.s390x glibc-minimal-langpack-2.40.9000-24.fc42.s390x gmp-6.3.0-2.fc41.s390x 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.s390x gzip-1.13-2.fc41.s390x info-7.1.1-2.fc42.s390x jansson-2.14-1.fc42.s390x json-c-0.18-1.fc42.s390x kernel-srpm-macros-1.0-24.fc41.noarch keyutils-libs-1.6.3-4.fc41.s390x krb5-libs-1.21.3-3.fc42.s390x libacl-2.3.2-2.fc42.s390x libarchive-3.7.7-1.fc42.s390x libattr-2.5.2-4.fc41.s390x libblkid-2.40.2-8.fc42.s390x libbrotli-1.1.0-5.fc42.s390x libcap-2.71-1.fc42.s390x libcap-ng-0.8.5-3.fc41.s390x libcom_err-1.47.1-6.fc42.s390x libcurl-8.11.1-2.fc42.s390x libeconf-0.7.5-1.fc42.s390x libevent-2.1.12-14.fc41.s390x libfdisk-2.40.2-8.fc42.s390x libffi-3.4.6-3.fc42.s390x libgcc-15.0.0-0.2.fc42.s390x libgomp-15.0.0-0.2.fc42.s390x libidn2-2.3.7-2.fc41.s390x libmount-2.40.2-8.fc42.s390x libnghttp2-1.64.0-1.fc42.s390x libpkgconf-2.3.0-1.fc42.s390x libpsl-0.21.5-4.fc41.s390x libpwquality-1.4.5-11.fc41.s390x libselinux-3.8-0.rc3.1.fc42.s390x libsemanage-3.8-0.rc3.1.fc42.s390x libsepol-3.8-0.rc3.1.fc42.s390x libsmartcols-2.40.2-8.fc42.s390x libssh-0.11.1-1.fc42.s390x libssh-config-0.11.1-1.fc42.noarch libstdc++-15.0.0-0.2.fc42.s390x libtasn1-4.19.0-9.fc41.s390x libtirpc-1.3.6-1.fc42.s390x libtool-ltdl-2.5.4-1.fc42.s390x libunistring-1.1-8.fc41.s390x libuuid-2.40.2-8.fc42.s390x libverto-0.3.2-9.fc41.s390x libxcrypt-4.4.36-12.fc42.s390x libxml2-2.12.8-2.fc41.s390x libzstd-1.5.6-2.fc41.s390x lua-libs-5.4.7-1.fc42.s390x lua-srpm-macros-1-14.fc41.noarch lz4-libs-1.10.0-1.fc41.s390x mpfr-4.2.1-5.fc41.s390x ncurses-base-6.5-2.20240629.fc41.noarch ncurses-libs-6.5-2.20240629.fc41.s390x ocaml-srpm-macros-10-3.fc41.noarch openblas-srpm-macros-2-18.fc41.noarch openldap-2.6.8-6.fc42.s390x openssl-libs-3.2.2-8.fc42.s390x p11-kit-0.25.5-4.fc42.s390x p11-kit-trust-0.25.5-4.fc42.s390x package-notes-srpm-macros-0.5-12.fc41.noarch pam-1.7.0-3.fc42.s390x pam-libs-1.7.0-3.fc42.s390x patch-2.7.6-25.fc41.s390x pcre2-10.44-1.fc41.1.s390x pcre2-syntax-10.44-1.fc41.1.noarch perl-srpm-macros-1-56.fc41.noarch pkgconf-2.3.0-1.fc42.s390x pkgconf-m4-2.3.0-1.fc42.noarch pkgconf-pkg-config-2.3.0-1.fc42.s390x popt-1.19-7.fc41.s390x 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.s390x redhat-rpm-config-300-1.no_annobin.0.fc42.noarch rpm-4.20.0-1.fc42.s390x rpm-build-4.20.0-1.fc42.s390x rpm-build-libs-4.20.0-1.fc42.s390x rpm-libs-4.20.0-1.fc42.s390x rpm-sequoia-1.7.0-3.fc42.s390x rust-srpm-macros-26.3-3.fc42.noarch sed-4.9-3.fc41.s390x setup-2.15.0-5.fc41.noarch shadow-utils-4.17.0~rc1-1.fc42.s390x sqlite-libs-3.47.2-1.fc42.s390x systemd-libs-257.1-1.fc42.s390x tar-1.35-4.fc41.s390x unzip-6.0-65.fc42.s390x util-linux-2.40.2-8.fc42.s390x util-linux-core-2.40.2-8.fc42.s390x which-2.21-42.fc41.s390x xxhash-libs-0.8.2-4.fc42.s390x xz-5.6.3-2.fc42.s390x xz-libs-5.6.3-2.fc42.s390x zig-srpm-macros-1-3.fc41.noarch zip-3.0-42.fc42.s390x zlib-ng-compat-2.2.2-1.fc42.s390x zstd-1.5.6-2.fc41.s390x Start: buildsrpm Start: rpmbuild -bs Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1721260800 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.5-5.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-s390x-1734855016.254817/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-kb__g0pn/gappalib-coq/gappalib-coq.spec) Config(child) 0 minutes 19 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/gappalib-coq-1.5.5-5.fc42.src.rpm) Config(fedora-rawhide-s390x) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-rawhide-s390x-bootstrap-1734855016.254817/root. INFO: reusing tmpfs at /var/lib/mock/fedora-rawhide-s390x-bootstrap-1734855016.254817/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-s390x-1734855016.254817/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.s390x rpm-sequoia-1.7.0-3.fc42.s390x dnf5-5.2.8.1-2.fc42.s390x dnf5-plugins-5.2.8.1-2.fc42.s390x Finish: chroot init Start: build phase for gappalib-coq-1.5.5-5.fc42.src.rpm Start: build setup for gappalib-coq-1.5.5-5.fc42.src.rpm Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1721260800 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.5-5.fc42.src.rpm Updating and loading repositories: fedora 100% | 50.9 KiB/s | 5.8 KiB | 00m00s Copr repository 100% | 4.8 KiB/s | 1.5 KiB | 00m00s Additional repo https_fedorapeople_org 100% | 4.3 KiB/s | 1.5 KiB | 00m00s Repositories loaded. Package Arch Version Repository Size Installing: autoconf noarch 2.72-3.fc42 copr_base 2.8 MiB coq s390x 8.18.0-10.fc41 fedora 87.7 MiB flocq s390x 4.2.0-2.fc42 copr_base 17.3 MiB gappa s390x 1.4.2-4.fc41 fedora 738.3 KiB gcc-c++ s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 29.9 MiB ocaml s390x 5.2.0-3.fc41 fedora 156.0 MiB ocaml-findlib s390x 1.9.6-14.fc41 fedora 4.0 MiB ocaml-zarith-devel s390x 1.14-2.fc41 fedora 913.1 KiB remake s390x 0.16-2.fc42 fedora 132.2 KiB Installing dependencies: annobin-docs noarch 12.79-1.fc42 copr_base 98.6 KiB annobin-plugin-gcc s390x 12.79-1.fc42 copr_base 985.0 KiB coq-core s390x 8.18.0-10.fc41 fedora 808.2 MiB cpp s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 26.6 MiB csdp s390x 6.2.0-29.20181018git0dcf187.fc41 fedora 476.2 KiB csdp-tools s390x 6.2.0-29.20181018git0dcf187.fc41 fedora 82.2 KiB emacs-filesystem noarch 1:30.0-3.fc41 fedora 0.0 B expat s390x 2.6.4-1.fc42 copr_base 299.3 KiB flexiblas s390x 3.4.4-3.fc42 copr_base 48.5 KiB flexiblas-netlib s390x 3.4.4-3.fc42 copr_base 12.3 MiB flexiblas-openblas-openmp s390x 3.4.4-3.fc42 copr_base 38.0 KiB gcc s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 79.2 MiB gcc-plugin-annobin s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 51.3 KiB glibc-devel s390x 2.40.9000-24.fc42 fedora 2.6 MiB gmp-c++ s390x 1:6.3.0-2.fc41 fedora 31.4 KiB gmp-devel s390x 1:6.3.0-2.fc41 fedora 357.5 KiB groff-base s390x 1.23.0-7.fc41 fedora 4.3 MiB kernel-headers s390x 6.13.0-0.rc3.29.fc42 fedora 6.5 MiB libasan s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 1.6 MiB libatomic s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 26.0 KiB libb2 s390x 0.98.1-12.fc41 fedora 42.0 KiB libgfortran s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 2.4 MiB libmpc s390x 1.3.1-6.fc41 fedora 164.5 KiB libstdc++-devel s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 15.4 MiB libubsan s390x 15.0.0-0.2.fc42 https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch 480.5 KiB libxcrypt-devel s390x 4.4.36-12.fc42 fedora 30.5 KiB libzstd-devel s390x 1.5.6-2.fc41 fedora 202.4 KiB m4 s390x 1.4.19-10.fc41 fedora 628.5 KiB make s390x 1:4.4.1-9.fc42 fedora 1.9 MiB mpdecimal s390x 2.5.1-16.fc41 fedora 224.7 KiB ncurses s390x 6.5-2.20240629.fc41 fedora 641.5 KiB ocaml-compiler-libs s390x 5.2.0-3.fc41 fedora 96.6 MiB ocaml-runtime s390x 5.2.0-3.fc41 fedora 8.2 MiB ocaml-zarith s390x 1.14-2.fc41 fedora 411.0 KiB openblas s390x 0.3.28-2.fc42 fedora 106.6 KiB openblas-openmp s390x 0.3.28-2.fc42 fedora 15.2 MiB perl-AutoLoader noarch 5.74-512.fc42 fedora 20.5 KiB perl-B s390x 1.89-512.fc42 fedora 517.7 KiB perl-Carp noarch 1.54-511.fc41 fedora 46.6 KiB perl-Class-Struct noarch 0.68-512.fc42 fedora 25.4 KiB perl-Data-Dumper s390x 2.189-512.fc41 fedora 115.5 KiB perl-Digest noarch 1.20-511.fc41 fedora 35.3 KiB perl-Digest-MD5 s390x 2.59-5.fc41 fedora 59.6 KiB perl-DynaLoader s390x 1.56-512.fc42 fedora 32.1 KiB perl-Encode s390x 4:3.21-511.fc41 fedora 9.6 MiB perl-Errno s390x 1.38-512.fc42 fedora 8.4 KiB perl-Exporter noarch 5.78-511.fc41 fedora 54.3 KiB perl-Fcntl s390x 1.18-512.fc42 fedora 56.8 KiB perl-File-Basename noarch 2.86-512.fc42 fedora 14.0 KiB perl-File-Compare noarch 1.100.800-512.fc42 fedora 5.6 KiB perl-File-Copy noarch 2.41-512.fc42 fedora 19.6 KiB perl-File-Find noarch 1.44-512.fc42 fedora 41.9 KiB perl-File-Path noarch 2.18-511.fc41 fedora 63.5 KiB perl-File-Temp noarch 1:0.231.100-511.fc41 fedora 162.3 KiB perl-File-stat noarch 1.14-512.fc42 fedora 12.5 KiB perl-FileHandle noarch 2.05-512.fc42 fedora 9.3 KiB perl-Getopt-Long noarch 1:2.58-2.fc41 fedora 144.5 KiB perl-Getopt-Std noarch 1.14-512.fc42 fedora 11.2 KiB perl-HTTP-Tiny noarch 0.090-1.fc42 fedora 154.4 KiB perl-IO s390x 1.55-512.fc42 fedora 150.9 KiB perl-IO-Socket-IP noarch 0.43-1.fc42 fedora 100.3 KiB perl-IO-Socket-SSL noarch 2.089-1.fc42 fedora 703.3 KiB perl-IPC-Open3 noarch 1.22-512.fc42 fedora 22.5 KiB perl-MIME-Base32 noarch 1.303-21.fc41 fedora 30.7 KiB perl-MIME-Base64 s390x 3.16-511.fc41 fedora 45.9 KiB perl-Net-SSLeay s390x 1.94-7.fc41 fedora 1.4 MiB perl-POSIX s390x 2.20-512.fc42 fedora 250.9 KiB perl-PathTools s390x 3.91-511.fc41 fedora 179.8 KiB perl-Pod-Escapes noarch 1:1.07-511.fc41 fedora 24.9 KiB perl-Pod-Perldoc noarch 3.28.01-512.fc41 fedora 163.7 KiB perl-Pod-Simple noarch 1:3.45-511.fc41 fedora 560.9 KiB perl-Pod-Usage noarch 4:2.03-511.fc41 fedora 84.8 KiB perl-Scalar-List-Utils s390x 5:1.68-1.fc42 fedora 152.6 KiB perl-SelectSaver noarch 1.02-512.fc42 fedora 2.2 KiB perl-Socket s390x 4:2.038-511.fc41 fedora 127.8 KiB perl-Storable s390x 1:3.32-511.fc41 fedora 232.2 KiB perl-Symbol noarch 1.09-512.fc42 fedora 6.8 KiB perl-Term-ANSIColor noarch 5.01-512.fc41 fedora 97.5 KiB perl-Term-Cap noarch 1.18-511.fc41 fedora 29.3 KiB perl-Text-ParseWords noarch 3.31-511.fc41 fedora 13.6 KiB perl-Text-Tabs+Wrap noarch 2024.001-511.fc41 fedora 22.6 KiB perl-Time-Local noarch 2:1.350-511.fc41 fedora 69.0 KiB perl-URI noarch 5.31-1.fc42 fedora 257.0 KiB perl-base noarch 2.27-512.fc42 fedora 12.5 KiB perl-constant noarch 1.33-512.fc41 fedora 26.2 KiB perl-if noarch 0.61.000-512.fc42 fedora 5.8 KiB perl-interpreter s390x 4:5.40.0-512.fc42 fedora 122.1 KiB perl-libnet noarch 3.15-512.fc41 fedora 289.4 KiB perl-libs s390x 4:5.40.0-512.fc42 fedora 10.2 MiB perl-locale noarch 1.12-512.fc42 fedora 6.5 KiB perl-mro s390x 1.29-512.fc42 fedora 45.4 KiB perl-overload noarch 1.37-512.fc42 fedora 71.5 KiB perl-overloading noarch 0.02-512.fc42 fedora 4.8 KiB perl-parent noarch 1:0.244-1.fc42 fedora 10.3 KiB perl-podlators noarch 1:6.0.2-2.fc41 fedora 317.5 KiB perl-vars noarch 1.05-512.fc42 fedora 3.9 KiB python-pip-wheel noarch 24.3.1-1.fc42 fedora 1.2 MiB python3 s390x 3.13.1-2.fc42 fedora 22.4 KiB python3-libs s390x 3.13.1-2.fc42 fedora 40.0 MiB texlive-base s390x 11:20230311-87.fc42 fedora 19.0 MiB tzdata noarch 2024b-1.fc42 fedora 1.6 MiB Transaction Summary: Installing: 110 packages Total size of inbound packages is 455 MiB. Need to download 363 MiB. After this operation, 1 GiB extra will be used (install 1 GiB, remove 0 B). [1/7] autoconf-0:2.72-3.fc42.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [2/9] gcc-c++-0:15.0.0-0.2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 3/12] texlive-base-11:20230311-87.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 4/16] gmp-devel-1:6.3.0-2.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 5/18] emacs-filesystem-1:30.0-3.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 6/19] m4-0:1.4.19-10.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 7/20] perl-Carp-0:1.54-511.fc41.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 8/21] perl-Class-Struct-0:0.68-512.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 9/22] perl-Data-Dumper-0:2.189-512.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [10/23] perl-Errno-0:1.38-512.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [11/24] perl-Exporter-0:5.78-511.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [12/25] perl-File-Basename-0:2.86-512.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [13/26] perl-File-Compare-0:1.100.800-5 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [14/27] perl-File-Copy-0:2.41-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [15/28] perl-File-Find-0:1.44-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [16/29] perl-File-Temp-1:0.231.100-511. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [17/30] perl-File-stat-0:1.14-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [18/31] perl-Getopt-Long-1:2.58-2.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [19/32] perl-IO-0:1.55-512.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [20/33] perl-POSIX-0:2.20-512.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [21/34] perl-PathTools-0:3.91-511.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [22/35] perl-Text-ParseWords-0:3.31-511 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [23/36] perl-constant-0:1.33-512.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [24/37] perl-interpreter-4:5.40.0-512.f 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [25/38] perl-libs-4:5.40.0-512.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [26/39] libmpc-0:1.3.1-6.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [27/40] gcc-0:15.0.0-0.2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [28/41] libstdc++-devel-0:15.0.0-0.2.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [29/42] python3-0:3.13.1-2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [30/44] gmp-c++-1:6.3.0-2.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [31/45] perl-B-0:1.89-512.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [32/46] perl-Scalar-List-Utils-5:1.68-1 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [33/47] perl-overload-0:1.37-512.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [34/48] perl-Fcntl-0:1.18-512.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [35/49] perl-File-Path-0:2.18-511.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [36/50] perl-parent-1:0.244-1.fc42.noar 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [37/51] perl-Symbol-0:1.09-512.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [38/52] perl-Pod-Usage-4:2.03-511.fc41. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [39/53] perl-base-0:2.27-512.fc42.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [40/54] perl-SelectSaver-0:1.02-512.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [41/55] perl-Socket-4:2.038-511.fc41.s3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [42/56] perl-locale-0:1.12-512.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [43/57] perl-DynaLoader-0:1.56-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [44/58] perl-Encode-4:3.21-511.fc41.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [45/59] glibc-devel-0:2.40.9000-24.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [46/60] make-1:4.4.1-9.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [47/61] cpp-0:15.0.0-0.2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [48/62] python3-libs-0:3.13.1-2.fc42.s3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [49/63] perl-if-0:0.61.000-512.fc42.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [50/64] perl-overloading-0:0.02-512.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [51/65] perl-mro-0:1.29-512.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [52/66] perl-vars-0:1.05-512.fc42.noarc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [53/67] perl-Pod-Perldoc-0:3.28.01-512. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [54/68] perl-podlators-1:6.0.2-2.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [55/69] perl-Getopt-Std-0:1.14-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [56/70] perl-MIME-Base64-0:3.16-511.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [57/71] perl-Storable-1:3.32-511.fc41.s 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [58/72] kernel-headers-0:6.13.0-0.rc3.2 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [59/73] libxcrypt-devel-0:4.4.36-12.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [60/74] libb2-0:0.98.1-12.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [61/75] mpdecimal-0:2.5.1-16.fc41.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [62/76] python-pip-wheel-0:24.3.1-1.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [63/77] tzdata-0:2024b-1.fc42.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [64/78] groff-base-0:1.23.0-7.fc41.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [65/79] perl-HTTP-Tiny-0:0.090-1.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [66/80] perl-IPC-Open3-0:1.22-512.fc42. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [67/81] perl-Pod-Simple-1:3.45-511.fc41 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [68/82] perl-Term-ANSIColor-0:5.01-512. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [69/83] perl-Term-Cap-0:1.18-511.fc41.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [70/84] perl-IO-Socket-SSL-0:2.089-1.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [71/85] perl-Net-SSLeay-0:1.94-7.fc41.s 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [72/86] perl-Time-Local-2:1.350-511.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [73/87] perl-Pod-Escapes-1:1.07-511.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [74/88] perl-Text-Tabs+Wrap-0:2024.001- 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [75/89] ncurses-0:6.5-2.20240629.fc41.s 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [76/90] perl-IO-Socket-IP-0:0.43-1.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [77/91] perl-URI-0:5.31-1.fc42.noarch 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [78/92] perl-AutoLoader-0:5.74-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [79/93] perl-MIME-Base32-0:1.303-21.fc4 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [80/94] perl-libnet-0:3.15-512.fc41.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [81/95] perl-Digest-MD5-0:2.59-5.fc41.s 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [82/96] perl-FileHandle-0:2.05-512.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [83/97] perl-Digest-0:1.20-511.fc41.noa 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [84/98] libasan-0:15.0.0-0.2.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [85/99] libatomic-0:15.0.0-0.2.fc42.s39 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 86/100] libubsan-0:15.0.0-0.2.fc42.s3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 87/101] expat-0:2.6.4-1.fc42.s390x 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 88/102] flexiblas-netlib-0:3.4.4-3.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 89/103] flexiblas-0:3.4.4-3.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 90/104] flexiblas-openblas-openmp-0:3 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 91/105] openblas-openmp-0:0.3.28-2.fc 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 92/106] openblas-0:0.3.28-2.fc42.s390 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 93/107] libgfortran-0:15.0.0-0.2.fc42 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 94/108] gcc-plugin-annobin-0:15.0.0-0 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 95/109] annobin-plugin-gcc-0:12.79-1. 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 96/110] annobin-docs-0:12.79-1.fc42.n 100% | 0.0 B/s | 0.0 B | 00m00s >>> Already downloaded [ 97/110] gappa-0:1.4.2-4.fc41.s390x 100% | 247.7 KiB/s | 280.7 KiB | 00m01s [ 98/110] ocaml-findlib-0:1.9.6-14.fc41 100% | 2.9 MiB/s | 1.1 MiB | 00m00s [ 99/110] ocaml-zarith-devel-0:1.14-2.f 100% | 3.0 MiB/s | 403.6 KiB | 00m00s [100/110] remake-0:0.16-2.fc42.s390x 100% | 532.5 KiB/s | 66.6 KiB | 00m00s [101/110] coq-0:8.18.0-10.fc41.s390x 100% | 9.2 MiB/s | 23.9 MiB | 00m03s [102/110] flocq-0:4.2.0-2.fc42.s390x 100% | 3.5 MiB/s | 3.5 MiB | 00m01s [103/110] csdp-tools-0:6.2.0-29.2018101 100% | 217.3 KiB/s | 30.0 KiB | 00m00s [104/110] libzstd-devel-0:1.5.6-2.fc41. 100% | 366.8 KiB/s | 51.7 KiB | 00m00s [105/110] ocaml-0:5.2.0-3.fc41.s390x 100% | 11.0 MiB/s | 33.9 MiB | 00m03s [106/110] ocaml-runtime-0:5.2.0-3.fc41. 100% | 7.1 MiB/s | 5.2 MiB | 00m01s [107/110] ocaml-zarith-0:1.14-2.fc41.s3 100% | 1.3 MiB/s | 163.5 KiB | 00m00s [108/110] csdp-0:6.2.0-29.20181018git0d 100% | 2.1 MiB/s | 318.9 KiB | 00m00s [109/110] ocaml-compiler-libs-0:5.2.0-3 100% | 19.1 MiB/s | 50.8 MiB | 00m03s [110/110] coq-core-0:8.18.0-10.fc41.s39 100% | 21.8 MiB/s | 242.9 MiB | 00m11s -------------------------------------------------------------------------------- [110/110] Total 100% | 25.6 MiB/s | 362.5 MiB | 00m14s Running transaction [ 1/112] Verify package files 100% | 77.0 B/s | 110.0 B | 00m01s >>> Running pre-transaction scriptlet: texlive-base-11:20230311-87.fc42.s390x >>> Finished pre-transaction scriptlet: texlive-base-11:20230311-87.fc42.s390x >>> [RPM] /var/lib/mock/fedora-rawhide-s390x-1734855016.254817/root/var/cache/dn [ 2/112] Prepare transaction 100% | 1.0 KiB/s | 110.0 B | 00m00s [ 3/112] Installing libmpc-0:1.3.1-6.f 100% | 81.1 MiB/s | 166.0 KiB | 00m00s [ 4/112] Installing ocaml-runtime-0:5. 100% | 393.6 MiB/s | 8.3 MiB | 00m00s [ 5/112] Installing libgfortran-0:15.0 100% | 342.6 MiB/s | 2.4 MiB | 00m00s [ 6/112] Installing cpp-0:15.0.0-0.2.f 100% | 292.7 MiB/s | 26.6 MiB | 00m00s [ 7/112] Installing annobin-docs-0:12. 100% | 0.0 B/s | 99.7 KiB | 00m00s [ 8/112] Installing openblas-0:0.3.28- 100% | 0.0 B/s | 108.3 KiB | 00m00s [ 9/112] Installing openblas-openmp-0: 100% | 330.2 MiB/s | 15.2 MiB | 00m00s [ 10/112] Installing flexiblas-0:3.4.4- 100% | 0.0 B/s | 49.7 KiB | 00m00s [ 11/112] Installing flexiblas-openblas 100% | 0.0 B/s | 38.9 KiB | 00m00s [ 12/112] Installing flexiblas-netlib-0 100% | 307.2 MiB/s | 12.3 MiB | 00m00s [ 13/112] Installing csdp-0:6.2.0-29.20 100% | 466.6 MiB/s | 477.8 KiB | 00m00s [ 14/112] Installing csdp-tools-0:6.2.0 100% | 83.6 MiB/s | 85.6 KiB | 00m00s [ 15/112] Installing expat-0:2.6.4-1.fc 100% | 294.3 MiB/s | 301.4 KiB | 00m00s [ 16/112] Installing libubsan-0:15.0.0- 100% | 235.0 MiB/s | 481.4 KiB | 00m00s [ 17/112] Installing libatomic-0:15.0.0 100% | 0.0 B/s | 26.9 KiB | 00m00s [ 18/112] Installing libasan-0:15.0.0-0 100% | 318.2 MiB/s | 1.6 MiB | 00m00s [ 19/112] Installing ncurses-0:6.5-2.20 100% | 70.3 MiB/s | 648.1 KiB | 00m00s [ 20/112] Installing groff-base-0:1.23. 100% | 188.4 MiB/s | 4.3 MiB | 00m00s [ 21/112] Installing perl-Digest-0:1.20 100% | 36.2 MiB/s | 37.1 KiB | 00m00s [ 22/112] Installing perl-B-0:1.89-512. 100% | 254.5 MiB/s | 521.1 KiB | 00m00s [ 23/112] Installing perl-FileHandle-0: 100% | 0.0 B/s | 9.8 KiB | 00m00s [ 24/112] Installing perl-Digest-MD5-0: 100% | 60.0 MiB/s | 61.5 KiB | 00m00s [ 25/112] Installing perl-Data-Dumper-0 100% | 114.6 MiB/s | 117.4 KiB | 00m00s [ 26/112] Installing perl-MIME-Base32-0 100% | 0.0 B/s | 32.2 KiB | 00m00s [ 27/112] Installing perl-libnet-0:3.15 100% | 143.9 MiB/s | 294.7 KiB | 00m00s [ 28/112] Installing perl-IO-Socket-IP- 100% | 99.8 MiB/s | 102.2 KiB | 00m00s [ 29/112] Installing perl-AutoLoader-0: 100% | 0.0 B/s | 20.9 KiB | 00m00s [ 30/112] Installing perl-URI-0:5.31-1. 100% | 87.8 MiB/s | 269.6 KiB | 00m00s [ 31/112] Installing perl-locale-0:1.12 100% | 0.0 B/s | 6.9 KiB | 00m00s [ 32/112] Installing perl-if-0:0.61.000 100% | 0.0 B/s | 6.2 KiB | 00m00s [ 33/112] Installing perl-File-Path-0:2 100% | 0.0 B/s | 64.5 KiB | 00m00s [ 34/112] Installing perl-Time-Local-2: 100% | 0.0 B/s | 70.6 KiB | 00m00s [ 35/112] Installing perl-Pod-Escapes-1 100% | 0.0 B/s | 25.9 KiB | 00m00s [ 36/112] Installing perl-Text-Tabs+Wra 100% | 23.3 MiB/s | 23.9 KiB | 00m00s [ 37/112] Installing perl-Net-SSLeay-0: 100% | 237.5 MiB/s | 1.4 MiB | 00m00s [ 38/112] Installing perl-IO-Socket-SSL 100% | 230.3 MiB/s | 707.4 KiB | 00m00s [ 39/112] Installing perl-Class-Struct- 100% | 0.0 B/s | 25.9 KiB | 00m00s [ 40/112] Installing perl-POSIX-0:2.20- 100% | 246.3 MiB/s | 252.2 KiB | 00m00s [ 41/112] Installing perl-File-Temp-1:0 100% | 160.2 MiB/s | 164.1 KiB | 00m00s [ 42/112] Installing perl-IPC-Open3-0:1 100% | 0.0 B/s | 23.3 KiB | 00m00s [ 43/112] Installing perl-Term-ANSIColo 100% | 96.9 MiB/s | 99.2 KiB | 00m00s [ 44/112] Installing perl-Term-Cap-0:1. 100% | 0.0 B/s | 30.6 KiB | 00m00s [ 45/112] Installing perl-Pod-Simple-1: 100% | 278.5 MiB/s | 570.5 KiB | 00m00s [ 46/112] Installing perl-HTTP-Tiny-0:0 100% | 152.8 MiB/s | 156.4 KiB | 00m00s [ 47/112] Installing perl-Symbol-0:1.09 100% | 0.0 B/s | 7.2 KiB | 00m00s [ 48/112] Installing perl-SelectSaver-0 100% | 0.0 B/s | 2.6 KiB | 00m00s [ 49/112] Installing perl-Socket-4:2.03 100% | 126.8 MiB/s | 129.9 KiB | 00m00s [ 50/112] Installing perl-File-stat-0:1 100% | 0.0 B/s | 13.1 KiB | 00m00s [ 51/112] Installing perl-podlators-1:6 100% | 157.0 MiB/s | 321.4 KiB | 00m00s [ 52/112] Installing perl-Pod-Perldoc-0 100% | 165.3 MiB/s | 169.3 KiB | 00m00s [ 53/112] Installing perl-Text-ParseWor 100% | 0.0 B/s | 14.6 KiB | 00m00s [ 54/112] Installing perl-Fcntl-0:1.18- 100% | 0.0 B/s | 57.9 KiB | 00m00s [ 55/112] Installing perl-base-0:2.27-5 100% | 0.0 B/s | 12.9 KiB | 00m00s [ 56/112] Installing perl-overloading-0 100% | 0.0 B/s | 5.5 KiB | 00m00s [ 57/112] Installing perl-IO-0:1.55-512 100% | 151.5 MiB/s | 155.1 KiB | 00m00s [ 58/112] Installing perl-mro-0:1.29-51 100% | 0.0 B/s | 46.5 KiB | 00m00s [ 59/112] Installing perl-Pod-Usage-4:2 100% | 84.3 MiB/s | 86.3 KiB | 00m00s [ 60/112] Installing perl-Errno-0:1.38- 100% | 0.0 B/s | 8.8 KiB | 00m00s [ 61/112] Installing perl-File-Basename 100% | 0.0 B/s | 14.6 KiB | 00m00s [ 62/112] Installing perl-constant-0:1. 100% | 0.0 B/s | 27.4 KiB | 00m00s [ 63/112] Installing perl-Scalar-List-U 100% | 152.7 MiB/s | 156.4 KiB | 00m00s [ 64/112] Installing perl-parent-1:0.24 100% | 0.0 B/s | 11.0 KiB | 00m00s [ 65/112] Installing perl-overload-0:1. 100% | 0.0 B/s | 71.9 KiB | 00m00s [ 66/112] Installing perl-vars-0:1.05-5 100% | 0.0 B/s | 4.3 KiB | 00m00s [ 67/112] Installing perl-Getopt-Std-0: 100% | 0.0 B/s | 11.7 KiB | 00m00s [ 68/112] Installing perl-MIME-Base64-0 100% | 47.0 MiB/s | 48.1 KiB | 00m00s [ 69/112] Installing perl-Storable-1:3. 100% | 228.3 MiB/s | 233.8 KiB | 00m00s [ 70/112] Installing perl-Getopt-Long-1 100% | 143.8 MiB/s | 147.2 KiB | 00m00s [ 71/112] Installing perl-Exporter-0:5. 100% | 0.0 B/s | 55.6 KiB | 00m00s [ 72/112] Installing perl-PathTools-0:3 100% | 180.0 MiB/s | 184.3 KiB | 00m00s [ 73/112] Installing perl-DynaLoader-0: 100% | 0.0 B/s | 32.5 KiB | 00m00s [ 74/112] Installing perl-Encode-4:3.21 100% | 343.2 MiB/s | 9.6 MiB | 00m00s [ 75/112] Installing perl-Carp-0:1.54-5 100% | 23.3 MiB/s | 47.7 KiB | 00m00s [ 76/112] Installing perl-libs-4:5.40.0 100% | 239.7 MiB/s | 10.3 MiB | 00m00s [ 77/112] Installing perl-interpreter-4 100% | 120.9 MiB/s | 123.8 KiB | 00m00s [ 78/112] Installing perl-File-Compare- 100% | 0.0 B/s | 6.1 KiB | 00m00s [ 79/112] Installing perl-File-Copy-0:2 100% | 0.0 B/s | 20.2 KiB | 00m00s [ 80/112] Installing perl-File-Find-0:1 100% | 8.3 MiB/s | 42.5 KiB | 00m00s [ 81/112] Installing tzdata-0:2024b-1.f 100% | 58.9 MiB/s | 1.9 MiB | 00m00s [ 82/112] Installing python-pip-wheel-0 100% | 622.1 MiB/s | 1.2 MiB | 00m00s [ 83/112] Installing mpdecimal-0:2.5.1- 100% | 220.5 MiB/s | 225.8 KiB | 00m00s [ 84/112] Installing libb2-0:0.98.1-12. 100% | 7.0 MiB/s | 43.1 KiB | 00m00s [ 85/112] Installing python3-libs-0:3.1 100% | 303.8 MiB/s | 40.4 MiB | 00m00s [ 86/112] Installing python3-0:3.13.1-2 100% | 7.9 MiB/s | 24.2 KiB | 00m00s [ 87/112] Installing kernel-headers-0:6 100% | 200.8 MiB/s | 6.6 MiB | 00m00s [ 88/112] Installing libxcrypt-devel-0: 100% | 16.0 MiB/s | 32.9 KiB | 00m00s [ 89/112] Installing glibc-devel-0:2.40 100% | 189.0 MiB/s | 2.6 MiB | 00m00s [ 90/112] Installing make-1:4.4.1-9.fc4 100% | 266.1 MiB/s | 1.9 MiB | 00m00s [ 91/112] Installing gcc-0:15.0.0-0.2.f 100% | 331.5 MiB/s | 79.2 MiB | 00m00s [ 92/112] Installing gmp-c++-1:6.3.0-2. 100% | 0.0 B/s | 32.2 KiB | 00m00s [ 93/112] Installing gmp-devel-1:6.3.0- 100% | 175.4 MiB/s | 359.2 KiB | 00m00s [ 94/112] Installing libstdc++-devel-0: 100% | 338.6 MiB/s | 15.6 MiB | 00m00s [ 95/112] Installing m4-0:1.4.19-10.fc4 100% | 206.6 MiB/s | 634.8 KiB | 00m00s [ 96/112] Installing emacs-filesystem-1 100% | 0.0 B/s | 544.0 B | 00m00s [ 97/112] Installing libzstd-devel-0:1. 100% | 198.5 MiB/s | 203.2 KiB | 00m00s [ 98/112] Installing ocaml-0:5.2.0-3.fc 100% | 367.1 MiB/s | 156.0 MiB | 00m00s [ 99/112] Installing ocaml-compiler-lib 100% | 390.4 MiB/s | 96.8 MiB | 00m00s [100/112] Installing ocaml-findlib-0:1. 100% | 311.9 MiB/s | 4.1 MiB | 00m00s [101/112] Installing ocaml-zarith-0:1.1 100% | 202.3 MiB/s | 414.2 KiB | 00m00s [102/112] Installing ocaml-zarith-devel 100% | 99.8 MiB/s | 920.2 KiB | 00m00s [103/112] Installing texlive-base-11:20 100% | 358.9 MiB/s | 19.0 MiB | 00m00s [104/112] Installing coq-core-0:8.18.0- 100% | 354.4 MiB/s | 808.7 MiB | 00m02s [105/112] Installing coq-0:8.18.0-10.fc 100% | 273.5 MiB/s | 88.1 MiB | 00m00s [106/112] Installing flocq-0:4.2.0-2.fc 100% | 368.6 MiB/s | 17.3 MiB | 00m00s [107/112] Installing autoconf-0:2.72-3. 100% | 350.1 MiB/s | 2.8 MiB | 00m00s [108/112] Installing gcc-c++-0:15.0.0-0 100% | 295.8 MiB/s | 29.9 MiB | 00m00s [109/112] Installing gcc-plugin-annobin 100% | 3.7 MiB/s | 52.9 KiB | 00m00s [110/112] Installing annobin-plugin-gcc 100% | 80.3 MiB/s | 986.7 KiB | 00m00s [111/112] Installing remake-0:0.16-2.fc 100% | 130.1 MiB/s | 133.2 KiB | 00m00s [112/112] Installing gappa-0:1.4.2-4.fc 100% | 5.4 MiB/s | 739.8 KiB | 00m00s Warning: skipped OpenPGP checks for 17 packages from repositories: copr_base, https_fedorapeople_org_dmalcolm_gcc_gcc_15_mass_prebuild_basearch Complete! Finish: build setup for gappalib-coq-1.5.5-5.fc42.src.rpm Start: rpmbuild gappalib-coq-1.5.5-5.fc42.src.rpm Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1721260800 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.2finpl + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + test -d /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.lkD7Nh + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + rm -rf coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.5.5.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + sed -i 's/-rectypes/-g &/' Remakefile.in + autoconf -f configure.in:5: warning: prefer named diversions + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.QaouwC + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-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 -march=z13 -mtune=z14 -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 -march=z13 -mtune=z14 -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 -march=z13 -mtune=z14 -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 -march=z13 -mtune=z14 -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,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 coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + ./configure --prefix=/usr --datadir=/usr/share checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking how to run the C preprocessor... gcc -E checking for coqc >= 8.8... /usr/bin/coqc checking for coqdep... /usr/bin/coqdep checking for ocamlfind... /usr/bin/ocamlfind checking for Flocq >= 3.0... yes checking for native development files... yes checking for bytecode development files... yes checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed configure: building remake... /usr/bin/ld: /tmp/cc4jw9pV.o: in function `main': remake.cpp:(.text.startup+0x5fe): warning: the use of `tempnam' is dangerous, better use `mkstemp' === Summary === Vernacular directory /usr/lib64/ocaml/coq/user-contrib Plugin directory /usr/lib64/ocaml/coq-gappa Plugin compilation native bytecode configure: creating ./config.status config.status: creating Remakefile + rm -f remake + ln -s /usr/bin/remake remake + remake -d -j2 Building src/Gappa_common.vo Building src/Gappa_decimal.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo Building src/Gappa_definitions.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo Building src/Gappa_dyadic.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_definitions.v Building src/Gappa_real.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_real.v | ./remake -r src/Gappa_real.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_real.v Finished src/Gappa_definitions.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_dyadic.v File "./src/Gappa_real.v", line 338, characters 6-14: Warning: Notation Rle_Rinv is deprecated since 8.19. Use Rinv_le_contravar. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 338, characters 6-14: Warning: Notation Rle_Rinv is deprecated since 8.19. Use Rinv_le_contravar. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_real.vo Building src/Gappa_fixed.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo Building src/Gappa_pred_bnd.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo Finished src/Gappa_dyadic.vo Building src/Gappa_round.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo Building src/Gappa_round_aux.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo Building src/Gappa_round_def.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_def.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_aux.v Finished src/Gappa_round_def.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_common.v Finished src/Gappa_round_aux.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round.v Finished src/Gappa_common.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_decimal.v Finished src/Gappa_decimal.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_bnd.v Finished src/Gappa_round.vo Building src/Gappa_float.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo Building src/Gappa_library.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo Building src/Gappa_pred_abs.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo Building src/Gappa_pred_nzr.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_nzr.v Finished src/Gappa_pred_bnd.vo Building src/Gappa_pred_fixflt.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_fixflt.v Finished src/Gappa_pred_nzr.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_abs.v File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_pred_fixflt.vo Building src/Gappa_pred_rel.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_rel.v Finished src/Gappa_pred_abs.vo Building src/Gappa_rewriting.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_rewriting.v | ./remake -r src/Gappa_rewriting.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_rewriting.v Finished src/Gappa_pred_rel.vo Building src/Gappa_tree.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tree.v Finished src/Gappa_rewriting.vo Building src/Gappa_user.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_user.v | ./remake -r src/Gappa_user.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_user.v Finished src/Gappa_tree.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_float.v Finished src/Gappa_user.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_fixed.v File "./src/Gappa_float.v", line 304, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 304, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 352, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 352, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_float.vo Building src/Gappa_obfuscate.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_obfuscate.v Finished src/Gappa_obfuscate.vo Building src/Gappa_tactic_loader.v gcc -E -DCOQVERSION=81800 -P src/Gappa_tactic_loader.c -o src/Gappa_tactic_loader.v Finished src/Gappa_tactic_loader.v Building src/Gappa_tactic.vo /usr/bin/coqdep -R src Gappa -I src src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.vo Building src/gappatac.ml gcc -E -DCOQVERSION=81800 src/gappatac.c -o src/gappatac.ml Finished src/gappatac.ml Building src/gappatac.cmxs /usr/bin/ocamlfind ocamlopt -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -shared src/gappatac.ml -o src/gappatac.cmxs File "src/gappatac.c", line 139, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 844, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 847, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 879, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 902, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 905, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. Finished src/Gappa_fixed.vo Building src/gappatac.cmo /usr/bin/ocamlfind ocamlc -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -c src/gappatac.ml -o src/gappatac.cmo File "src/gappatac.c", line 139, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 844, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 847, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 879, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 902, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 905, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. Finished src/gappatac.cmo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_library.v Finished src/gappatac.cmxs Building src/Gappa_tactic_loader.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tactic_loader.v | ./remake -r src/Gappa_tactic_loader.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tactic_loader.v Finished src/Gappa_tactic_loader.vo Finished src/Gappa_library.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tactic.v Finished src/Gappa_tactic.vo Building all Finished all + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.NfqAGt + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + '[' /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT ++ dirname /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build + mkdir /builddir/build/BUILD/gappalib-coq-1.5.5-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 -march=z13 -mtune=z14 -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 -march=z13 -mtune=z14 -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 -march=z13 -mtune=z14 -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 -march=z13 -mtune=z14 -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,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 coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + DESTDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + remake install Building install Finished install + cp -p src/Gappa_common.v src/Gappa_decimal.v src/Gappa_definitions.v src/Gappa_dyadic.v src/Gappa_fixed.v src/Gappa_float.v src/Gappa_library.v src/Gappa_obfuscate.v src/Gappa_pred_abs.v src/Gappa_pred_bnd.v src/Gappa_pred_fixflt.v src/Gappa_pred_nzr.v src/Gappa_pred_rel.v src/Gappa_real.v src/Gappa_rewriting.v src/Gappa_round.v src/Gappa_round_aux.v src/Gappa_round_def.v src/Gappa_tactic.v src/Gappa_tactic_loader.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.5.5-5.fc42 --unique-debug-suffix -1.5.5-5.fc42.s390x --unique-debug-src-base gappalib-coq-1.5.5-5.fc42.s390x --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 find-debuginfo: starting Extracting debug info from 1 files DWARF-compressing 1 files sepdebugcrcfix: Updated 0 CRC32s, 1 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/gappalib-coq-1.5.5-5.fc42.s390x cpio: atomic.ml: Cannot stat: No such file or directory cpio: big_int_Z.ml: Cannot stat: No such file or directory cpio: buffer.ml: Cannot stat: No such file or directory cpio: bytes.ml: Cannot stat: No such file or directory cpio: engine/eConstr.ml: Cannot stat: No such file or directory cpio: engine/evd.ml: Cannot stat: No such file or directory cpio: engine/proofview.ml: Cannot stat: No such file or directory cpio: filename.ml: Cannot stat: No such file or directory cpio: format.ml: Cannot stat: No such file or directory cpio: hashtbl.ml: Cannot stat: No such file or directory cpio: interp/dumpglob.ml: Cannot stat: No such file or directory cpio: kernel/constr.ml: Cannot stat: No such file or directory cpio: kernel/context.ml: Cannot stat: No such file or directory cpio: lib/pp.ml: Cannot stat: No such file or directory cpio: lib/util.ml: Cannot stat: No such file or directory cpio: pretyping/reductionops.ml: Cannot stat: No such file or directory cpio: pretyping/tacred.ml: Cannot stat: No such file or directory cpio: printing/ppconstr.ml: Cannot stat: No such file or directory cpio: printing/printer.ml: Cannot stat: No such file or directory cpio: stdlib.ml: Cannot stat: No such file or directory cpio: string.ml: Cannot stat: No such file or directory cpio: tactics/tacticals.ml: Cannot stat: No such file or directory cpio: vernac/mltop.ml: Cannot stat: No such file or directory cpio: 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 -j2 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j2 /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT Scanned 18 directories and 49 files, processed 0 inodes, 0 modified (0 replaced + 0 rewritten), 0 unsupported format, 0 errors Reading /builddir/build/BUILD/gappalib-coq-1.5.5-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.hHoeBU + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-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 -march=z13 -mtune=z14 -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 -march=z13 -mtune=z14 -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 -march=z13 -mtune=z14 -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 -march=z13 -mtune=z14 -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,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 coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + remake check Building testsuite/check Finished testsuite/check Building check Finished check + RPM_EC=0 ++ jobs -p + exit 0 Processing files: gappalib-coq-1.5.5-5.fc42.s390x Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.G0iPsx + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + DOCDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/AUTHORS /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/NEWS.md /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/README.md /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.H4dbZb + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + LICENSEDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/COPYING /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Provides: gappalib-coq = 1.5.5-5.fc42 gappalib-coq(s390-64) = 1.5.5-5.fc42 ocaml(Gappatac) = 84d0983fc7f02899b3aef4118322a51c Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AcyclicGraph) = 63465440e96d81f0213d69061c985ba4 ocaml(Attributes) = 361e91b90d3804b8e3aa0b36dd543471 ocaml(Big_int_Z) = 312ffaa81870b7daca9308902c34a77d ocaml(CArray) = 72f80c4d474f3a52c10a646d481a6e6a ocaml(CAst) = 789e9622291fbd31f7d16ad9df8970e9 ocaml(CClosure) = 050a192f384c57c4798a88829fa5c408 ocaml(CDebug) = 236633a6b3538c054a449439671edc9c ocaml(CEphemeron) = 39db8247e62491f079f26da08f39e8c0 ocaml(CErrors) = 48871476ca41ae38d9cf16fafbd3ce4f ocaml(CLexer) = 25473c9aabd03f5ab2274c0b86c6cae4 ocaml(CList) = 2e0c5a2dffaa27bd8e06c509e37776d2 ocaml(CMap) = fb2e1c5ea1c619d3a3544410da29f8ae ocaml(CPrimitives) = 0118e11c0659352eaedc1bc258d8445b ocaml(CSet) = 019adb1e50f0b8182ae935de6a005db0 ocaml(CSig) = 2676c9112307572a452bec4b87098429 ocaml(CString) = f1794ea484d4244d5e8a3abf1badd216 ocaml(CUnix) = b6bf3a3ed353542a33a6937b47f54dd1 ocaml(CWarnings) = e1e370f0bdd6a607c2a8c8b788d6d91f ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0 ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea ocaml(Coercionops) = 5b171589aff790d73d9d72e22a4b6a2e ocaml(Constr) = 9d3325c6b919e39f763cf62c1796ce92 ocaml(Constrexpr) = 3d93341ab637f36532dc63d46d8160ff ocaml(Constrintern) = ebb02284f654409fcb6cb415bb489e82 ocaml(Context) = b5d0d71b2e96c5b9ca5757523d995125 ocaml(Conv_oracle) = 4a2eaa9941e657698b4a5cb7fe5c3c3b ocaml(Conversion) = e66314949ab7f0e9793fa795538c54c3 ocaml(Cooking) = 6981279705feedf142a8b99dbef3f2b3 ocaml(Coqlib) = f22453fc23e1f552d81278c5221e22d3 ocaml(DAst) = 8220ec1bde5771cdd9b9e6b852a23d88 ocaml(Declarations) = f5957f321c5d9691056b244c055a70b4 ocaml(Declare) = d0285c4d3566d135568b93c78c9cf72c ocaml(Declaremods) = dca6d55b8e6597b02422fb90ca906c53 ocaml(Decls) = f5c04c625f7175c8e7a6fa1bb12eb286 ocaml(Deprecation) = 9e736bddedd1fb311b879f7f49d85bce ocaml(Dumpglob) = 8cd6b7d49deb8b701d0e79e4ad310d08 ocaml(Dyn) = dff7f98a38c88f7eb5c1e2ff5ac7e823 ocaml(EConstr) = 5a2f2a37c74697f419ffc4216f0d87ab ocaml(Entries) = b4fc0bc29e6a3af4b14883d6c7320353 ocaml(Environ) = aaa6ae8206e571adf71ff2b421fc0278 ocaml(Equality) = 7b3ec869074921c4c26954fb07d56567 ocaml(Esubst) = 799b7344bc8ade767980738240a415c2 ocaml(Evar) = fae5e9f68482fe2e68be1ff7874efd92 ocaml(Evar_kinds) = 6b77a57a83dc49f52623af3e7fe24f2c ocaml(Evardefine) = a2c5bf61b5e40e96f160abbc5dc5c599 ocaml(Evarsolve) = 03abfb4bfde553a9f473328498ccad5c ocaml(Evarutil) = 69c166f0bd4f032002c570f2bfa928a7 ocaml(Evd) = 752a038d9105c63d709b4d78523619eb ocaml(Exninfo) = 19d7f6bff61408da974e03ad8379233d ocaml(Extend) = 7c62183a656a14ff61b6275faada74e6 ocaml(Float64) = 19d975b1892ac34cf3e0631cb965a7cc ocaml(Ftactic) = 7a8f61cce8e06fedb838f0b6b492aa41 ocaml(Future) = 8deca240fe168a7138a59ef3f25a0c6f ocaml(Genarg) = d2a3d9ae176b92250d73fa8cf6475fe8 ocaml(Genintern) = ba0b75dbe4ab21897f41c7296b998bdc ocaml(Geninterp) = c868e160c2d6b74bccc80835c213f925 ocaml(Genlambda) = 48fb56ee4c71ee95afc029ce68cd6453 ocaml(Genprint) = e05d4dd08253cb5462aa56b02d4a2e89 ocaml(Genredexpr) = 1636cc9ee4a4e3b10d093c1cb4f3e3a1 ocaml(GlobEnv) = ab480750fadbd5277ff5bb312bd813f2 ocaml(Glob_term) = 6002120b8b63cbbf604eda928ffec143 ocaml(Global) = 70190aae799d4f65079aaa05bd26a6ec ocaml(Globnames) = 39beb8ade582896e0b07717bc6384b0d ocaml(Goal_select) = 7701971c94cd6b421cf573e978d23f02 ocaml(Goptions) = 154e0a54f73ee52a42dc2c17ce2ea403 ocaml(Gramlib) = 477256fc7912ac6a051940b848189f7b ocaml(Gramlib__Gramext) = 3f72a7a64e3b36febd9fdfba006f9f1a ocaml(Gramlib__Grammar) = 5613c854e560fc0f2e32fe61e1ae3deb ocaml(Gramlib__LStream) = cfae3f35ee22d04399ec05075c25f03a ocaml(Gramlib__Plexing) = 33fcd2362956cda04b0dcf9c19362310 ocaml(Gramlib__Stream) = 6bfc802a551241e770bdf0d18cba87b8 ocaml(Hashcons) = 94bdc6ac3201831c154e2be6aceecd5e ocaml(Hashset) = d8a284b1aac88561153dd0a4198abfe1 ocaml(Hints) = c807ad32d3d3e4787ae9ab898a326731 ocaml(Hook) = efb40e84b8be1d27ebdf48c1c909700a ocaml(Impargs) = ef606e11ff72979404c7fe8ebcd797eb ocaml(Ind_tables) = bdeee744d68517efc95de721bc1355db ocaml(Int) = adab7102f0ebf2afbaff4b424516fc02 ocaml(Inv) = ffa3d62b37e65ae201d4f2e785ef5e47 ocaml(Lib) = d7bcc9d7b4f8d5d46868884459b1f924 ocaml(Libnames) = 27b43291715086ccc0c0a6262f05db1a ocaml(Libobject) = 7b55f6a80894e15e9f45a6b25e09e079 ocaml(Loc) = 8ed5211fdca74b779bc6f04784e60fda ocaml(Locality) = cde9d92a5823eb4559678d6744369229 ocaml(Locus) = 287f09ea51178600d4174f56cc625959 ocaml(Logic) = a68730cd35919abea40abcdaf009c9ff ocaml(Logic_monad) = d4d8266c3aa0bc367e310e0ec54ea6ef ocaml(Ltac_plugin) = 09e1b0a836e8464912a2d162a7ec521c ocaml(Ltac_plugin__Pptactic) = d6bf940b82528b35c9129c791bf59a40 ocaml(Ltac_plugin__Tacentries) = 4e726af23a5019677030552c67d95665 ocaml(Ltac_plugin__Tacexpr) = 2a0fd17498bcf85d7caae842720ca9fb ocaml(Ltac_pretype) = 85e97c2e9bcddadf2a501e6f3bd2a1dd ocaml(Metasyntax) = 1303271d9b8bcec872a51f3b8981eb48 ocaml(Mltop) = 9a1eca5e7ff04b5844c03429924e6ade ocaml(Mod_subst) = efe7d54b8b636a8c8fad5e8f0a07af34 ocaml(Modintern) = e15824865202f9e714c9b4db57624e60 ocaml(Monad) = 94d6e7ae132ed4fe6efb4bf9d3d27411 ocaml(Namegen) = 430c35434a0cd7e03f720084e3220c1b ocaml(Names) = 1d020cc06c9adc57f47aef939db9d0b5 ocaml(Nametab) = ac5af10ed33adf528d709d45fa5ea53a ocaml(Nativecode) = c915c4f4836c31c038fddcd6817e04c0 ocaml(Nativelib) = 823ff01e053e15792b5862258228c62f ocaml(Nativevalues) = 65f99e2bf9b75a349149ec22a6002217 ocaml(NeList) = 8666e4080d41cc7de964026d8bcfe62c ocaml(Notation) = febfbcc39e7e99c0391cf9493f27623f ocaml(Notation_term) = e7c3a1c24e29a7af3de00ee41109cda8 ocaml(Notationextern) = c7986cdc169fa2de4f80c5509fde4e06 ocaml(NumTok) = b128e951849f4eb7b9b833e940184e23 ocaml(Opaqueproof) = 37a98ee47ba6c4e3742532f9ce872bfc ocaml(Parray) = eaa72022ae38ea3187bb3f561e9db4c9 ocaml(Pattern) = a940213bdce0f21975ad57af5d59ee86 ocaml(Pcoq) = 957f1b170074ab00a105904872deaba8 ocaml(Pp) = 2b296c72b89b91257cc16a104005de5b ocaml(Predicate) = d0a897998df1a40d587b43624be35a23 ocaml(Pretype_errors) = f9c030b34d826cade7c75611cd4c16f3 ocaml(Pretyping) = 6a23de4285fefa49984ead5bb80dbb11 ocaml(Primred) = 608b90f82d9c2dea9f96cf9c493c53e4 ocaml(Printer) = 76184c03158da9c1123d0c623e7c76a4 ocaml(Proof) = 604d18c8f2a7f0c0f510525675684ea7 ocaml(Proof_bullet) = 7f565e170c5b3505f210aeb1323a6f4b ocaml(Proof_using) = 9ccec7b314b63c052bc8c80885f73218 ocaml(Proofview) = 7261bb5d91d72b3f0f52a2995493c075 ocaml(Proofview_monad) = 089cbd8f570373abbeaef3f5b6d08948 ocaml(Pvernac) = 51b1d88fca817944d0f5ee0601c78684 ocaml(Range) = e156474582c707f2ac7565232ef1fbf6 ocaml(Redexpr) = 7072a65a31669f23045a74c346e8162e ocaml(Reductionops) = 4e3dac0041288a0a342cafb0bdfb57f5 ocaml(RetrieveObl) = 55d59098a6c442f0dbca2342bed7a5a7 ocaml(Retroknowledge) = e2fb92309799485e1f9541ce2c8141d5 ocaml(Rtree) = 21c1958cfe0e790b0ecf5db5273509d5 ocaml(SList) = d58563bfd13cb6e597d0c49a2c63443b ocaml(Safe_typing) = 0269fe16fe33d67fb0b204499f391aef ocaml(Section) = 8ef834b8d0b25d176b88bea911d6b0e5 ocaml(Sorts) = 4af65272c1be6ee51f20720b7ea59771 ocaml(Stateid) = cdb14ba366136f02eabf6891582e0d90 ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658 ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4 ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696 ocaml(Stdlib__Bytes) = d5a54ebfd096c4af2a47315dda118f2d ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095 ocaml(Stdlib__Digest) = 53c6b4c2a619a2a05fa4912189aff5db ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446 ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189 ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3 ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281 ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7 ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016 ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4 ocaml(Store) = 4e72896221806a886a8a19ba0a7a024e ocaml(Summary) = a60a793bc617ad3fcc787a5d872053e8 ocaml(Tacmach) = 6700c573aa75739bd937fca3f774df1d ocaml(Tacred) = 0b6a9b7baa8058af79a9ff1d362a5b55 ocaml(Tacticals) = e8443b5d474dba5b9b94e191e815df9f ocaml(Tactics) = 8300d1e6bccc909c0bb92558db13d9b5 ocaml(Tactypes) = 86ac7b6e6e2ee2ca9389c0a0ec14479f ocaml(Term) = 3e5323b4c994751d4d583038ff26ef1e ocaml(Tok) = 800d49b6b6f77a22fe9f7c8b910876c2 ocaml(TransparentState) = 76a096e6d3e3a4d94e363a7bf724f5c5 ocaml(Type_errors) = 316b26e1a7109ebae43af10375c2a334 ocaml(Typeclasses) = c704a4cdd4301f8c2349459bd09638a5 ocaml(UGraph) = c654b62751e33fedcf6c22e72ad610e7 ocaml(UState) = 7309eb4266dfd031e8324f80103c1a29 ocaml(Uint63) = e3451df3704d221dcd5da2a42c0c4f17 ocaml(Unification) = 706272c6efc62de0340d7ee837c14ddd ocaml(Univ) = 574e46406ed62c0f634436d99818e2b8 ocaml(UnivGen) = e2a8429d96bb8c771b46e05bf18404ab ocaml(UnivNames) = 47ace49275b17080a2df4796ae01224d ocaml(UnivProblem) = 205a1efb9494ef19e5f366f23b766265 ocaml(UnivSubst) = 9dd5700ce8d910df2dc035ced7d8d937 ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda ocaml(Util) = 8fc9d2a0e25fc1a8bef9b03c8901192b ocaml(Values) = 488e32523e8ea0c884c9771d64cb9e64 ocaml(Vars) = 3347002f2ddb8d3f50f9a8062f787d4f ocaml(Vernacexpr) = e8e7245025ba948b308eef9de4ea1fc0 ocaml(Vernacextend) = 5afeefe338a4dbda3fa95e2d82d6bf0e ocaml(Vmbytecodes) = f7f010e4b176097177b8cfa2b848c29b ocaml(Vmemitcodes) = 47a5d915cd99c8489fe7258232ba2d03 ocaml(Vmvalues) = b1ff111be517f827c60094b3394698f8 ocaml(Z) = ca2658ea343645ad5d4facceca973ce7 rtld(GNU_HASH) Processing files: gappalib-coq-source-1.5.5-5.fc42.s390x Provides: gappalib-coq-source = 1.5.5-5.fc42 gappalib-coq-source(s390-64) = 1.5.5-5.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: gappalib-coq-debugsource-1.5.5-5.fc42.s390x Provides: gappalib-coq-debugsource = 1.5.5-5.fc42 gappalib-coq-debugsource(s390-64) = 1.5.5-5.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: gappalib-coq-debuginfo-1.5.5-5.fc42.s390x Provides: debuginfo(build-id) = 8594176aa77140cd0eb3919d71dbaff2d3d7adb6 gappalib-coq-debuginfo = 1.5.5-5.fc42 gappalib-coq-debuginfo(s390-64) = 1.5.5-5.fc42 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: gappalib-coq-debugsource(s390-64) = 1.5.5-5.fc42 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.5-5.fc42.s390x.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.5-5.fc42.s390x.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.5-5.fc42.s390x.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.5.5-5.fc42.s390x.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.FxqX2r + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + test -d /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.5.5-build + rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild gappalib-coq-1.5.5-5.fc42.src.rpm Finish: build phase for gappalib-coq-1.5.5-5.fc42.src.rpm INFO: chroot_scan: 1 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-rawhide-s390x-1734855016.254817/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/gappalib-coq-1.5.5-5.fc42.src.rpm) Config(child) 1 minutes 4 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": "gappalib-coq-debugsource", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "s390x" }, { "name": "gappalib-coq", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "src" }, { "name": "gappalib-coq", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "s390x" }, { "name": "gappalib-coq-source", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "s390x" }, { "name": "gappalib-coq-debuginfo", "epoch": null, "version": "1.5.5", "release": "5.fc42", "arch": "s390x" } ] } RPMResults finished