Warning: Permanently added '169.62.20.103' (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/6982743-fedora-39-s390x --chroot fedora-39-s390x Version: 0.70 PID: 17340 Logging PID: 17341 Task: {'appstream': False, 'background': True, 'build_id': 6982743, 'buildroot_pkgs': [], 'chroot': 'fedora-39-s390x', 'enable_net': False, 'fedora_review': False, 'git_hash': '55e4c422d91b00ce8819a6493cab303c76315b5a', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/psimovec/openblas-0.3.23/gappalib-coq', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'gappalib-coq', 'package_version': '1.5.4-4', 'project_dirname': 'openblas-0.3.23', 'project_name': 'openblas-0.3.23', 'project_owner': 'psimovec', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/psimovec/openblas-0.3.23/fedora-39-s390x/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}, {'baseurl': 'http://kojipkgs.fedoraproject.org/repos/rawhide/latest/$basearch/', 'id': 'http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch', 'name': 'Additional repo http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch'}], 'sandbox': 'psimovec/openblas-0.3.23--https://src.fedoraproject.org/user/jjames', 'source_json': {}, 'source_type': None, 'submitter': 'https://src.fedoraproject.org/user/jjames', 'tags': [], 'task_id': '6982743-fedora-39-s390x', 'timeout': 18000, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/psimovec/openblas-0.3.23/gappalib-coq /var/lib/copr-rpmbuild/workspace/workdir-jocn6v5z/gappalib-coq --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/psimovec/openblas-0.3.23/gappalib-coq', '/var/lib/copr-rpmbuild/workspace/workdir-jocn6v5z/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-jocn6v5z/gappalib-coq'... Running: git checkout 55e4c422d91b00ce8819a6493cab303c76315b5a -- cmd: ['git', 'checkout', '55e4c422d91b00ce8819a6493cab303c76315b5a', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-jocn6v5z/gappalib-coq rc: 0 stdout: stderr: Note: switching to '55e4c422d91b00ce8819a6493cab303c76315b5a'. 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 55e4c42 automatic import of gappalib-coq Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-jocn6v5z/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.4.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o gappalib-coq-1.5.4.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/psimovec/openblas-0.3.23/gappalib-coq/gappalib-coq-1.5.4.tar.gz/md5/c31bf640185fd3b34d6d1ceb583b7c4a/gappalib-coq-1.5.4.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated 100 82052 100 82052 0 0 2050k 0 --:--:-- --:--:-- --:--:-- 2054k INFO: Reading stdout from command: md5sum gappalib-coq-1.5.4.tar.gz Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-jocn6v5z/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-jocn6v5z/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1706917425.648550 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 5.4 starting (python version = 3.11.3, NVR = mock-5.4-1.fc38), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-jocn6v5z/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-jocn6v5z/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1706917425.648550 -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-jocn6v5z/gappalib-coq/gappalib-coq.spec) Config(fedora-39-s390x) Start: clean chroot Finish: clean chroot Mock Version: 5.4 INFO: Mock Version: 5.4 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-39-s390x-bootstrap-1706917425.648550/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 bootstrap image: registry.fedoraproject.org/fedora:39 INFO: Pulling image: registry.fedoraproject.org/fedora:39 INFO: Copy content of container registry.fedoraproject.org/fedora:39 to /var/lib/mock/fedora-39-s390x-bootstrap-1706917425.648550/root INFO: Checking that registry.fedoraproject.org/fedora:39 image matches host's architecture INFO: mounting registry.fedoraproject.org/fedora:39 with podman image mount INFO: image registry.fedoraproject.org/fedora:39 as /var/lib/containers/storage/overlay/8762d4e942255ae5f22c1ca5cdcbea9118d53523b90ef15d705fc17a7574e0a0/merged INFO: umounting image registry.fedoraproject.org/fedora:39 (/var/lib/containers/storage/overlay/8762d4e942255ae5f22c1ca5cdcbea9118d53523b90ef15d705fc17a7574e0a0/merged) with podman image umount INFO: Package manager dnf detected and used (fallback) INFO: Bootstrap image not marked ready Start(bootstrap): installing dnf tooling No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 2.3 MB/s | 24 MB 00:10 Additional repo http_kojipkgs_fedoraproject_org 13 MB/s | 68 MB 00:05 fedora 7.7 MB/s | 79 MB 00:10 updates 2.4 MB/s | 25 MB 00:10 Last metadata expiration check: 0:00:06 ago on Fri Feb 2 23:45:23 2024. Package python3-dnf-4.18.1-2.fc39.noarch is already installed. Dependencies resolved. ========================================================================================================================= Package Arch Version Repository Size ========================================================================================================================= Installing: python3-dnf-plugins-core noarch 4.4.4-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 302 k Upgrading: dnf noarch 4.18.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 496 k dnf-data noarch 4.18.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 39 k python3-dnf noarch 4.18.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 549 k yum noarch 4.18.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 37 k Installing dependencies: dbus-libs s390x 1:1.14.10-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 159 k python3-dateutil noarch 1:2.8.2-13.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 345 k python3-dbus s390x 1.3.2-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 146 k python3-distro noarch 1.9.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 45 k python3-six noarch 1.16.0-14.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 41 k python3-systemd s390x 235-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 100 k Transaction Summary ========================================================================================================================= Install 7 Packages Upgrade 4 Packages Total download size: 2.2 M Downloading Packages: (1/11): dbus-libs-1.14.10-3.fc40.s390x.rpm 32 kB/s | 159 kB 00:05 (2/11): python3-dbus-1.3.2-6.fc40.s390x.rpm 29 kB/s | 146 kB 00:05 (3/11): python3-distro-1.9.0-3.fc40.noarch.rpm 5.8 MB/s | 45 kB 00:00 (4/11): python3-dateutil-2.8.2-13.fc40.noarch.r 69 kB/s | 345 kB 00:05 (5/11): python3-six-1.16.0-14.fc40.noarch.rpm 11 MB/s | 41 kB 00:00 (6/11): python3-systemd-235-9.fc40.s390x.rpm 16 MB/s | 100 kB 00:00 (7/11): dnf-4.18.2-1.fc40.noarch.rpm 60 MB/s | 496 kB 00:00 (8/11): dnf-data-4.18.2-1.fc40.noarch.rpm 8.2 MB/s | 39 kB 00:00 (9/11): python3-dnf-plugins-core-4.4.4-3.fc40.n 16 MB/s | 302 kB 00:00 (10/11): python3-dnf-4.18.2-1.fc40.noarch.rpm 74 MB/s | 549 kB 00:00 (11/11): yum-4.18.2-1.fc40.noarch.rpm 6.7 MB/s | 37 kB 00:00 -------------------------------------------------------------------------------- Total 448 kB/s | 2.2 MB 00:05 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Upgrading : dnf-data-4.18.2-1.fc40.noarch 1/15 Upgrading : python3-dnf-4.18.2-1.fc40.noarch 2/15 Upgrading : dnf-4.18.2-1.fc40.noarch 3/15 Running scriptlet: dnf-4.18.2-1.fc40.noarch 3/15 Installing : python3-systemd-235-9.fc40.s390x 4/15 Installing : python3-six-1.16.0-14.fc40.noarch 5/15 Installing : python3-dateutil-1:2.8.2-13.fc40.noarch 6/15 Installing : python3-distro-1.9.0-3.fc40.noarch 7/15 Installing : dbus-libs-1:1.14.10-3.fc40.s390x 8/15 Installing : python3-dbus-1.3.2-6.fc40.s390x 9/15 Installing : python3-dnf-plugins-core-4.4.4-3.fc40.noarch 10/15 Upgrading : yum-4.18.2-1.fc40.noarch 11/15 Cleanup : yum-4.18.1-2.fc39.noarch 12/15 Running scriptlet: dnf-4.18.1-2.fc39.noarch 13/15 Cleanup : dnf-4.18.1-2.fc39.noarch 13/15 Running scriptlet: dnf-4.18.1-2.fc39.noarch 13/15 Cleanup : python3-dnf-4.18.1-2.fc39.noarch 14/15 Cleanup : dnf-data-4.18.1-2.fc39.noarch 15/15 Running scriptlet: dnf-data-4.18.1-2.fc39.noarch 15/15 Verifying : dbus-libs-1:1.14.10-3.fc40.s390x 1/15 Verifying : python3-dateutil-1:2.8.2-13.fc40.noarch 2/15 Verifying : python3-dbus-1.3.2-6.fc40.s390x 3/15 Verifying : python3-distro-1.9.0-3.fc40.noarch 4/15 Verifying : python3-dnf-plugins-core-4.4.4-3.fc40.noarch 5/15 Verifying : python3-six-1.16.0-14.fc40.noarch 6/15 Verifying : python3-systemd-235-9.fc40.s390x 7/15 Verifying : dnf-4.18.2-1.fc40.noarch 8/15 Verifying : dnf-4.18.1-2.fc39.noarch 9/15 Verifying : dnf-data-4.18.2-1.fc40.noarch 10/15 Verifying : dnf-data-4.18.1-2.fc39.noarch 11/15 Verifying : python3-dnf-4.18.2-1.fc40.noarch 12/15 Verifying : python3-dnf-4.18.1-2.fc39.noarch 13/15 Verifying : yum-4.18.2-1.fc40.noarch 14/15 Verifying : yum-4.18.1-2.fc39.noarch 15/15 Upgraded: dnf-4.18.2-1.fc40.noarch dnf-data-4.18.2-1.fc40.noarch python3-dnf-4.18.2-1.fc40.noarch yum-4.18.2-1.fc40.noarch Installed: dbus-libs-1:1.14.10-3.fc40.s390x python3-dateutil-1:2.8.2-13.fc40.noarch python3-dbus-1.3.2-6.fc40.s390x python3-distro-1.9.0-3.fc40.noarch python3-dnf-plugins-core-4.4.4-3.fc40.noarch python3-six-1.16.0-14.fc40.noarch python3-systemd-235-9.fc40.s390x Complete! Finish(bootstrap): installing dnf tooling 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-39-s390x-1706917425.648550/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 dnf detected and used (direct choice) INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.19.0-1.fc39.s390x rpm-sequoia-1.5.0-1.fc39.s390x python3-dnf-4.18.2-1.fc40.noarch python3-dnf-plugins-core-4.4.4-3.fc40.noarch yum-4.18.2-1.fc40.noarch Start: installing minimal buildroot with dnf No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 53 kB/s | 1.5 kB 00:00 Copr repository 4.7 MB/s | 24 MB 00:05 Additional repo http_kojipkgs_fedoraproject_org 29 kB/s | 3.8 kB 00:00 Additional repo http_kojipkgs_fedoraproject_org 13 MB/s | 68 MB 00:05 fedora 759 B/s | 3.8 kB 00:05 updates 978 B/s | 4.8 kB 00:05 Dependencies resolved. ======================================================================================================================================== Package Arch Version Repository Size ======================================================================================================================================== Installing group/module packages: bash s390x 5.2.26-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.8 M bzip2 s390x 1.0.8-18.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 53 k coreutils s390x 9.4-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.2 M cpio s390x 2.15-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 291 k diffutils s390x 3.10-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 412 k fedora-release-common noarch 40-0.29 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k findutils s390x 1:4.9.0-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 493 k gawk s390x 5.3.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M glibc-minimal-langpack s390x 2.38.9000-39.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 97 k grep s390x 3.11-7.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 297 k gzip s390x 1.13-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 171 k info s390x 7.1-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 195 k patch s390x 2.7.6-24.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 141 k redhat-rpm-config noarch 280-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 75 k rpm-build s390x 4.19.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 71 k sed s390x 4.9-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 312 k shadow-utils s390x 2:4.14.0-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.2 M tar s390x 2:1.35-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 871 k unzip s390x 6.0-63.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 195 k util-linux s390x 2.39.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M which s390x 2.21-41.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 43 k xz s390x 5.4.6-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 533 k Installing dependencies: alternatives s390x 1.26-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 41 k ansible-srpm-macros noarch 1-14.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k audit-libs s390x 4.0-7.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 125 k authselect s390x 1.5.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 143 k authselect-libs s390x 1.5.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 233 k basesystem noarch 11-20.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 7.2 k binutils s390x 2.41-32.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 5.9 M binutils-gold s390x 2.41-32.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 997 k bzip2-libs s390x 1.0.8-18.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 47 k ca-certificates noarch 2023.2.62_v7.0.401-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 862 k coreutils-common s390x 9.4-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.1 M cracklib s390x 2.9.11-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 84 k crypto-policies noarch 20240201-1.git9f501f3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 69 k curl s390x 8.6.0-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 305 k cyrus-sasl-lib s390x 2.1.28-19.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 821 k debugedit s390x 5.0-14.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 82 k dwz s390x 0.15-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 144 k ed s390x 1.20-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 84 k efi-srpm-macros noarch 5-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k elfutils s390x 0.190-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 575 k elfutils-debuginfod-client s390x 0.190-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 38 k elfutils-default-yama-scope noarch 0.190-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 13 k elfutils-libelf s390x 0.190-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 200 k elfutils-libs s390x 0.190-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 278 k fedora-gpg-keys noarch 40-0.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 119 k fedora-release noarch 40-0.29 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 10 k fedora-release-identity-basic noarch 40-0.29 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 11 k fedora-repos noarch 40-0.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.3 k fedora-repos-rawhide noarch 40-0.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.9 k file s390x 5.45-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 49 k file-libs s390x 5.45-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 770 k filesystem s390x 3.18-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M fonts-srpm-macros noarch 1:2.0.5-14.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 27 k forge-srpm-macros noarch 0.2.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 19 k fpc-srpm-macros noarch 1.3-12.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 7.8 k gdb-minimal s390x 14.1-8.fc40 copr_base 4.2 M gdbm s390x 1:1.23-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 152 k gdbm-libs s390x 1:1.23-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 58 k ghc-srpm-macros noarch 1.6.1-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.3 k glibc s390x 2.38.9000-39.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.9 M glibc-common s390x 2.38.9000-39.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 396 k glibc-gconv-extra s390x 2.38.9000-39.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.7 M gmp s390x 1:6.2.1-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 326 k gnat-srpm-macros noarch 6-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.8 k go-srpm-macros noarch 3.3.1-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 27 k jansson s390x 2.13.1-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 45 k kernel-srpm-macros noarch 1.0-22.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.6 k keyutils-libs s390x 1.6.3-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 31 k krb5-libs s390x 1.21.2-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 781 k libacl s390x 2.3.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 k libarchive s390x 3.7.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 442 k libattr s390x 2.5.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 18 k libblkid s390x 2.39.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 121 k libbrotli s390x 1.1.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 387 k libcap s390x 2.69-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 85 k libcap-ng s390x 0.8.4-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 33 k libcom_err s390x 1.47.0-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 26 k libcurl s390x 8.6.0-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 366 k libeconf s390x 0.5.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 32 k libevent s390x 2.1.12-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 260 k libfdisk s390x 2.39.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 166 k libffi s390x 3.4.4-7.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 36 k libgcc s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 70 k libgomp s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 336 k libidn2 s390x 2.3.7-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 113 k libmount s390x 2.39.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 159 k libnghttp2 s390x 1.59.0-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 79 k libnsl2 s390x 2.0.1-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k libpkgconf s390x 1.9.5-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 38 k libpsl s390x 0.21.5-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 64 k libpwquality s390x 1.4.5-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 109 k libselinux s390x 3.6-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 92 k libsemanage s390x 3.6-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 120 k libsepol s390x 3.6-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 349 k libsmartcols s390x 2.39.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 70 k libssh s390x 0.10.6-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 209 k libssh-config noarch 0.10.6-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.0 k libstdc++ s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 975 k libtasn1 s390x 4.19.0-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 78 k libtirpc s390x 1.3.4-1.rc2.fc40.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 96 k libunistring s390x 1.1-7.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 560 k libutempter s390x 1.2.1-13.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 26 k libuuid s390x 2.39.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k libverto s390x 0.3.2-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k libxcrypt s390x 4.4.36-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 124 k libxml2 s390x 2.12.4-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 708 k libzstd s390x 1.5.5-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 343 k lua-libs s390x 5.4.6-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 143 k lua-srpm-macros noarch 1-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.6 k lz4-libs s390x 1.9.4-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 83 k mpfr s390x 4.2.1-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 300 k ncurses-base noarch 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 64 k ncurses-libs s390x 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 363 k ocaml-srpm-macros noarch 9-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.1 k openblas-srpm-macros noarch 2-16.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 7.5 k openldap s390x 2.6.6-1.fc39 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 262 k openssl-libs s390x 1:3.1.4-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.9 M p11-kit s390x 0.25.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 519 k p11-kit-trust s390x 0.25.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 144 k package-notes-srpm-macros noarch 0.5-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.9 k pam s390x 1.6.0-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 525 k pam-libs s390x 1.6.0-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 58 k pcre2 s390x 10.42-2.fc40.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 255 k pcre2-syntax noarch 10.42-2.fc40.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 143 k perl-srpm-macros noarch 1-53.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.4 k pkgconf s390x 1.9.5-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 43 k pkgconf-m4 noarch 1.9.5-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k pkgconf-pkg-config s390x 1.9.5-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.5 k popt s390x 1.19-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 62 k publicsuffix-list-dafsa noarch 20240107-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 58 k pyproject-srpm-macros noarch 1.12.0-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k python-srpm-macros noarch 3.12-7.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 24 k qt5-srpm-macros noarch 5.15.12-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.5 k qt6-srpm-macros noarch 6.6.1-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.9 k readline s390x 8.2-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 230 k rpm s390x 4.19.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 509 k rpm-build-libs s390x 4.19.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 97 k rpm-libs s390x 4.19.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 325 k rpm-sequoia s390x 1.6.0-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 981 k rust-srpm-macros noarch 25.2-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 13 k setup noarch 2.14.5-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 148 k sqlite-libs s390x 3.45.1-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 761 k systemd-libs s390x 255.3-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 722 k util-linux-core s390x 2.39.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 498 k xxhash-libs s390x 0.8.2-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 36 k xz-libs s390x 5.4.6-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 116 k zig-srpm-macros noarch 1-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.0 k zip s390x 3.0-40.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 283 k zlib-ng-compat s390x 2.1.6-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 66 k zstd s390x 1.5.5-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 511 k Installing Groups: Buildsystem building group Transaction Summary ======================================================================================================================================== Install 152 Packages Total size: 52 M Installed size: 179 M Downloading Packages: [SKIPPED] gdb-minimal-14.1-8.fc40.s390x.rpm: Already downloaded [SKIPPED] alternatives-1.26-3.fc40.s390x.rpm: Already downloaded [SKIPPED] ansible-srpm-macros-1-14.fc40.noarch.rpm: Already downloaded [SKIPPED] audit-libs-4.0-7.fc40.s390x.rpm: Already downloaded [SKIPPED] authselect-1.5.0-3.fc40.s390x.rpm: Already downloaded [SKIPPED] authselect-libs-1.5.0-3.fc40.s390x.rpm: Already downloaded [SKIPPED] basesystem-11-20.fc40.noarch.rpm: Already downloaded [SKIPPED] bash-5.2.26-2.fc40.s390x.rpm: Already downloaded [SKIPPED] binutils-2.41-32.fc40.s390x.rpm: Already downloaded [SKIPPED] binutils-gold-2.41-32.fc40.s390x.rpm: Already downloaded [SKIPPED] bzip2-1.0.8-18.fc40.s390x.rpm: Already downloaded [SKIPPED] bzip2-libs-1.0.8-18.fc40.s390x.rpm: Already downloaded [SKIPPED] ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch.rpm: Already downloaded [SKIPPED] coreutils-9.4-6.fc40.s390x.rpm: Already downloaded [SKIPPED] coreutils-common-9.4-6.fc40.s390x.rpm: Already downloaded [SKIPPED] cpio-2.15-1.fc40.s390x.rpm: Already downloaded [SKIPPED] cracklib-2.9.11-5.fc40.s390x.rpm: Already downloaded [SKIPPED] crypto-policies-20240201-1.git9f501f3.fc40.noarch.rpm: Already downloaded [SKIPPED] curl-8.6.0-2.fc40.s390x.rpm: Already downloaded [SKIPPED] cyrus-sasl-lib-2.1.28-19.fc40.s390x.rpm: Already downloaded [SKIPPED] debugedit-5.0-14.fc40.s390x.rpm: Already downloaded [SKIPPED] diffutils-3.10-5.fc40.s390x.rpm: Already downloaded [SKIPPED] dwz-0.15-5.fc40.s390x.rpm: Already downloaded [SKIPPED] ed-1.20-2.fc40.s390x.rpm: Already downloaded [SKIPPED] efi-srpm-macros-5-11.fc40.noarch.rpm: Already downloaded [SKIPPED] elfutils-0.190-6.fc40.s390x.rpm: Already downloaded [SKIPPED] elfutils-debuginfod-client-0.190-6.fc40.s390x.rpm: Already downloaded [SKIPPED] elfutils-default-yama-scope-0.190-6.fc40.noarch.rpm: Already downloaded [SKIPPED] elfutils-libelf-0.190-6.fc40.s390x.rpm: Already downloaded [SKIPPED] elfutils-libs-0.190-6.fc40.s390x.rpm: Already downloaded [SKIPPED] fedora-gpg-keys-40-0.2.noarch.rpm: Already downloaded [SKIPPED] fedora-release-40-0.29.noarch.rpm: Already downloaded [SKIPPED] fedora-release-common-40-0.29.noarch.rpm: Already downloaded [SKIPPED] fedora-release-identity-basic-40-0.29.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-40-0.2.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-rawhide-40-0.2.noarch.rpm: Already downloaded [SKIPPED] file-5.45-3.fc40.s390x.rpm: Already downloaded [SKIPPED] file-libs-5.45-3.fc40.s390x.rpm: Already downloaded [SKIPPED] filesystem-3.18-8.fc40.s390x.rpm: Already downloaded [SKIPPED] findutils-4.9.0-8.fc40.s390x.rpm: Already downloaded [SKIPPED] fonts-srpm-macros-2.0.5-14.fc40.noarch.rpm: Already downloaded [SKIPPED] forge-srpm-macros-0.2.0-3.fc40.noarch.rpm: Already downloaded [SKIPPED] fpc-srpm-macros-1.3-12.fc40.noarch.rpm: Already downloaded [SKIPPED] gawk-5.3.0-3.fc40.s390x.rpm: Already downloaded [SKIPPED] gdbm-1.23-6.fc40.s390x.rpm: Already downloaded [SKIPPED] gdbm-libs-1.23-6.fc40.s390x.rpm: Already downloaded [SKIPPED] ghc-srpm-macros-1.6.1-5.fc40.noarch.rpm: Already downloaded [SKIPPED] glibc-2.38.9000-39.fc40.s390x.rpm: Already downloaded [SKIPPED] glibc-common-2.38.9000-39.fc40.s390x.rpm: Already downloaded [SKIPPED] glibc-gconv-extra-2.38.9000-39.fc40.s390x.rpm: Already downloaded [SKIPPED] glibc-minimal-langpack-2.38.9000-39.fc40.s390x.rpm: Already downloaded [SKIPPED] gmp-6.2.1-8.fc40.s390x.rpm: Already downloaded [SKIPPED] gnat-srpm-macros-6-5.fc40.noarch.rpm: Already downloaded [SKIPPED] go-srpm-macros-3.3.1-3.fc40.noarch.rpm: Already downloaded [SKIPPED] grep-3.11-7.fc40.s390x.rpm: Already downloaded [SKIPPED] gzip-1.13-1.fc40.s390x.rpm: Already downloaded [SKIPPED] info-7.1-2.fc40.s390x.rpm: Already downloaded [SKIPPED] jansson-2.13.1-9.fc40.s390x.rpm: Already downloaded [SKIPPED] kernel-srpm-macros-1.0-22.fc40.noarch.rpm: Already downloaded [SKIPPED] keyutils-libs-1.6.3-3.fc40.s390x.rpm: Already downloaded [SKIPPED] krb5-libs-1.21.2-5.fc40.s390x.rpm: Already downloaded [SKIPPED] libacl-2.3.2-1.fc40.s390x.rpm: Already downloaded [SKIPPED] libarchive-3.7.2-3.fc40.s390x.rpm: Already downloaded [SKIPPED] libattr-2.5.2-3.fc40.s390x.rpm: Already downloaded [SKIPPED] libblkid-2.39.3-4.fc40.s390x.rpm: Already downloaded [SKIPPED] libbrotli-1.1.0-3.fc40.s390x.rpm: Already downloaded [SKIPPED] libcap-2.69-3.fc40.s390x.rpm: Already downloaded [SKIPPED] libcap-ng-0.8.4-4.fc40.s390x.rpm: Already downloaded [SKIPPED] libcom_err-1.47.0-4.fc40.s390x.rpm: Already downloaded [SKIPPED] libcurl-8.6.0-2.fc40.s390x.rpm: Already downloaded [SKIPPED] libeconf-0.5.2-3.fc40.s390x.rpm: Already downloaded [SKIPPED] libevent-2.1.12-11.fc40.s390x.rpm: Already downloaded [SKIPPED] libfdisk-2.39.3-4.fc40.s390x.rpm: Already downloaded [SKIPPED] libffi-3.4.4-7.fc40.s390x.rpm: Already downloaded [SKIPPED] libgcc-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] libgomp-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] libidn2-2.3.7-1.fc40.s390x.rpm: Already downloaded [SKIPPED] libmount-2.39.3-4.fc40.s390x.rpm: Already downloaded [SKIPPED] libnghttp2-1.59.0-2.fc40.s390x.rpm: Already downloaded [SKIPPED] libnsl2-2.0.1-1.fc40.s390x.rpm: Already downloaded [SKIPPED] libpkgconf-1.9.5-4.fc40.s390x.rpm: Already downloaded [SKIPPED] libpsl-0.21.5-3.fc40.s390x.rpm: Already downloaded [SKIPPED] libpwquality-1.4.5-9.fc40.s390x.rpm: Already downloaded [SKIPPED] libselinux-3.6-4.fc40.s390x.rpm: Already downloaded [SKIPPED] libsemanage-3.6-3.fc40.s390x.rpm: Already downloaded [SKIPPED] libsepol-3.6-3.fc40.s390x.rpm: Already downloaded [SKIPPED] libsmartcols-2.39.3-4.fc40.s390x.rpm: Already downloaded [SKIPPED] libssh-0.10.6-4.fc40.s390x.rpm: Already downloaded [SKIPPED] libssh-config-0.10.6-4.fc40.noarch.rpm: Already downloaded [SKIPPED] libstdc++-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] libtasn1-4.19.0-6.fc40.s390x.rpm: Already downloaded [SKIPPED] libtirpc-1.3.4-1.rc2.fc40.2.s390x.rpm: Already downloaded [SKIPPED] libunistring-1.1-7.fc40.s390x.rpm: Already downloaded [SKIPPED] libutempter-1.2.1-13.fc40.s390x.rpm: Already downloaded [SKIPPED] libuuid-2.39.3-4.fc40.s390x.rpm: Already downloaded [SKIPPED] libverto-0.3.2-8.fc40.s390x.rpm: Already downloaded [SKIPPED] libxcrypt-4.4.36-5.fc40.s390x.rpm: Already downloaded [SKIPPED] libxml2-2.12.4-3.fc40.s390x.rpm: Already downloaded [SKIPPED] libzstd-1.5.5-5.fc40.s390x.rpm: Already downloaded [SKIPPED] lua-libs-5.4.6-5.fc40.s390x.rpm: Already downloaded [SKIPPED] lua-srpm-macros-1-11.fc40.noarch.rpm: Already downloaded [SKIPPED] lz4-libs-1.9.4-6.fc40.s390x.rpm: Already downloaded [SKIPPED] mpfr-4.2.1-3.fc40.s390x.rpm: Already downloaded [SKIPPED] ncurses-base-6.4-12.20240127.fc40.noarch.rpm: Already downloaded [SKIPPED] ncurses-libs-6.4-12.20240127.fc40.s390x.rpm: Already downloaded [SKIPPED] ocaml-srpm-macros-9-3.fc40.noarch.rpm: Already downloaded [SKIPPED] openblas-srpm-macros-2-16.fc40.noarch.rpm: Already downloaded [SKIPPED] openldap-2.6.6-1.fc39.s390x.rpm: Already downloaded [SKIPPED] openssl-libs-3.1.4-4.fc40.s390x.rpm: Already downloaded [SKIPPED] p11-kit-0.25.3-4.fc40.s390x.rpm: Already downloaded [SKIPPED] p11-kit-trust-0.25.3-4.fc40.s390x.rpm: Already downloaded [SKIPPED] package-notes-srpm-macros-0.5-11.fc40.noarch.rpm: Already downloaded [SKIPPED] pam-1.6.0-1.fc40.s390x.rpm: Already downloaded [SKIPPED] pam-libs-1.6.0-1.fc40.s390x.rpm: Already downloaded [SKIPPED] patch-2.7.6-24.fc40.s390x.rpm: Already downloaded [SKIPPED] pcre2-10.42-2.fc40.2.s390x.rpm: Already downloaded [SKIPPED] pcre2-syntax-10.42-2.fc40.2.noarch.rpm: Already downloaded [SKIPPED] perl-srpm-macros-1-53.fc40.noarch.rpm: Already downloaded [SKIPPED] pkgconf-1.9.5-4.fc40.s390x.rpm: Already downloaded [SKIPPED] pkgconf-m4-1.9.5-4.fc40.noarch.rpm: Already downloaded [SKIPPED] pkgconf-pkg-config-1.9.5-4.fc40.s390x.rpm: Already downloaded [SKIPPED] popt-1.19-6.fc40.s390x.rpm: Already downloaded [SKIPPED] publicsuffix-list-dafsa-20240107-3.fc40.noarch.rpm: Already downloaded [SKIPPED] pyproject-srpm-macros-1.12.0-1.fc40.noarch.rpm: Already downloaded [SKIPPED] python-srpm-macros-3.12-7.fc40.noarch.rpm: Already downloaded [SKIPPED] qt5-srpm-macros-5.15.12-3.fc40.noarch.rpm: Already downloaded [SKIPPED] qt6-srpm-macros-6.6.1-5.fc40.noarch.rpm: Already downloaded [SKIPPED] readline-8.2-8.fc40.s390x.rpm: Already downloaded [SKIPPED] redhat-rpm-config-280-1.fc40.noarch.rpm: Already downloaded [SKIPPED] rpm-4.19.1-4.fc40.s390x.rpm: Already downloaded [SKIPPED] rpm-build-4.19.1-4.fc40.s390x.rpm: Already downloaded [SKIPPED] rpm-build-libs-4.19.1-4.fc40.s390x.rpm: Already downloaded [SKIPPED] rpm-libs-4.19.1-4.fc40.s390x.rpm: Already downloaded [SKIPPED] rpm-sequoia-1.6.0-2.fc40.s390x.rpm: Already downloaded [SKIPPED] rust-srpm-macros-25.2-4.fc40.noarch.rpm: Already downloaded [SKIPPED] sed-4.9-1.fc40.s390x.rpm: Already downloaded [SKIPPED] setup-2.14.5-2.fc40.noarch.rpm: Already downloaded [SKIPPED] shadow-utils-4.14.0-4.fc40.s390x.rpm: Already downloaded [SKIPPED] sqlite-libs-3.45.1-2.fc40.s390x.rpm: Already downloaded [SKIPPED] systemd-libs-255.3-1.fc40.s390x.rpm: Already downloaded [SKIPPED] tar-1.35-3.fc40.s390x.rpm: Already downloaded [SKIPPED] unzip-6.0-63.fc40.s390x.rpm: Already downloaded [SKIPPED] util-linux-2.39.3-4.fc40.s390x.rpm: Already downloaded [SKIPPED] util-linux-core-2.39.3-4.fc40.s390x.rpm: Already downloaded [SKIPPED] which-2.21-41.fc40.s390x.rpm: Already downloaded [SKIPPED] xxhash-libs-0.8.2-2.fc40.s390x.rpm: Already downloaded [SKIPPED] xz-5.4.6-1.fc40.s390x.rpm: Already downloaded [SKIPPED] xz-libs-5.4.6-1.fc40.s390x.rpm: Already downloaded [SKIPPED] zig-srpm-macros-1-2.fc40.noarch.rpm: Already downloaded [SKIPPED] zip-3.0-40.fc40.s390x.rpm: Already downloaded [SKIPPED] zlib-ng-compat-2.1.6-2.fc40.s390x.rpm: Already downloaded [SKIPPED] zstd-1.5.5-5.fc40.s390x.rpm: Already downloaded Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.18-8.fc40.s390x 1/1 Preparing : 1/1 Installing : libgcc-14.0.1-0.4.fc40.s390x 1/152 Running scriptlet: libgcc-14.0.1-0.4.fc40.s390x 1/152 Installing : crypto-policies-20240201-1.git9f501f3.fc40.noarc 2/152 Running scriptlet: crypto-policies-20240201-1.git9f501f3.fc40.noarc 2/152 Installing : fedora-release-identity-basic-40-0.29.noarch 3/152 Installing : fedora-repos-rawhide-40-0.2.noarch 4/152 Installing : fedora-gpg-keys-40-0.2.noarch 5/152 Installing : fedora-repos-40-0.2.noarch 6/152 Installing : fedora-release-common-40-0.29.noarch 7/152 Installing : fedora-release-40-0.29.noarch 8/152 Installing : setup-2.14.5-2.fc40.noarch 9/152 warning: /etc/hosts created as /etc/hosts.rpmnew Running scriptlet: setup-2.14.5-2.fc40.noarch 9/152 Installing : filesystem-3.18-8.fc40.s390x 10/152 Installing : basesystem-11-20.fc40.noarch 11/152 Installing : rust-srpm-macros-25.2-4.fc40.noarch 12/152 Installing : qt6-srpm-macros-6.6.1-5.fc40.noarch 13/152 Installing : qt5-srpm-macros-5.15.12-3.fc40.noarch 14/152 Installing : publicsuffix-list-dafsa-20240107-3.fc40.noarch 15/152 Installing : pkgconf-m4-1.9.5-4.fc40.noarch 16/152 Installing : perl-srpm-macros-1-53.fc40.noarch 17/152 Installing : pcre2-syntax-10.42-2.fc40.2.noarch 18/152 Installing : package-notes-srpm-macros-0.5-11.fc40.noarch 19/152 Installing : openblas-srpm-macros-2-16.fc40.noarch 20/152 Installing : ocaml-srpm-macros-9-3.fc40.noarch 21/152 Installing : ncurses-base-6.4-12.20240127.fc40.noarch 22/152 Installing : glibc-gconv-extra-2.38.9000-39.fc40.s390x 23/152 Running scriptlet: glibc-gconv-extra-2.38.9000-39.fc40.s390x 23/152 Installing : glibc-minimal-langpack-2.38.9000-39.fc40.s390x 24/152 Installing : glibc-common-2.38.9000-39.fc40.s390x 25/152 Running scriptlet: glibc-2.38.9000-39.fc40.s390x 26/152 Installing : glibc-2.38.9000-39.fc40.s390x 26/152 Running scriptlet: glibc-2.38.9000-39.fc40.s390x 26/152 Installing : ncurses-libs-6.4-12.20240127.fc40.s390x 27/152 Installing : bash-5.2.26-2.fc40.s390x 28/152 Running scriptlet: bash-5.2.26-2.fc40.s390x 28/152 Installing : zlib-ng-compat-2.1.6-2.fc40.s390x 29/152 Installing : xz-libs-5.4.6-1.fc40.s390x 30/152 Installing : bzip2-libs-1.0.8-18.fc40.s390x 31/152 Installing : readline-8.2-8.fc40.s390x 32/152 Installing : libstdc++-14.0.1-0.4.fc40.s390x 33/152 Installing : libuuid-2.39.3-4.fc40.s390x 34/152 Installing : libzstd-1.5.5-5.fc40.s390x 35/152 Installing : elfutils-libelf-0.190-6.fc40.s390x 36/152 Installing : popt-1.19-6.fc40.s390x 37/152 Installing : libblkid-2.39.3-4.fc40.s390x 38/152 Installing : gmp-1:6.2.1-8.fc40.s390x 39/152 Installing : libattr-2.5.2-3.fc40.s390x 40/152 Installing : libacl-2.3.2-1.fc40.s390x 41/152 Installing : libxcrypt-4.4.36-5.fc40.s390x 42/152 Installing : gdbm-libs-1:1.23-6.fc40.s390x 43/152 Installing : libeconf-0.5.2-3.fc40.s390x 44/152 Installing : lz4-libs-1.9.4-6.fc40.s390x 45/152 Installing : mpfr-4.2.1-3.fc40.s390x 46/152 Installing : gawk-5.3.0-3.fc40.s390x 47/152 Installing : dwz-0.15-5.fc40.s390x 48/152 Installing : unzip-6.0-63.fc40.s390x 49/152 Installing : file-libs-5.45-3.fc40.s390x 50/152 Installing : file-5.45-3.fc40.s390x 51/152 Installing : alternatives-1.26-3.fc40.s390x 52/152 Installing : jansson-2.13.1-9.fc40.s390x 53/152 Installing : libcap-ng-0.8.4-4.fc40.s390x 54/152 Installing : audit-libs-4.0-7.fc40.s390x 55/152 Installing : pam-libs-1.6.0-1.fc40.s390x 56/152 Installing : libcap-2.69-3.fc40.s390x 57/152 Installing : systemd-libs-255.3-1.fc40.s390x 58/152 Installing : libcom_err-1.47.0-4.fc40.s390x 59/152 Installing : libsepol-3.6-3.fc40.s390x 60/152 Installing : libsmartcols-2.39.3-4.fc40.s390x 61/152 Installing : libtasn1-4.19.0-6.fc40.s390x 62/152 Installing : libunistring-1.1-7.fc40.s390x 63/152 Installing : libidn2-2.3.7-1.fc40.s390x 64/152 Installing : lua-libs-5.4.6-5.fc40.s390x 65/152 Installing : pcre2-10.42-2.fc40.2.s390x 66/152 Installing : libselinux-3.6-4.fc40.s390x 67/152 Installing : sed-4.9-1.fc40.s390x 68/152 Installing : grep-3.11-7.fc40.s390x 69/152 Installing : findutils-1:4.9.0-8.fc40.s390x 70/152 Installing : xz-5.4.6-1.fc40.s390x 71/152 Installing : libmount-2.39.3-4.fc40.s390x 72/152 Installing : util-linux-core-2.39.3-4.fc40.s390x 73/152 Installing : libsemanage-3.6-3.fc40.s390x 74/152 Installing : shadow-utils-2:4.14.0-4.fc40.s390x 75/152 Running scriptlet: libutempter-1.2.1-13.fc40.s390x 76/152 Installing : libutempter-1.2.1-13.fc40.s390x 76/152 Installing : tar-2:1.35-3.fc40.s390x 77/152 Installing : libpsl-0.21.5-3.fc40.s390x 78/152 Installing : zip-3.0-40.fc40.s390x 79/152 Installing : zstd-1.5.5-5.fc40.s390x 80/152 Installing : cyrus-sasl-lib-2.1.28-19.fc40.s390x 81/152 Installing : gdbm-1:1.23-6.fc40.s390x 82/152 Installing : libfdisk-2.39.3-4.fc40.s390x 83/152 Installing : bzip2-1.0.8-18.fc40.s390x 84/152 Installing : libxml2-2.12.4-3.fc40.s390x 85/152 Installing : sqlite-libs-3.45.1-2.fc40.s390x 86/152 Installing : ed-1.20-2.fc40.s390x 87/152 Installing : patch-2.7.6-24.fc40.s390x 88/152 Installing : elfutils-default-yama-scope-0.190-6.fc40.noarch 89/152 Running scriptlet: elfutils-default-yama-scope-0.190-6.fc40.noarch 89/152 Installing : cpio-2.15-1.fc40.s390x 90/152 Installing : diffutils-3.10-5.fc40.s390x 91/152 Installing : keyutils-libs-1.6.3-3.fc40.s390x 92/152 Installing : libbrotli-1.1.0-3.fc40.s390x 93/152 Installing : libffi-3.4.4-7.fc40.s390x 94/152 Installing : p11-kit-0.25.3-4.fc40.s390x 95/152 Installing : p11-kit-trust-0.25.3-4.fc40.s390x 96/152 Running scriptlet: p11-kit-trust-0.25.3-4.fc40.s390x 96/152 Installing : libgomp-14.0.1-0.4.fc40.s390x 97/152 Installing : libnghttp2-1.59.0-2.fc40.s390x 98/152 Installing : libpkgconf-1.9.5-4.fc40.s390x 99/152 Installing : pkgconf-1.9.5-4.fc40.s390x 100/152 Installing : pkgconf-pkg-config-1.9.5-4.fc40.s390x 101/152 Installing : libverto-0.3.2-8.fc40.s390x 102/152 Installing : xxhash-libs-0.8.2-2.fc40.s390x 103/152 Installing : libssh-config-0.10.6-4.fc40.noarch 104/152 Installing : kernel-srpm-macros-1.0-22.fc40.noarch 105/152 Installing : gnat-srpm-macros-6-5.fc40.noarch 106/152 Installing : ghc-srpm-macros-1.6.1-5.fc40.noarch 107/152 Installing : fpc-srpm-macros-1.3-12.fc40.noarch 108/152 Installing : coreutils-common-9.4-6.fc40.s390x 109/152 Installing : openssl-libs-1:3.1.4-4.fc40.s390x 110/152 Installing : coreutils-9.4-6.fc40.s390x 111/152 Running scriptlet: ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch 112/152 Installing : ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch 112/152 Running scriptlet: ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch 112/152 Installing : krb5-libs-1.21.2-5.fc40.s390x 113/152 Installing : libtirpc-1.3.4-1.rc2.fc40.2.s390x 114/152 Running scriptlet: authselect-libs-1.5.0-3.fc40.s390x 115/152 Installing : authselect-libs-1.5.0-3.fc40.s390x 115/152 Installing : gzip-1.13-1.fc40.s390x 116/152 Installing : cracklib-2.9.11-5.fc40.s390x 117/152 Installing : libpwquality-1.4.5-9.fc40.s390x 118/152 Installing : authselect-1.5.0-3.fc40.s390x 119/152 Installing : libnsl2-2.0.1-1.fc40.s390x 120/152 Installing : pam-1.6.0-1.fc40.s390x 121/152 Installing : libssh-0.10.6-4.fc40.s390x 122/152 Installing : libarchive-3.7.2-3.fc40.s390x 123/152 Installing : libevent-2.1.12-11.fc40.s390x 124/152 Installing : openldap-2.6.6-1.fc39.s390x 125/152 Installing : libcurl-8.6.0-2.fc40.s390x 126/152 Installing : elfutils-libs-0.190-6.fc40.s390x 127/152 Installing : elfutils-debuginfod-client-0.190-6.fc40.s390x 128/152 Installing : binutils-gold-2.41-32.fc40.s390x 129/152 Running scriptlet: binutils-gold-2.41-32.fc40.s390x 129/152 Installing : binutils-2.41-32.fc40.s390x 130/152 Running scriptlet: binutils-2.41-32.fc40.s390x 130/152 Installing : gdb-minimal-14.1-8.fc40.s390x 131/152 Installing : elfutils-0.190-6.fc40.s390x 132/152 Installing : debugedit-5.0-14.fc40.s390x 133/152 Installing : curl-8.6.0-2.fc40.s390x 134/152 Installing : rpm-sequoia-1.6.0-2.fc40.s390x 135/152 Installing : rpm-libs-4.19.1-4.fc40.s390x 136/152 Running scriptlet: rpm-4.19.1-4.fc40.s390x 137/152 Installing : rpm-4.19.1-4.fc40.s390x 137/152 Installing : efi-srpm-macros-5-11.fc40.noarch 138/152 Installing : lua-srpm-macros-1-11.fc40.noarch 139/152 Installing : zig-srpm-macros-1-2.fc40.noarch 140/152 Installing : rpm-build-libs-4.19.1-4.fc40.s390x 141/152 Installing : ansible-srpm-macros-1-14.fc40.noarch 142/152 Installing : fonts-srpm-macros-1:2.0.5-14.fc40.noarch 143/152 Installing : forge-srpm-macros-0.2.0-3.fc40.noarch 144/152 Installing : go-srpm-macros-3.3.1-3.fc40.noarch 145/152 Installing : python-srpm-macros-3.12-7.fc40.noarch 146/152 Installing : redhat-rpm-config-280-1.fc40.noarch 147/152 Installing : rpm-build-4.19.1-4.fc40.s390x 148/152 Installing : pyproject-srpm-macros-1.12.0-1.fc40.noarch 149/152 Installing : util-linux-2.39.3-4.fc40.s390x 150/152 Installing : which-2.21-41.fc40.s390x 151/152 Installing : info-7.1-2.fc40.s390x 152/152 Running scriptlet: filesystem-3.18-8.fc40.s390x 152/152 Running scriptlet: ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch 152/152 Running scriptlet: authselect-libs-1.5.0-3.fc40.s390x 152/152 Running scriptlet: rpm-4.19.1-4.fc40.s390x 152/152 Running scriptlet: info-7.1-2.fc40.s390x 152/152 Installed: alternatives-1.26-3.fc40.s390x ansible-srpm-macros-1-14.fc40.noarch audit-libs-4.0-7.fc40.s390x authselect-1.5.0-3.fc40.s390x authselect-libs-1.5.0-3.fc40.s390x basesystem-11-20.fc40.noarch bash-5.2.26-2.fc40.s390x binutils-2.41-32.fc40.s390x binutils-gold-2.41-32.fc40.s390x bzip2-1.0.8-18.fc40.s390x bzip2-libs-1.0.8-18.fc40.s390x ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch coreutils-9.4-6.fc40.s390x coreutils-common-9.4-6.fc40.s390x cpio-2.15-1.fc40.s390x cracklib-2.9.11-5.fc40.s390x crypto-policies-20240201-1.git9f501f3.fc40.noarch curl-8.6.0-2.fc40.s390x cyrus-sasl-lib-2.1.28-19.fc40.s390x debugedit-5.0-14.fc40.s390x diffutils-3.10-5.fc40.s390x dwz-0.15-5.fc40.s390x ed-1.20-2.fc40.s390x efi-srpm-macros-5-11.fc40.noarch elfutils-0.190-6.fc40.s390x elfutils-debuginfod-client-0.190-6.fc40.s390x elfutils-default-yama-scope-0.190-6.fc40.noarch elfutils-libelf-0.190-6.fc40.s390x elfutils-libs-0.190-6.fc40.s390x fedora-gpg-keys-40-0.2.noarch fedora-release-40-0.29.noarch fedora-release-common-40-0.29.noarch fedora-release-identity-basic-40-0.29.noarch fedora-repos-40-0.2.noarch fedora-repos-rawhide-40-0.2.noarch file-5.45-3.fc40.s390x file-libs-5.45-3.fc40.s390x filesystem-3.18-8.fc40.s390x findutils-1:4.9.0-8.fc40.s390x fonts-srpm-macros-1:2.0.5-14.fc40.noarch forge-srpm-macros-0.2.0-3.fc40.noarch fpc-srpm-macros-1.3-12.fc40.noarch gawk-5.3.0-3.fc40.s390x gdb-minimal-14.1-8.fc40.s390x gdbm-1:1.23-6.fc40.s390x gdbm-libs-1:1.23-6.fc40.s390x ghc-srpm-macros-1.6.1-5.fc40.noarch glibc-2.38.9000-39.fc40.s390x glibc-common-2.38.9000-39.fc40.s390x glibc-gconv-extra-2.38.9000-39.fc40.s390x glibc-minimal-langpack-2.38.9000-39.fc40.s390x gmp-1:6.2.1-8.fc40.s390x gnat-srpm-macros-6-5.fc40.noarch go-srpm-macros-3.3.1-3.fc40.noarch grep-3.11-7.fc40.s390x gzip-1.13-1.fc40.s390x info-7.1-2.fc40.s390x jansson-2.13.1-9.fc40.s390x kernel-srpm-macros-1.0-22.fc40.noarch keyutils-libs-1.6.3-3.fc40.s390x krb5-libs-1.21.2-5.fc40.s390x libacl-2.3.2-1.fc40.s390x libarchive-3.7.2-3.fc40.s390x libattr-2.5.2-3.fc40.s390x libblkid-2.39.3-4.fc40.s390x libbrotli-1.1.0-3.fc40.s390x libcap-2.69-3.fc40.s390x libcap-ng-0.8.4-4.fc40.s390x libcom_err-1.47.0-4.fc40.s390x libcurl-8.6.0-2.fc40.s390x libeconf-0.5.2-3.fc40.s390x libevent-2.1.12-11.fc40.s390x libfdisk-2.39.3-4.fc40.s390x libffi-3.4.4-7.fc40.s390x libgcc-14.0.1-0.4.fc40.s390x libgomp-14.0.1-0.4.fc40.s390x libidn2-2.3.7-1.fc40.s390x libmount-2.39.3-4.fc40.s390x libnghttp2-1.59.0-2.fc40.s390x libnsl2-2.0.1-1.fc40.s390x libpkgconf-1.9.5-4.fc40.s390x libpsl-0.21.5-3.fc40.s390x libpwquality-1.4.5-9.fc40.s390x libselinux-3.6-4.fc40.s390x libsemanage-3.6-3.fc40.s390x libsepol-3.6-3.fc40.s390x libsmartcols-2.39.3-4.fc40.s390x libssh-0.10.6-4.fc40.s390x libssh-config-0.10.6-4.fc40.noarch libstdc++-14.0.1-0.4.fc40.s390x libtasn1-4.19.0-6.fc40.s390x libtirpc-1.3.4-1.rc2.fc40.2.s390x libunistring-1.1-7.fc40.s390x libutempter-1.2.1-13.fc40.s390x libuuid-2.39.3-4.fc40.s390x libverto-0.3.2-8.fc40.s390x libxcrypt-4.4.36-5.fc40.s390x libxml2-2.12.4-3.fc40.s390x libzstd-1.5.5-5.fc40.s390x lua-libs-5.4.6-5.fc40.s390x lua-srpm-macros-1-11.fc40.noarch lz4-libs-1.9.4-6.fc40.s390x mpfr-4.2.1-3.fc40.s390x ncurses-base-6.4-12.20240127.fc40.noarch ncurses-libs-6.4-12.20240127.fc40.s390x ocaml-srpm-macros-9-3.fc40.noarch openblas-srpm-macros-2-16.fc40.noarch openldap-2.6.6-1.fc39.s390x openssl-libs-1:3.1.4-4.fc40.s390x p11-kit-0.25.3-4.fc40.s390x p11-kit-trust-0.25.3-4.fc40.s390x package-notes-srpm-macros-0.5-11.fc40.noarch pam-1.6.0-1.fc40.s390x pam-libs-1.6.0-1.fc40.s390x patch-2.7.6-24.fc40.s390x pcre2-10.42-2.fc40.2.s390x pcre2-syntax-10.42-2.fc40.2.noarch perl-srpm-macros-1-53.fc40.noarch pkgconf-1.9.5-4.fc40.s390x pkgconf-m4-1.9.5-4.fc40.noarch pkgconf-pkg-config-1.9.5-4.fc40.s390x popt-1.19-6.fc40.s390x publicsuffix-list-dafsa-20240107-3.fc40.noarch pyproject-srpm-macros-1.12.0-1.fc40.noarch python-srpm-macros-3.12-7.fc40.noarch qt5-srpm-macros-5.15.12-3.fc40.noarch qt6-srpm-macros-6.6.1-5.fc40.noarch readline-8.2-8.fc40.s390x redhat-rpm-config-280-1.fc40.noarch rpm-4.19.1-4.fc40.s390x rpm-build-4.19.1-4.fc40.s390x rpm-build-libs-4.19.1-4.fc40.s390x rpm-libs-4.19.1-4.fc40.s390x rpm-sequoia-1.6.0-2.fc40.s390x rust-srpm-macros-25.2-4.fc40.noarch sed-4.9-1.fc40.s390x setup-2.14.5-2.fc40.noarch shadow-utils-2:4.14.0-4.fc40.s390x sqlite-libs-3.45.1-2.fc40.s390x systemd-libs-255.3-1.fc40.s390x tar-2:1.35-3.fc40.s390x unzip-6.0-63.fc40.s390x util-linux-2.39.3-4.fc40.s390x util-linux-core-2.39.3-4.fc40.s390x which-2.21-41.fc40.s390x xxhash-libs-0.8.2-2.fc40.s390x xz-5.4.6-1.fc40.s390x xz-libs-5.4.6-1.fc40.s390x zig-srpm-macros-1-2.fc40.noarch zip-3.0-40.fc40.s390x zlib-ng-compat-2.1.6-2.fc40.s390x zstd-1.5.5-5.fc40.s390x Complete! Finish: installing minimal buildroot with dnf Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: alternatives-1.26-3.fc40.s390x ansible-srpm-macros-1-14.fc40.noarch audit-libs-4.0-7.fc40.s390x authselect-1.5.0-3.fc40.s390x authselect-libs-1.5.0-3.fc40.s390x basesystem-11-20.fc40.noarch bash-5.2.26-2.fc40.s390x binutils-2.41-32.fc40.s390x binutils-gold-2.41-32.fc40.s390x bzip2-1.0.8-18.fc40.s390x bzip2-libs-1.0.8-18.fc40.s390x ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch coreutils-9.4-6.fc40.s390x coreutils-common-9.4-6.fc40.s390x cpio-2.15-1.fc40.s390x cracklib-2.9.11-5.fc40.s390x crypto-policies-20240201-1.git9f501f3.fc40.noarch curl-8.6.0-2.fc40.s390x cyrus-sasl-lib-2.1.28-19.fc40.s390x debugedit-5.0-14.fc40.s390x diffutils-3.10-5.fc40.s390x dwz-0.15-5.fc40.s390x ed-1.20-2.fc40.s390x efi-srpm-macros-5-11.fc40.noarch elfutils-0.190-6.fc40.s390x elfutils-debuginfod-client-0.190-6.fc40.s390x elfutils-default-yama-scope-0.190-6.fc40.noarch elfutils-libelf-0.190-6.fc40.s390x elfutils-libs-0.190-6.fc40.s390x fedora-gpg-keys-40-0.2.noarch fedora-release-40-0.29.noarch fedora-release-common-40-0.29.noarch fedora-release-identity-basic-40-0.29.noarch fedora-repos-40-0.2.noarch fedora-repos-rawhide-40-0.2.noarch file-5.45-3.fc40.s390x file-libs-5.45-3.fc40.s390x filesystem-3.18-8.fc40.s390x findutils-4.9.0-8.fc40.s390x fonts-srpm-macros-2.0.5-14.fc40.noarch forge-srpm-macros-0.2.0-3.fc40.noarch fpc-srpm-macros-1.3-12.fc40.noarch gawk-5.3.0-3.fc40.s390x gdb-minimal-14.1-8.fc40.s390x gdbm-1.23-6.fc40.s390x gdbm-libs-1.23-6.fc40.s390x ghc-srpm-macros-1.6.1-5.fc40.noarch glibc-2.38.9000-39.fc40.s390x glibc-common-2.38.9000-39.fc40.s390x glibc-gconv-extra-2.38.9000-39.fc40.s390x glibc-minimal-langpack-2.38.9000-39.fc40.s390x gmp-6.2.1-8.fc40.s390x gnat-srpm-macros-6-5.fc40.noarch go-srpm-macros-3.3.1-3.fc40.noarch grep-3.11-7.fc40.s390x gzip-1.13-1.fc40.s390x info-7.1-2.fc40.s390x jansson-2.13.1-9.fc40.s390x kernel-srpm-macros-1.0-22.fc40.noarch keyutils-libs-1.6.3-3.fc40.s390x krb5-libs-1.21.2-5.fc40.s390x libacl-2.3.2-1.fc40.s390x libarchive-3.7.2-3.fc40.s390x libattr-2.5.2-3.fc40.s390x libblkid-2.39.3-4.fc40.s390x libbrotli-1.1.0-3.fc40.s390x libcap-2.69-3.fc40.s390x libcap-ng-0.8.4-4.fc40.s390x libcom_err-1.47.0-4.fc40.s390x libcurl-8.6.0-2.fc40.s390x libeconf-0.5.2-3.fc40.s390x libevent-2.1.12-11.fc40.s390x libfdisk-2.39.3-4.fc40.s390x libffi-3.4.4-7.fc40.s390x libgcc-14.0.1-0.4.fc40.s390x libgomp-14.0.1-0.4.fc40.s390x libidn2-2.3.7-1.fc40.s390x libmount-2.39.3-4.fc40.s390x libnghttp2-1.59.0-2.fc40.s390x libnsl2-2.0.1-1.fc40.s390x libpkgconf-1.9.5-4.fc40.s390x libpsl-0.21.5-3.fc40.s390x libpwquality-1.4.5-9.fc40.s390x libselinux-3.6-4.fc40.s390x libsemanage-3.6-3.fc40.s390x libsepol-3.6-3.fc40.s390x libsmartcols-2.39.3-4.fc40.s390x libssh-0.10.6-4.fc40.s390x libssh-config-0.10.6-4.fc40.noarch libstdc++-14.0.1-0.4.fc40.s390x libtasn1-4.19.0-6.fc40.s390x libtirpc-1.3.4-1.rc2.fc40.2.s390x libunistring-1.1-7.fc40.s390x libutempter-1.2.1-13.fc40.s390x libuuid-2.39.3-4.fc40.s390x libverto-0.3.2-8.fc40.s390x libxcrypt-4.4.36-5.fc40.s390x libxml2-2.12.4-3.fc40.s390x libzstd-1.5.5-5.fc40.s390x lua-libs-5.4.6-5.fc40.s390x lua-srpm-macros-1-11.fc40.noarch lz4-libs-1.9.4-6.fc40.s390x mpfr-4.2.1-3.fc40.s390x ncurses-base-6.4-12.20240127.fc40.noarch ncurses-libs-6.4-12.20240127.fc40.s390x ocaml-srpm-macros-9-3.fc40.noarch openblas-srpm-macros-2-16.fc40.noarch openldap-2.6.6-1.fc39.s390x openssl-libs-3.1.4-4.fc40.s390x p11-kit-0.25.3-4.fc40.s390x p11-kit-trust-0.25.3-4.fc40.s390x package-notes-srpm-macros-0.5-11.fc40.noarch pam-1.6.0-1.fc40.s390x pam-libs-1.6.0-1.fc40.s390x patch-2.7.6-24.fc40.s390x pcre2-10.42-2.fc40.2.s390x pcre2-syntax-10.42-2.fc40.2.noarch perl-srpm-macros-1-53.fc40.noarch pkgconf-1.9.5-4.fc40.s390x pkgconf-m4-1.9.5-4.fc40.noarch pkgconf-pkg-config-1.9.5-4.fc40.s390x popt-1.19-6.fc40.s390x publicsuffix-list-dafsa-20240107-3.fc40.noarch pyproject-srpm-macros-1.12.0-1.fc40.noarch python-srpm-macros-3.12-7.fc40.noarch qt5-srpm-macros-5.15.12-3.fc40.noarch qt6-srpm-macros-6.6.1-5.fc40.noarch readline-8.2-8.fc40.s390x redhat-rpm-config-280-1.fc40.noarch rpm-4.19.1-4.fc40.s390x rpm-build-4.19.1-4.fc40.s390x rpm-build-libs-4.19.1-4.fc40.s390x rpm-libs-4.19.1-4.fc40.s390x rpm-sequoia-1.6.0-2.fc40.s390x rust-srpm-macros-25.2-4.fc40.noarch sed-4.9-1.fc40.s390x setup-2.14.5-2.fc40.noarch shadow-utils-4.14.0-4.fc40.s390x sqlite-libs-3.45.1-2.fc40.s390x systemd-libs-255.3-1.fc40.s390x tar-1.35-3.fc40.s390x unzip-6.0-63.fc40.s390x util-linux-2.39.3-4.fc40.s390x util-linux-core-2.39.3-4.fc40.s390x which-2.21-41.fc40.s390x xxhash-libs-0.8.2-2.fc40.s390x xz-5.4.6-1.fc40.s390x xz-libs-5.4.6-1.fc40.s390x zig-srpm-macros-1-2.fc40.noarch zip-3.0-40.fc40.s390x zlib-ng-compat-2.1.6-2.fc40.s390x zstd-1.5.5-5.fc40.s390x Start: buildsrpm Start: rpmbuild -bs Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1706832000 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.4-4.fc40.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-39-s390x-1706917425.648550/root/var/log/dnf.rpm.log /var/lib/mock/fedora-39-s390x-1706917425.648550/root/var/log/dnf.librepo.log /var/lib/mock/fedora-39-s390x-1706917425.648550/root/var/log/dnf.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-jocn6v5z/gappalib-coq/gappalib-coq.spec) Config(child) 3 minutes 5 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.4-4.fc40.src.rpm) Config(fedora-39-s390x) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-39-s390x-bootstrap-1706917425.648550/root. INFO: reusing tmpfs at /var/lib/mock/fedora-39-s390x-bootstrap-1706917425.648550/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-39-s390x-1706917425.648550/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.19.0-1.fc39.s390x rpm-sequoia-1.5.0-1.fc39.s390x python3-dnf-4.18.2-1.fc40.noarch python3-dnf-plugins-core-4.4.4-3.fc40.noarch yum-4.18.2-1.fc40.noarch Finish: chroot init Start: build phase for gappalib-coq-1.5.4-4.fc40.src.rpm Start: build setup for gappalib-coq-1.5.4-4.fc40.src.rpm Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1706832000 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.4-4.fc40.src.rpm No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 313 B/s | 1.5 kB 00:05 Additional repo http_kojipkgs_fedoraproject_org 128 kB/s | 3.8 kB 00:00 fedora 71 kB/s | 3.8 kB 00:00 updates 90 kB/s | 4.8 kB 00:00 Dependencies resolved. =============================================================================================================================== Package Arch Version Repository Size =============================================================================================================================== Installing: autoconf noarch 2.71-10.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 720 k coq s390x 8.18.0-4.fc40 copr_base 24 M flocq s390x 4.1.4-1.fc40 copr_base 3.6 M gappa s390x 1.4.2-3.fc40 copr_base 283 k gcc-c++ s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 12 M ocaml s390x 5.1.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 33 M ocaml-findlib s390x 1.9.6-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.0 M ocaml-zarith-devel s390x 1.13-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 390 k remake s390x 0.14-10.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 66 k Installing dependencies: annobin-docs noarch 12.38-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 90 k annobin-plugin-gcc s390x 12.38-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 956 k coq-core s390x 8.18.0-4.fc40 copr_base 236 M cpp s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.6 M csdp s390x 6.2.0-18.fc40 copr_base 312 k csdp-tools s390x 6.2.0-18.fc40 copr_base 30 k emacs-filesystem noarch 1:29.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 7.8 k expat s390x 2.5.0-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 114 k flexiblas s390x 3.4.1-3.fc40 copr_base 25 k flexiblas-netlib s390x 3.4.1-3.fc40 copr_base 3.7 M flexiblas-openblas-openmp s390x 3.4.1-3.fc40 copr_base 18 k gc s390x 8.2.2-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 114 k gcc s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 30 M gcc-plugin-annobin s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 34 k glibc-devel s390x 2.38.9000-39.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 120 k glibc-headers-s390 noarch 2.38.9000-39.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 517 k gmp-c++ s390x 1:6.2.1-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 18 k gmp-devel s390x 1:6.2.1-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 174 k groff-base s390x 1.23.0-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M guile30 s390x 3.0.7-12.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.1 M kernel-headers s390x 6.8.0-0.rc1.12.fc40.1 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.4 M libasan s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 521 k libatomic s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k libb2 s390x 0.98.1-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 27 k libgfortran s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 601 k libmpc s390x 1.3.1-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 74 k libstdc++-devel s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.6 M libubsan s390x 14.0.1-0.4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 214 k libxcrypt-devel s390x 4.4.36-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k libzstd-devel s390x 1.5.5-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 51 k m4 s390x 1.4.19-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 310 k make s390x 1:4.4.1-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 601 k mpdecimal s390x 2.5.1-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 101 k ncurses s390x 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 424 k ocaml-runtime s390x 5.1.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 3.2 M ocaml-zarith s390x 1.13-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 162 k openblas s390x 0.3.26-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 38 k openblas-openmp s390x 0.3.26-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 4.3 M perl-AutoLoader noarch 5.74-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k perl-B s390x 1.88-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 179 k perl-Carp noarch 1.54-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k perl-Class-Struct noarch 0.68-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 23 k perl-Data-Dumper s390x 2.188-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 57 k perl-Digest noarch 1.20-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 k perl-Digest-MD5 s390x 2.59-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 36 k perl-DynaLoader s390x 1.54-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 26 k perl-Encode s390x 4:3.20-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.7 M perl-Errno s390x 1.37-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 15 k perl-Exporter noarch 5.78-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 31 k perl-Fcntl s390x 1.15-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k perl-File-Basename noarch 2.86-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 18 k perl-File-Compare noarch 1.100.700-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k perl-File-Copy noarch 2.41-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k perl-File-Find noarch 1.43-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 26 k perl-File-Path noarch 2.18-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 35 k perl-File-Temp noarch 1:0.231.100-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 59 k perl-File-stat noarch 1.13-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 18 k perl-FileHandle noarch 2.05-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 16 k perl-Getopt-Long noarch 1:2.57-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 63 k perl-Getopt-Std noarch 1.13-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 16 k perl-HTTP-Tiny noarch 0.088-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 56 k perl-IO s390x 1.52-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 78 k perl-IO-Socket-IP noarch 0.42-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 42 k perl-IO-Socket-SSL noarch 2.085-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 225 k perl-IPC-Open3 noarch 1.22-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k perl-MIME-Base64 s390x 3.16-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 30 k perl-Mozilla-CA noarch 20231213-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k perl-Net-SSLeay s390x 1.94-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 370 k perl-POSIX s390x 2.13-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 98 k perl-PathTools s390x 3.89-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 82 k perl-Pod-Escapes noarch 1:1.07-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 20 k perl-Pod-Perldoc noarch 3.28.01-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 79 k perl-Pod-Simple noarch 1:3.45-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 209 k perl-Pod-Usage noarch 4:2.03-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 40 k perl-Scalar-List-Utils s390x 5:1.63-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 74 k perl-SelectSaver noarch 1.02-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 12 k perl-Socket s390x 4:2.037-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 55 k perl-Storable s390x 1:3.32-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 99 k perl-Symbol noarch 1.09-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 15 k perl-Term-ANSIColor noarch 5.01-504.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 48 k perl-Term-Cap noarch 1.18-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k perl-Text-ParseWords noarch 3.31-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 16 k perl-Text-Tabs+Wrap noarch 2023.0511-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k perl-Time-Local noarch 2:1.350-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 34 k perl-URI noarch 5.25-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 113 k perl-base noarch 2.27-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 17 k perl-constant noarch 1.33-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 23 k perl-if noarch 0.61.000-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k perl-interpreter s390x 4:5.38.2-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 72 k perl-libnet noarch 3.15-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 122 k perl-libs s390x 4:5.38.2-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.4 M perl-locale noarch 1.10-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k perl-mro s390x 1.28-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k perl-overload noarch 1.37-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 46 k perl-overloading noarch 0.02-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 13 k perl-parent noarch 1:0.241-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 15 k perl-podlators noarch 1:5.01-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 121 k perl-vars noarch 1.05-506.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 13 k python-pip-wheel noarch 23.3.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.5 M python3 s390x 3.12.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 27 k python3-libs s390x 3.12.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.8 M texlive-base s390x 11:20230311-81.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.6 M tzdata noarch 2023d-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 434 k Transaction Summary =============================================================================================================================== Install 112 Packages Total size: 401 M Total download size: 302 M Installed size: 1.3 G Downloading Packages: [SKIPPED] flexiblas-3.4.1-3.fc40.s390x.rpm: Already downloaded [SKIPPED] flexiblas-netlib-3.4.1-3.fc40.s390x.rpm: Already downloaded [SKIPPED] flexiblas-openblas-openmp-3.4.1-3.fc40.s390x.rpm: Already downloaded [SKIPPED] annobin-docs-12.38-1.fc40.noarch.rpm: Already downloaded [SKIPPED] annobin-plugin-gcc-12.38-1.fc40.s390x.rpm: Already downloaded [SKIPPED] autoconf-2.71-10.fc40.noarch.rpm: Already downloaded [SKIPPED] cpp-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] emacs-filesystem-29.2-3.fc40.noarch.rpm: Already downloaded [SKIPPED] expat-2.5.0-5.fc40.s390x.rpm: Already downloaded [SKIPPED] gc-8.2.2-6.fc40.s390x.rpm: Already downloaded [SKIPPED] gcc-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] gcc-c++-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] gcc-plugin-annobin-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] glibc-devel-2.38.9000-39.fc40.s390x.rpm: Already downloaded [SKIPPED] glibc-headers-s390-2.38.9000-39.fc40.noarch.rpm: Already downloaded [SKIPPED] gmp-c++-6.2.1-8.fc40.s390x.rpm: Already downloaded [SKIPPED] gmp-devel-6.2.1-8.fc40.s390x.rpm: Already downloaded [SKIPPED] groff-base-1.23.0-6.fc40.s390x.rpm: Already downloaded [SKIPPED] guile30-3.0.7-12.fc40.s390x.rpm: Already downloaded [SKIPPED] kernel-headers-6.8.0-0.rc1.12.fc40.1.s390x.rpm: Already downloaded [SKIPPED] libasan-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] libatomic-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] libb2-0.98.1-11.fc40.s390x.rpm: Already downloaded [SKIPPED] libgfortran-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] libmpc-1.3.1-5.fc40.s390x.rpm: Already downloaded [SKIPPED] libstdc++-devel-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] libubsan-14.0.1-0.4.fc40.s390x.rpm: Already downloaded [SKIPPED] libxcrypt-devel-4.4.36-5.fc40.s390x.rpm: Already downloaded [SKIPPED] m4-1.4.19-9.fc40.s390x.rpm: Already downloaded [SKIPPED] make-4.4.1-6.fc40.s390x.rpm: Already downloaded [SKIPPED] mpdecimal-2.5.1-9.fc40.s390x.rpm: Already downloaded [SKIPPED] ncurses-6.4-12.20240127.fc40.s390x.rpm: Already downloaded [SKIPPED] openblas-0.3.26-1.fc40.s390x.rpm: Already downloaded [SKIPPED] openblas-openmp-0.3.26-1.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-AutoLoader-5.74-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-B-1.88-506.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-Carp-1.54-502.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Class-Struct-0.68-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Data-Dumper-2.188-503.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-Digest-1.20-502.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Digest-MD5-2.59-3.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-DynaLoader-1.54-506.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-Encode-3.20-503.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-Errno-1.37-506.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-Exporter-5.78-3.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Fcntl-1.15-506.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-File-Basename-2.86-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-File-Compare-1.100.700-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-File-Copy-2.41-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-File-Find-1.43-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-File-Path-2.18-503.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-File-Temp-0.231.100-503.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-File-stat-1.13-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-FileHandle-2.05-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Getopt-Long-2.57-3.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Getopt-Std-1.13-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-HTTP-Tiny-0.088-5.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-IO-1.52-506.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-IO-Socket-IP-0.42-2.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-IO-Socket-SSL-2.085-1.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-IPC-Open3-1.22-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-MIME-Base64-3.16-503.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-Mozilla-CA-20231213-3.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Net-SSLeay-1.94-3.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-POSIX-2.13-506.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-PathTools-3.89-502.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-Pod-Escapes-1.07-503.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Pod-Perldoc-3.28.01-503.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Pod-Simple-3.45-6.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Pod-Usage-2.03-502.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Scalar-List-Utils-1.63-502.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-SelectSaver-1.02-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Socket-2.037-5.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-Storable-3.32-502.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-Symbol-1.09-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Term-ANSIColor-5.01-504.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Term-Cap-1.18-503.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Text-ParseWords-3.31-502.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Text-Tabs+Wrap-2023.0511-5.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-Time-Local-1.350-5.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-URI-5.25-1.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-base-2.27-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-constant-1.33-503.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-if-0.61.000-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-interpreter-5.38.2-506.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-libnet-3.15-503.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-libs-5.38.2-506.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-locale-1.10-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-mro-1.28-506.fc40.s390x.rpm: Already downloaded [SKIPPED] perl-overload-1.37-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-overloading-0.02-506.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-parent-0.241-502.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-podlators-5.01-502.fc40.noarch.rpm: Already downloaded [SKIPPED] perl-vars-1.05-506.fc40.noarch.rpm: Already downloaded [SKIPPED] python-pip-wheel-23.3.2-1.fc40.noarch.rpm: Already downloaded [SKIPPED] python3-3.12.1-4.fc40.s390x.rpm: Already downloaded [SKIPPED] python3-libs-3.12.1-4.fc40.s390x.rpm: Already downloaded [SKIPPED] texlive-base-20230311-81.fc40.s390x.rpm: Already downloaded [SKIPPED] tzdata-2023d-3.fc40.noarch.rpm: Already downloaded (100/112): csdp-6.2.0-18.fc40.s390x.rpm 6.7 MB/s | 312 kB 00:00 (101/112): csdp-tools-6.2.0-18.fc40.s390x.rpm 4.3 MB/s | 30 kB 00:00 (102/112): flocq-4.1.4-1.fc40.s390x.rpm 182 MB/s | 3.6 MB 00:00 (103/112): coq-8.18.0-4.fc40.s390x.rpm 197 MB/s | 24 MB 00:00 (104/112): gappa-1.4.2-3.fc40.s390x.rpm 7.5 MB/s | 283 kB 00:00 (105/112): libzstd-devel-1.5.5-5.fc40.s390x.rpm 2.0 MB/s | 51 kB 00:00 (106/112): ocaml-findlib-1.9.6-11.fc40.s390x.rp 28 MB/s | 1.0 MB 00:00 (107/112): ocaml-runtime-5.1.1-4.fc40.s390x.rpm 65 MB/s | 3.2 MB 00:00 (108/112): ocaml-zarith-1.13-6.fc40.s390x.rpm 22 MB/s | 162 kB 00:00 (109/112): ocaml-zarith-devel-1.13-6.fc40.s390x 35 MB/s | 390 kB 00:00 (110/112): remake-0.14-10.fc40.s390x.rpm 11 MB/s | 66 kB 00:00 (111/112): coq-core-8.18.0-4.fc40.s390x.rpm 364 MB/s | 236 MB 00:00 (112/112): ocaml-5.1.1-4.fc40.s390x.rpm 41 MB/s | 33 MB 00:00 -------------------------------------------------------------------------------- Total 297 MB/s | 302 MB 00:01 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: texlive-base-11:20230311-81.fc40.s390x 1/1 Preparing : 1/1 Installing : ocaml-runtime-5.1.1-4.fc40.s390x 1/112 Installing : libmpc-1.3.1-5.fc40.s390x 2/112 Installing : libgfortran-14.0.1-0.4.fc40.s390x 3/112 Installing : cpp-14.0.1-0.4.fc40.s390x 4/112 Installing : tzdata-2023d-3.fc40.noarch 5/112 Running scriptlet: texlive-base-11:20230311-81.fc40.s390x 6/112 Installing : texlive-base-11:20230311-81.fc40.s390x 6/112 Installing : python-pip-wheel-23.3.2-1.fc40.noarch 7/112 Installing : openblas-0.3.26-1.fc40.s390x 8/112 Installing : openblas-openmp-0.3.26-1.fc40.s390x 9/112 Installing : flexiblas-netlib-3.4.1-3.fc40.s390x 10/112 Installing : flexiblas-openblas-openmp-3.4.1-3.fc40.s390x 11/112 Installing : flexiblas-3.4.1-3.fc40.s390x 12/112 Installing : csdp-6.2.0-18.fc40.s390x 13/112 Installing : csdp-tools-6.2.0-18.fc40.s390x 14/112 Installing : ncurses-6.4-12.20240127.fc40.s390x 15/112 Installing : mpdecimal-2.5.1-9.fc40.s390x 16/112 Installing : m4-1.4.19-9.fc40.s390x 17/112 Installing : libzstd-devel-1.5.5-5.fc40.s390x 18/112 Installing : libubsan-14.0.1-0.4.fc40.s390x 19/112 Installing : libstdc++-devel-14.0.1-0.4.fc40.s390x 20/112 Installing : libb2-0.98.1-11.fc40.s390x 21/112 Installing : libatomic-14.0.1-0.4.fc40.s390x 22/112 Installing : libasan-14.0.1-0.4.fc40.s390x 23/112 Installing : kernel-headers-6.8.0-0.rc1.12.fc40.1.s390x 24/112 Running scriptlet: groff-base-1.23.0-6.fc40.s390x 25/112 Installing : groff-base-1.23.0-6.fc40.s390x 25/112 Running scriptlet: groff-base-1.23.0-6.fc40.s390x 25/112 Installing : perl-Digest-1.20-502.fc40.noarch 26/112 Installing : perl-Digest-MD5-2.59-3.fc40.s390x 27/112 Installing : perl-B-1.88-506.fc40.s390x 28/112 Installing : perl-FileHandle-2.05-506.fc40.noarch 29/112 Installing : perl-Data-Dumper-2.188-503.fc40.s390x 30/112 Installing : perl-libnet-3.15-503.fc40.noarch 31/112 Installing : perl-AutoLoader-5.74-506.fc40.noarch 32/112 Installing : perl-URI-5.25-1.fc40.noarch 33/112 Installing : perl-Text-Tabs+Wrap-2023.0511-5.fc40.noarch 34/112 Installing : perl-Mozilla-CA-20231213-3.fc40.noarch 35/112 Installing : perl-if-0.61.000-506.fc40.noarch 36/112 Installing : perl-locale-1.10-506.fc40.noarch 37/112 Installing : perl-IO-Socket-IP-0.42-2.fc40.noarch 38/112 Installing : perl-Time-Local-2:1.350-5.fc40.noarch 39/112 Installing : perl-File-Path-2.18-503.fc40.noarch 40/112 Installing : perl-IO-Socket-SSL-2.085-1.fc40.noarch 41/112 Installing : perl-Net-SSLeay-1.94-3.fc40.s390x 42/112 Installing : perl-Pod-Escapes-1:1.07-503.fc40.noarch 43/112 Installing : perl-Class-Struct-0.68-506.fc40.noarch 44/112 Installing : perl-Term-ANSIColor-5.01-504.fc40.noarch 45/112 Installing : perl-POSIX-2.13-506.fc40.s390x 46/112 Installing : perl-IPC-Open3-1.22-506.fc40.noarch 47/112 Installing : perl-File-Temp-1:0.231.100-503.fc40.noarch 48/112 Installing : perl-HTTP-Tiny-0.088-5.fc40.noarch 49/112 Installing : perl-Term-Cap-1.18-503.fc40.noarch 50/112 Installing : perl-Pod-Simple-1:3.45-6.fc40.noarch 51/112 Installing : perl-Socket-4:2.037-5.fc40.s390x 52/112 Installing : perl-SelectSaver-1.02-506.fc40.noarch 53/112 Installing : perl-Symbol-1.09-506.fc40.noarch 54/112 Installing : perl-File-stat-1.13-506.fc40.noarch 55/112 Installing : perl-podlators-1:5.01-502.fc40.noarch 56/112 Installing : perl-Pod-Perldoc-3.28.01-503.fc40.noarch 57/112 Installing : perl-Fcntl-1.15-506.fc40.s390x 58/112 Installing : perl-Text-ParseWords-3.31-502.fc40.noarch 59/112 Installing : perl-base-2.27-506.fc40.noarch 60/112 Installing : perl-mro-1.28-506.fc40.s390x 61/112 Installing : perl-IO-1.52-506.fc40.s390x 62/112 Installing : perl-overloading-0.02-506.fc40.noarch 63/112 Installing : perl-Pod-Usage-4:2.03-502.fc40.noarch 64/112 Installing : perl-Errno-1.37-506.fc40.s390x 65/112 Installing : perl-File-Basename-2.86-506.fc40.noarch 66/112 Installing : perl-Getopt-Std-1.13-506.fc40.noarch 67/112 Installing : perl-MIME-Base64-3.16-503.fc40.s390x 68/112 Installing : perl-Scalar-List-Utils-5:1.63-502.fc40.s390x 69/112 Installing : perl-constant-1.33-503.fc40.noarch 70/112 Installing : perl-Storable-1:3.32-502.fc40.s390x 71/112 Installing : perl-overload-1.37-506.fc40.noarch 72/112 Installing : perl-parent-1:0.241-502.fc40.noarch 73/112 Installing : perl-vars-1.05-506.fc40.noarch 74/112 Installing : perl-Getopt-Long-1:2.57-3.fc40.noarch 75/112 Installing : perl-Carp-1.54-502.fc40.noarch 76/112 Installing : perl-Exporter-5.78-3.fc40.noarch 77/112 Installing : perl-PathTools-3.89-502.fc40.s390x 78/112 Installing : perl-DynaLoader-1.54-506.fc40.s390x 79/112 Installing : perl-Encode-4:3.20-503.fc40.s390x 80/112 Installing : perl-libs-4:5.38.2-506.fc40.s390x 81/112 Installing : perl-interpreter-4:5.38.2-506.fc40.s390x 82/112 Installing : perl-File-Compare-1.100.700-506.fc40.noarch 83/112 Installing : perl-File-Copy-2.41-506.fc40.noarch 84/112 Installing : perl-File-Find-1.43-506.fc40.noarch 85/112 Installing : gmp-c++-1:6.2.1-8.fc40.s390x 86/112 Installing : gmp-devel-1:6.2.1-8.fc40.s390x 87/112 Installing : glibc-headers-s390-2.38.9000-39.fc40.noarch 88/112 Installing : libxcrypt-devel-4.4.36-5.fc40.s390x 89/112 Installing : glibc-devel-2.38.9000-39.fc40.s390x 90/112 Installing : gc-8.2.2-6.fc40.s390x 91/112 Installing : guile30-3.0.7-12.fc40.s390x 92/112 Installing : make-1:4.4.1-6.fc40.s390x 93/112 Installing : gcc-14.0.1-0.4.fc40.s390x 94/112 Running scriptlet: gcc-14.0.1-0.4.fc40.s390x 94/112 Installing : ocaml-5.1.1-4.fc40.s390x 95/112 Installing : ocaml-findlib-1.9.6-11.fc40.s390x 96/112 Installing : ocaml-zarith-1.13-6.fc40.s390x 97/112 Installing : ocaml-zarith-devel-1.13-6.fc40.s390x 98/112 Installing : expat-2.5.0-5.fc40.s390x 99/112 Installing : python3-3.12.1-4.fc40.s390x 100/112 Installing : python3-libs-3.12.1-4.fc40.s390x 101/112 Installing : coq-core-8.18.0-4.fc40.s390x 102/112 Installing : coq-8.18.0-4.fc40.s390x 103/112 Installing : emacs-filesystem-1:29.2-3.fc40.noarch 104/112 Installing : annobin-docs-12.38-1.fc40.noarch 105/112 Installing : annobin-plugin-gcc-12.38-1.fc40.s390x 106/112 Running scriptlet: annobin-plugin-gcc-12.38-1.fc40.s390x 106/112 Installing : autoconf-2.71-10.fc40.noarch 107/112 Installing : flocq-4.1.4-1.fc40.s390x 108/112 Installing : gcc-c++-14.0.1-0.4.fc40.s390x 109/112 Installing : gcc-plugin-annobin-14.0.1-0.4.fc40.s390x 110/112 Running scriptlet: gcc-plugin-annobin-14.0.1-0.4.fc40.s390x 110/112 Installing : remake-0.14-10.fc40.s390x 111/112 Installing : gappa-1.4.2-3.fc40.s390x 112/112 Running scriptlet: texlive-base-11:20230311-81.fc40.s390x 112/112 Running scriptlet: gappa-1.4.2-3.fc40.s390x 112/112 Installed: annobin-docs-12.38-1.fc40.noarch annobin-plugin-gcc-12.38-1.fc40.s390x autoconf-2.71-10.fc40.noarch coq-8.18.0-4.fc40.s390x coq-core-8.18.0-4.fc40.s390x cpp-14.0.1-0.4.fc40.s390x csdp-6.2.0-18.fc40.s390x csdp-tools-6.2.0-18.fc40.s390x emacs-filesystem-1:29.2-3.fc40.noarch expat-2.5.0-5.fc40.s390x flexiblas-3.4.1-3.fc40.s390x flexiblas-netlib-3.4.1-3.fc40.s390x flexiblas-openblas-openmp-3.4.1-3.fc40.s390x flocq-4.1.4-1.fc40.s390x gappa-1.4.2-3.fc40.s390x gc-8.2.2-6.fc40.s390x gcc-14.0.1-0.4.fc40.s390x gcc-c++-14.0.1-0.4.fc40.s390x gcc-plugin-annobin-14.0.1-0.4.fc40.s390x glibc-devel-2.38.9000-39.fc40.s390x glibc-headers-s390-2.38.9000-39.fc40.noarch gmp-c++-1:6.2.1-8.fc40.s390x gmp-devel-1:6.2.1-8.fc40.s390x groff-base-1.23.0-6.fc40.s390x guile30-3.0.7-12.fc40.s390x kernel-headers-6.8.0-0.rc1.12.fc40.1.s390x libasan-14.0.1-0.4.fc40.s390x libatomic-14.0.1-0.4.fc40.s390x libb2-0.98.1-11.fc40.s390x libgfortran-14.0.1-0.4.fc40.s390x libmpc-1.3.1-5.fc40.s390x libstdc++-devel-14.0.1-0.4.fc40.s390x libubsan-14.0.1-0.4.fc40.s390x libxcrypt-devel-4.4.36-5.fc40.s390x libzstd-devel-1.5.5-5.fc40.s390x m4-1.4.19-9.fc40.s390x make-1:4.4.1-6.fc40.s390x mpdecimal-2.5.1-9.fc40.s390x ncurses-6.4-12.20240127.fc40.s390x ocaml-5.1.1-4.fc40.s390x ocaml-findlib-1.9.6-11.fc40.s390x ocaml-runtime-5.1.1-4.fc40.s390x ocaml-zarith-1.13-6.fc40.s390x ocaml-zarith-devel-1.13-6.fc40.s390x openblas-0.3.26-1.fc40.s390x openblas-openmp-0.3.26-1.fc40.s390x perl-AutoLoader-5.74-506.fc40.noarch perl-B-1.88-506.fc40.s390x perl-Carp-1.54-502.fc40.noarch perl-Class-Struct-0.68-506.fc40.noarch perl-Data-Dumper-2.188-503.fc40.s390x perl-Digest-1.20-502.fc40.noarch perl-Digest-MD5-2.59-3.fc40.s390x perl-DynaLoader-1.54-506.fc40.s390x perl-Encode-4:3.20-503.fc40.s390x perl-Errno-1.37-506.fc40.s390x perl-Exporter-5.78-3.fc40.noarch perl-Fcntl-1.15-506.fc40.s390x perl-File-Basename-2.86-506.fc40.noarch perl-File-Compare-1.100.700-506.fc40.noarch perl-File-Copy-2.41-506.fc40.noarch perl-File-Find-1.43-506.fc40.noarch perl-File-Path-2.18-503.fc40.noarch perl-File-Temp-1:0.231.100-503.fc40.noarch perl-File-stat-1.13-506.fc40.noarch perl-FileHandle-2.05-506.fc40.noarch perl-Getopt-Long-1:2.57-3.fc40.noarch perl-Getopt-Std-1.13-506.fc40.noarch perl-HTTP-Tiny-0.088-5.fc40.noarch perl-IO-1.52-506.fc40.s390x perl-IO-Socket-IP-0.42-2.fc40.noarch perl-IO-Socket-SSL-2.085-1.fc40.noarch perl-IPC-Open3-1.22-506.fc40.noarch perl-MIME-Base64-3.16-503.fc40.s390x perl-Mozilla-CA-20231213-3.fc40.noarch perl-Net-SSLeay-1.94-3.fc40.s390x perl-POSIX-2.13-506.fc40.s390x perl-PathTools-3.89-502.fc40.s390x perl-Pod-Escapes-1:1.07-503.fc40.noarch perl-Pod-Perldoc-3.28.01-503.fc40.noarch perl-Pod-Simple-1:3.45-6.fc40.noarch perl-Pod-Usage-4:2.03-502.fc40.noarch perl-Scalar-List-Utils-5:1.63-502.fc40.s390x perl-SelectSaver-1.02-506.fc40.noarch perl-Socket-4:2.037-5.fc40.s390x perl-Storable-1:3.32-502.fc40.s390x perl-Symbol-1.09-506.fc40.noarch perl-Term-ANSIColor-5.01-504.fc40.noarch perl-Term-Cap-1.18-503.fc40.noarch perl-Text-ParseWords-3.31-502.fc40.noarch perl-Text-Tabs+Wrap-2023.0511-5.fc40.noarch perl-Time-Local-2:1.350-5.fc40.noarch perl-URI-5.25-1.fc40.noarch perl-base-2.27-506.fc40.noarch perl-constant-1.33-503.fc40.noarch perl-if-0.61.000-506.fc40.noarch perl-interpreter-4:5.38.2-506.fc40.s390x perl-libnet-3.15-503.fc40.noarch perl-libs-4:5.38.2-506.fc40.s390x perl-locale-1.10-506.fc40.noarch perl-mro-1.28-506.fc40.s390x perl-overload-1.37-506.fc40.noarch perl-overloading-0.02-506.fc40.noarch perl-parent-1:0.241-502.fc40.noarch perl-podlators-1:5.01-502.fc40.noarch perl-vars-1.05-506.fc40.noarch python-pip-wheel-23.3.2-1.fc40.noarch python3-3.12.1-4.fc40.s390x python3-libs-3.12.1-4.fc40.s390x remake-0.14-10.fc40.s390x texlive-base-11:20230311-81.fc40.s390x tzdata-2023d-3.fc40.noarch Complete! Finish: build setup for gappalib-coq-1.5.4-4.fc40.src.rpm Start: rpmbuild gappalib-coq-1.5.4-4.fc40.src.rpm Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1706832000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.MHv61b + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.5.4.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3 + rm -rf /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3-SPECPARTS + /usr/bin/mkdir -p /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3-SPECPARTS + /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.9fF4Pz + umask 022 + cd /builddir/build/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=-Wl,-z,relro -Clink-arg=-Wl,-z,now -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-errors -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.4-c29f5613545460a2e9531577fe6ef844654c63e3 + ./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/ccHEYXhD.o: in function `main': remake.cpp:(.text.startup+0x5f0): 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_common.v | ./remake -r src/Gappa_common.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo Building src/Gappa_definitions.vo Building src/Gappa_dyadic.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.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 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_definitions.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_dyadic.v 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 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 Finished src/Gappa_dyadic.vo /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_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 Finished src/Gappa_decimal.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_bnd.v 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_nzr.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_abs.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 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] 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] Finished src/Gappa_pred_abs.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_fixflt.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_user.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_float.v Finished src/Gappa_tree.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_fixed.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 Finished src/Gappa_float.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 135, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 135, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 840, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 843, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 875, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 898, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 901, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 840, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 843, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 875, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 898, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 901, 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.O2QKZH + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x '!=' / ']' + rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x ++ dirname /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x + 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=-Wl,-z,relro -Clink-arg=-Wl,-z,now -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-errors -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.4-c29f5613545460a2e9531577fe6ef844654c63e3 + mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa + DESTDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x + 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/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x/usr/lib64/ocaml/coq/user-contrib/Gappa + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.5.4-4.fc40 --unique-debug-suffix -1.5.4-4.fc40.s390x --unique-debug-src-base gappalib-coq-1.5.4-4.fc40.s390x --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3 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.4-4.fc40.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 62 blocks 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 Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.qa30G7 + umask 022 + cd /builddir/build/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=-Wl,-z,relro -Clink-arg=-Wl,-z,now -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-errors -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.4-c29f5613545460a2e9531577fe6ef844654c63e3 + 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.4-4.fc40.s390x Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.y1uT3I + umask 022 + cd /builddir/build/BUILD + cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3 + DOCDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x/usr/share/doc/gappalib-coq + export LC_ALL= + LC_ALL= + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3/AUTHORS /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3/NEWS.md /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3/README.md /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x/usr/share/doc/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.VGhcVc + umask 022 + cd /builddir/build/BUILD + cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3 + LICENSEDIR=/builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x/usr/share/licenses/gappalib-coq + export LC_ALL= + LC_ALL= + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x/usr/share/licenses/gappalib-coq + cp -pr /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3/COPYING /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x/usr/share/licenses/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Provides: gappalib-coq = 1.5.4-4.fc40 gappalib-coq(s390-64) = 1.5.4-4.fc40 ocaml(Gappatac) = e64924bbfa018e84761dfd7e017f1b18 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ocaml(AcyclicGraph) = cdfee4e5829f040abf5ec1cb4d0fec46 ocaml(Attributes) = d6359250e0a3423187e8cc5344815e8d ocaml(Big_int_Z) = 664aafcb7c2f819c294cc854657087d3 ocaml(CArray) = d0b8e142800441f2986abc6a10b17d96 ocaml(CAst) = 71b4519533385925ca69635a553e0698 ocaml(CClosure) = a70816f1562d0dfd0802006a5ddf258e ocaml(CDebug) = 5e34d27037ef21338a8ad53fef60fa9d ocaml(CEphemeron) = cc49b32dce287834ade5fa01506b4897 ocaml(CErrors) = bf0d4fa7b58ca1ee217d37e29d8b97e0 ocaml(CLexer) = 9e9bf29f256743ed0bc49effa3d9ef47 ocaml(CList) = 410a49e74c519628da742b743c5d1505 ocaml(CMap) = fb01a8a4b3e562cc65968b1a64e3a886 ocaml(CPrimitives) = 0781761bf480e3b408e0819e32edafb6 ocaml(CSet) = 93611ef3700d6a8f15a80498b188afc1 ocaml(CSig) = a79321778c76160b752610c73719a509 ocaml(CString) = f37e3443177ea99478cea5cfc3b151b8 ocaml(CUnix) = 8c5a6c99a70b4a0f057c7468f74f5475 ocaml(CWarnings) = 84dc96e3d7ef74d984dc274a58bcf663 ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856 ocaml(Coercionops) = eef0dcbfc9084d617a769fe3ec3f933e ocaml(Constr) = 71385776dccfc85584fc72bfd346d3d6 ocaml(Constrexpr) = 702772f5b863684cb7f922d55dae31ed ocaml(Constrintern) = dd1f69f8dad4a12f555141938638474d ocaml(Context) = f520fe433a2e42ab83cf427af998339a ocaml(Conv_oracle) = 95d6fce63a260f91954d793cb98df0ba ocaml(Conversion) = 9e9626c34d09767f7c1d9e52524bd341 ocaml(Cooking) = 13dab310193784c2e27c500f952c2eb5 ocaml(Coqlib) = 27e2a48f81dd9ee0f7f7a0be7eabbfc6 ocaml(DAst) = e02fc82907b86e6986088bccf10577d4 ocaml(Declarations) = ef896e131e7724b6a67a5e7b08cea3af ocaml(Declare) = 0a64688bb4b9f5be85f07f41be62c517 ocaml(Declaremods) = 13647ca83c90ef6f11def84b5e9dc6b3 ocaml(Decls) = 8c437b248e3fd799b4ba683b998bbb81 ocaml(Deprecation) = e23a92f5be3bc039fe40f761daf486bd ocaml(Dumpglob) = cd2c601512b598965e058ef3d417fd3b ocaml(Dyn) = 837a60cd76e63607781b264b2e3f3ba9 ocaml(EConstr) = c961579c9d3b4e04c956d0064ca6d329 ocaml(Entries) = acc9c6dd41701b5f7bae8d4315223b70 ocaml(Environ) = ab629d39e53c035a93494ce158feb6cc ocaml(Equality) = 4d9dc7525d3d143b1d7340d2b23979a3 ocaml(Esubst) = e4717fd1e0707d98d442c61e0a5b8297 ocaml(Evar) = d3dc6bccd89a24c2ac00f677d10960df ocaml(Evar_kinds) = 174cba84da7dfeddb9c6dcc868037b15 ocaml(Evardefine) = b2a752c79ef20159d73c9714ce99e313 ocaml(Evarsolve) = 0026e4107d6ac709e5ad7f18dbc7b8b2 ocaml(Evarutil) = 05af8465a44fdf73766920fce88a1689 ocaml(Evd) = d3cd70c1d8817206ef6f4e8e6172c4af ocaml(Exninfo) = ea79c74e37f7cacfcd3199d63fc1b297 ocaml(Extend) = b3262157a35606f512a81501e073a8ea ocaml(Float64) = db0513c3d78747b402371a1a1ec6a5c1 ocaml(Ftactic) = 4baccd80f1a2a0c9ca9c316fb44cce3a ocaml(Future) = 9e621cbecb105580c34f8cf9f081fc73 ocaml(Genarg) = 8f340f0198c405739c88c3b9f7083309 ocaml(Genintern) = 984163133d6eebc58de054a2c0946567 ocaml(Geninterp) = 325397bfbd9f04bc3be064c77c55041c ocaml(Genlambda) = aa7d18f18dde8853a9dbdd3269864b49 ocaml(Genprint) = 8f70360eff9f2bd3bbecdc48ed83abdc ocaml(Genredexpr) = 727acc8f0760566749c350a8734fc60c ocaml(GlobEnv) = 2898136f6b0652b7c19189853cab05e7 ocaml(Glob_term) = a53d61e3a0992e155f24e8d154ec994f ocaml(Global) = 3f239c3db046a571bdd1a0649b80a266 ocaml(Globnames) = 5704ac54d6b548dce8a04c53570682e2 ocaml(Goal_select) = eb24af1774b2c22e49766c7a05d3ad0a ocaml(Goptions) = 693e52743db76799be90eb75f8f72a65 ocaml(Gramlib) = 9a8fd2651569f6b0e0c2dcd907918b41 ocaml(Gramlib__Gramext) = 42ab6f41acd4bb3eafe9519122b0544d ocaml(Gramlib__Grammar) = 7a7555b2729fea4e430f5f684b54f097 ocaml(Gramlib__LStream) = 428f949440104dc0779bdfbddae00204 ocaml(Gramlib__Plexing) = 1cc86a0347c6b7b866f39461140ba0ab ocaml(Gramlib__Stream) = f85c48cd5f3736fd8892c81fa5153d74 ocaml(Hashcons) = 22f4795de199b84d2df6ec0af1bbef10 ocaml(Hashset) = 6b079efe00409f0ddfefcacb46fb2dcc ocaml(Hints) = 07825d485c742883007dcd894894faa6 ocaml(Hook) = b7c2df039ba9272cbbf0613b45088b36 ocaml(Impargs) = 15c5c7323e0d6db98d22694859858a2f ocaml(Ind_tables) = 9e367875834387b0def2b2721f442cc4 ocaml(Int) = 0f78938e5328ce3abc227dd05cce0e0a ocaml(Inv) = f9a05f0c0a31ca43ccab18112419e28a ocaml(Lib) = 381215d214882495a43d0702da1a5258 ocaml(Libnames) = 66701935a7a2d19989a1a923f6c103c6 ocaml(Libobject) = 847d74e2686cd54cd2aca770630c7e81 ocaml(Loc) = 1aa3693c0002eb1a9e83bbb3131e3061 ocaml(Locality) = cc8672e3eb2710c5d772d285f2e25525 ocaml(Locus) = 5f020357f6b5e1f255668be2b0aec049 ocaml(Logic) = d6eaeadf0ec593a59e662e24a3a4f55a ocaml(Logic_monad) = 829da051a3765189b8e032d18018dc69 ocaml(Ltac_plugin) = 9535c9941946ac241050beb63162342d ocaml(Ltac_plugin__Pptactic) = 1dcdcaaa8c336599c5f72de39afd315b ocaml(Ltac_plugin__Tacentries) = 6f14d98c08d086c480967aec57599320 ocaml(Ltac_plugin__Tacexpr) = 6c4dbcf45353423c8ba0465ff07c805b ocaml(Ltac_pretype) = e022a712693a55ac3ebc80240dfc1454 ocaml(Metasyntax) = b144930a3f698bc1ee20121e295cf45c ocaml(Mltop) = 3e22ef583bcd1d3024cf3257848d8d9d ocaml(Mod_subst) = 4fafe132554487dd9a55a12fe796ec0a ocaml(Modintern) = 46de56f6528f7b0af0043b3b3b0b1adf ocaml(Monad) = f4ab549dc270bba095c37b84de14fd94 ocaml(Namegen) = bbdee054ff14b4382dd42aa483b19d78 ocaml(Names) = 50f6f1b8efe16612d33d2cb49ced8446 ocaml(Nametab) = 3112a3fee1d9381944491b3151c6868c ocaml(Nativecode) = beb9ff066d0cd2a38a527af7983833b7 ocaml(Nativelib) = 56efcd593193453a2cb0c4487994337c ocaml(Nativevalues) = 383a071965e2632c01ab92236cd2ab98 ocaml(NeList) = 24834dafc4f5a1cf810c3f9eaf8aa0f7 ocaml(Notation) = f3db292cdca076e60924f6bcfcac9893 ocaml(Notation_term) = 350211d962c16e633eefefedf41fad3f ocaml(Notationextern) = 001662356074865dc0663483bbc098a0 ocaml(NumTok) = 7664175efbf442a691279cc42d301ba9 ocaml(Opaqueproof) = 5201a243c8b273864fcc3e51de258251 ocaml(Parray) = 27786cb5f50c7da3da038db7f56fec6e ocaml(Pattern) = c3438c57623d16ded0e35e4b0314d758 ocaml(Pcoq) = e79edf4dbc025f4a9af0b0021670f39a ocaml(Pp) = c495dd6f22a2ed429fa0d09a47c82de4 ocaml(Predicate) = 61a5246feac0f5e76d6437e94009b3cb ocaml(Pretype_errors) = 9be5c9b0a3eacb437fe38dae6ac7c848 ocaml(Pretyping) = 97a0bf95954666c3ab67bd9c0da66ebd ocaml(Primred) = 9e47c0b6e0c4902aae795f45a50c8943 ocaml(Printer) = b5b9924caa7ee12c6f9a5897115ade05 ocaml(Proof) = f91ec867f8a46f260953840d546cad36 ocaml(Proof_bullet) = f9b33dfd67d395d409d95f30b3c56bb3 ocaml(Proof_using) = 0fa2161f5998d0e73b0f8c3ba3b1fbc4 ocaml(Proofview) = f58c551becc7c726f29cc75947fa7441 ocaml(Proofview_monad) = dac4bd5393d881dde7e076e44f182aef ocaml(Pvernac) = 1e7a100249e9c3d91a5043359328bafc ocaml(Range) = da820172ed0d90aba4156c9bc48f7367 ocaml(Redexpr) = b5fa6f860701f22b249529cce2221830 ocaml(Reductionops) = b31750da9255680e4953c4431f717e23 ocaml(RetrieveObl) = b5281635d67a182364f62e4d0f2e69d2 ocaml(Retroknowledge) = af103488193ab7d811d1b0dabc521717 ocaml(Rtree) = edbcc00d1123e2a43e2b54c8f7f1a916 ocaml(SList) = 9ddb9252f133868c2025b4ea84ee6ad4 ocaml(Safe_typing) = 29fa3fa49184f17fba98682b9122ed6c ocaml(Section) = f5cf08158e763d9b2377f67d22346206 ocaml(Sorts) = c8c151ca2e00be7dae00401ea367cae6 ocaml(Stateid) = b7a5f7a67e05112eb3662eb26eff2889 ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120 ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07 ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351 ocaml(Stdlib__Bytes) = 4386c229afde8970cdf6f40df1a450d1 ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e ocaml(Stdlib__Digest) = 17051ff52cc6746e479ab37505a0e4bc ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28 ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08 ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820 ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868 ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328 ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050 ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8 ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3 ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48 ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5 ocaml(Store) = 2f6454fc91b37071d87bb5cebe4b2b55 ocaml(Summary) = 944787e2184c33f6151c5592a460fdfa ocaml(Tacmach) = 9ad0d947d33202ad6213639e9c06bffe ocaml(Tacred) = 85648f83307a1eede8020119938cd73a ocaml(Tacticals) = 21a7aea970e9ad0daf283e1ac263402f ocaml(Tactics) = 379a3f75a9f1be52f5bb991447451dd7 ocaml(Tactypes) = 8f45872ac3979048974d0b2824119fcb ocaml(Term) = 2fbd6c63bfcbbd4e5ded45d2cad45f4a ocaml(Tok) = a2c4b487db0eb8a53bcf19d7b067bce1 ocaml(TransparentState) = 831b7b89c303278f6f19f6b48b5f3b91 ocaml(Type_errors) = 379da22dd64dcec4e4bf057686b19086 ocaml(Typeclasses) = 4b4f813778c0d2e701b6346c87c0a07c ocaml(UGraph) = 9c4aea680459b33e4d89c02081bf4a2c ocaml(UState) = 5344cbd77c880afbefd094d7430aa705 ocaml(Uint63) = ccf4e2651d53bc5f2ea1ee89888aecc0 ocaml(Unification) = 111b9d3dffbf344c14d5689a2edb05aa ocaml(Univ) = 631d6eb7573e8a3ee3a594284a544ae3 ocaml(UnivGen) = eda2aebf2aa2f3121853f11ba01b0043 ocaml(UnivNames) = 25975fd1252b4a4d246e01e8c26eb24e ocaml(UnivProblem) = 3627a112b5012efd008d6136abac379b ocaml(UnivSubst) = be71751f6d6382b503475d8422db6d29 ocaml(Unix) = 3a423732520b05536abd290bef5048fe ocaml(Util) = 74bcae9f40763d8877bc3099e822ff48 ocaml(Values) = d7ad0b27a83baaf5bb6b915f0623f0b6 ocaml(Vars) = 4c5da64b5ab4e204f1baa3a65d97fafe ocaml(Vernacexpr) = 4c757c671c186ac100eaafd126d35d89 ocaml(Vernacextend) = 490815a74fd2a6befd19122f9919d904 ocaml(Vmbytecodes) = 1915978944789557ec2b5b8f66d0a010 ocaml(Vmemitcodes) = 7743648aa59e4444f16748ec2ed2c5f7 ocaml(Vmvalues) = 2c38ece8d1f5259988edd040477dc511 ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f rtld(GNU_HASH) Processing files: gappalib-coq-source-1.5.4-4.fc40.s390x Provides: gappalib-coq-source = 1.5.4-4.fc40 gappalib-coq-source(s390-64) = 1.5.4-4.fc40 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.4-4.fc40.s390x Provides: gappalib-coq-debugsource = 1.5.4-4.fc40 gappalib-coq-debugsource(s390-64) = 1.5.4-4.fc40 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.4-4.fc40.s390x Provides: debuginfo(build-id) = b7ed50f62f9065a259470ce539b5d576ae557637 gappalib-coq-debuginfo = 1.5.4-4.fc40 gappalib-coq-debuginfo(s390-64) = 1.5.4-4.fc40 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.4-4.fc40 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.4-4.fc40.s390x.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.4-4.fc40.s390x.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.4-4.fc40.s390x.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.5.4-4.fc40.s390x.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.mkIbPr + umask 022 + cd /builddir/build/BUILD + cd coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3 + /usr/bin/rm -rf /builddir/build/BUILDROOT/gappalib-coq-1.5.4-4.fc40.s390x + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.8qZ140 + umask 022 + cd /builddir/build/BUILD + rm -rf /builddir/build/BUILD/coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3-SPECPARTS + rm -rf coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3 coq-gappalib-coq-1.5.4-c29f5613545460a2e9531577fe6ef844654c63e3.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild gappalib-coq-1.5.4-4.fc40.src.rpm Finish: build phase for gappalib-coq-1.5.4-4.fc40.src.rpm INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-39-s390x-1706917425.648550/root/var/log/dnf.rpm.log /var/lib/mock/fedora-39-s390x-1706917425.648550/root/var/log/dnf.librepo.log /var/lib/mock/fedora-39-s390x-1706917425.648550/root/var/log/dnf.log INFO: Done(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.4-4.fc40.src.rpm) Config(child) 0 minutes 53 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", "epoch": null, "version": "1.5.4", "release": "4.fc40", "arch": "src" }, { "name": "gappalib-coq", "epoch": null, "version": "1.5.4", "release": "4.fc40", "arch": "s390x" }, { "name": "gappalib-coq-debugsource", "epoch": null, "version": "1.5.4", "release": "4.fc40", "arch": "s390x" }, { "name": "gappalib-coq-source", "epoch": null, "version": "1.5.4", "release": "4.fc40", "arch": "s390x" }, { "name": "gappalib-coq-debuginfo", "epoch": null, "version": "1.5.4", "release": "4.fc40", "arch": "s390x" } ] } RPMResults finished