Warning: Permanently added '34.230.23.131' (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/7507070-fedora-39-aarch64 --chroot fedora-39-aarch64 Version: 0.73 PID: 6606 Logging PID: 6607 Task: {'allow_user_ssh': False, 'appstream': False, 'background': True, 'build_id': 7507070, 'buildroot_pkgs': [], 'chroot': 'fedora-39-aarch64', 'enable_net': False, 'fedora_review': False, 'git_hash': '334c1dd78ad581c1e0dc3192dbc9ffa3f47fc275', '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.5-2', '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-aarch64/', '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/rjones', 'source_json': {}, 'source_type': None, 'ssh_public_keys': None, 'submitter': 'https://src.fedoraproject.org/user/rjones', 'tags': [], 'task_id': '7507070-fedora-39-aarch64', '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-t7771_s6/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-t7771_s6/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-t7771_s6/gappalib-coq'... Running: git checkout 334c1dd78ad581c1e0dc3192dbc9ffa3f47fc275 -- cmd: ['git', 'checkout', '334c1dd78ad581c1e0dc3192dbc9ffa3f47fc275', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-t7771_s6/gappalib-coq rc: 0 stdout: stderr: Note: switching to '334c1dd78ad581c1e0dc3192dbc9ffa3f47fc275'. 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 334c1dd automatic import of gappalib-coq Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-t7771_s6/gappalib-coq rc: 0 stdout: stderr: INFO: Reading stdout from command: git rev-parse --abbrev-ref HEAD INFO: Reading stdout from command: git rev-parse HEAD INFO: Reading sources specification file: sources INFO: Downloading gappalib-coq-1.5.5.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o gappalib-coq-1.5.5.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/psimovec/openblas-0.3.23/gappalib-coq/gappalib-coq-1.5.5.tar.gz/md5/407edcd411a4d3e557f43d153bfc8649/gappalib-coq-1.5.5.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 82143 100 82143 0 0 2869k 0 --:--:-- --:--:-- --:--:-- 2971k INFO: Reading stdout from command: md5sum gappalib-coq-1.5.5.tar.gz /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-t7771_s6/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-t7771_s6/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1717061400.784875 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 5.6 starting (python version = 3.12.1, NVR = mock-5.6-1.fc39), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-t7771_s6/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-t7771_s6/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1717061400.784875 -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-t7771_s6/gappalib-coq/gappalib-coq.spec) Config(fedora-39-aarch64) Start: clean chroot Finish: clean chroot Mock Version: 5.6 INFO: Mock Version: 5.6 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-39-aarch64-bootstrap-1717061400.784875/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-aarch64-bootstrap-1717061400.784875/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/8fa72826efb14b45010ccef79a373180904f41a36d2e60fc3fbc63794fde4263/merged INFO: umounting image registry.fedoraproject.org/fedora:39 (/var/lib/containers/storage/overlay/8fa72826efb14b45010ccef79a373180904f41a36d2e60fc3fbc63794fde4263/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 131 MB/s | 18 MB 00:00 Additional repo http_kojipkgs_fedoraproject_org 129 MB/s | 74 MB 00:00 fedora 49 MB/s | 86 MB 00:01 updates 59 MB/s | 36 MB 00:00 Last metadata expiration check: 0:00:03 ago on Thu May 30 09:30:45 2024. Package python3-dnf-4.19.2-1.fc39.noarch is already installed. Dependencies resolved. ========================================================================================================================== Package Arch Version Repository Size ========================================================================================================================== Installing: dnf5 aarch64 5.2.2.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 640 k replacing dnf.noarch 4.19.2-1.fc39 replacing yum.noarch 4.19.2-1.fc39 python3-dnf-plugins-core noarch 4.7.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 302 k Upgrading: dnf-data noarch 4.20.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 39 k libstdc++ aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 828 k python3-dnf noarch 4.20.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 580 k Installing dependencies: dbus-libs aarch64 1:1.14.10-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 156 k fmt aarch64 10.2.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 121 k libdnf5 aarch64 5.2.2.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 978 k libdnf5-cli aarch64 5.2.2.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 288 k python3-dateutil noarch 1:2.8.2-13.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 345 k python3-dbus aarch64 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 aarch64 235-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 101 k sdbus-cpp aarch64 1.5.0-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 103 k Transaction Summary ========================================================================================================================== Install 12 Packages Upgrade 3 Packages Total download size: 4.6 M Downloading Packages: (1/15): dbus-libs-1.14.10-3.fc40.aarch64.rpm 2.2 MB/s | 156 kB 00:00 (2/15): fmt-10.2.1-4.fc41.aarch64.rpm 1.1 MB/s | 121 kB 00:00 (3/15): libdnf5-5.2.2.0-1.fc41.aarch64.rpm 27 MB/s | 978 kB 00:00 (4/15): dnf5-5.2.2.0-1.fc41.aarch64.rpm 5.6 MB/s | 640 kB 00:00 (5/15): libdnf5-cli-5.2.2.0-1.fc41.aarch64.rpm 17 MB/s | 288 kB 00:00 (6/15): python3-dbus-1.3.2-6.fc40.aarch64.rpm 7.6 MB/s | 146 kB 00:00 (7/15): python3-distro-1.9.0-3.fc40.noarch.rpm 2.9 MB/s | 45 kB 00:00 (8/15): python3-dnf-plugins-core-4.7.0-1.fc41.n 16 MB/s | 302 kB 00:00 (9/15): python3-six-1.16.0-14.fc40.noarch.rpm 1.8 MB/s | 41 kB 00:00 (10/15): python3-dateutil-2.8.2-13.fc40.noarch. 5.2 MB/s | 345 kB 00:00 (11/15): python3-systemd-235-9.fc40.aarch64.rpm 4.1 MB/s | 101 kB 00:00 (12/15): dnf-data-4.20.0-1.fc41.noarch.rpm 2.7 MB/s | 39 kB 00:00 (13/15): sdbus-cpp-1.5.0-2.fc41.aarch64.rpm 3.7 MB/s | 103 kB 00:00 (14/15): libstdc++-14.1.1-4.fc41.aarch64.rpm 30 MB/s | 828 kB 00:00 (15/15): python3-dnf-4.20.0-1.fc41.noarch.rpm 17 MB/s | 580 kB 00:00 -------------------------------------------------------------------------------- Total 21 MB/s | 4.6 MB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Upgrading : libstdc++-14.1.1-4.fc41.aarch64 1/20 Installing : fmt-10.2.1-4.fc41.aarch64 2/20 Installing : libdnf5-5.2.2.0-1.fc41.aarch64 3/20 warning: /etc/dnf/dnf.conf created as /etc/dnf/dnf.conf.rpmnew Installing : libdnf5-cli-5.2.2.0-1.fc41.aarch64 4/20 Upgrading : dnf-data-4.20.0-1.fc41.noarch 5/20 Upgrading : python3-dnf-4.20.0-1.fc41.noarch 6/20 Installing : sdbus-cpp-1.5.0-2.fc41.aarch64 7/20 Installing : python3-systemd-235-9.fc40.aarch64 8/20 Installing : python3-six-1.16.0-14.fc40.noarch 9/20 Installing : python3-dateutil-1:2.8.2-13.fc40.noarch 10/20 Installing : python3-distro-1.9.0-3.fc40.noarch 11/20 Installing : dbus-libs-1:1.14.10-3.fc40.aarch64 12/20 Installing : python3-dbus-1.3.2-6.fc40.aarch64 13/20 Installing : python3-dnf-plugins-core-4.7.0-1.fc41.noarch 14/20 Installing : dnf5-5.2.2.0-1.fc41.aarch64 15/20 Obsoleting : yum-4.19.2-1.fc39.noarch 16/20 Running scriptlet: dnf-4.19.2-1.fc39.noarch 17/20 Obsoleting : dnf-4.19.2-1.fc39.noarch 17/20 warning: directory /var/cache/dnf: remove failed: Device or resource busy Running scriptlet: dnf-4.19.2-1.fc39.noarch 17/20 Cleanup : python3-dnf-4.19.2-1.fc39.noarch 18/20 Cleanup : dnf-data-4.19.2-1.fc39.noarch 19/20 Cleanup : libstdc++-13.3.1-1.fc39.aarch64 20/20 Running scriptlet: libstdc++-13.3.1-1.fc39.aarch64 20/20 Verifying : dbus-libs-1:1.14.10-3.fc40.aarch64 1/20 Verifying : dnf5-5.2.2.0-1.fc41.aarch64 2/20 Verifying : dnf-4.19.2-1.fc39.noarch 3/20 Verifying : yum-4.19.2-1.fc39.noarch 4/20 Verifying : fmt-10.2.1-4.fc41.aarch64 5/20 Verifying : libdnf5-5.2.2.0-1.fc41.aarch64 6/20 Verifying : libdnf5-cli-5.2.2.0-1.fc41.aarch64 7/20 Verifying : python3-dateutil-1:2.8.2-13.fc40.noarch 8/20 Verifying : python3-dbus-1.3.2-6.fc40.aarch64 9/20 Verifying : python3-distro-1.9.0-3.fc40.noarch 10/20 Verifying : python3-dnf-plugins-core-4.7.0-1.fc41.noarch 11/20 Verifying : python3-six-1.16.0-14.fc40.noarch 12/20 Verifying : python3-systemd-235-9.fc40.aarch64 13/20 Verifying : sdbus-cpp-1.5.0-2.fc41.aarch64 14/20 Verifying : dnf-data-4.20.0-1.fc41.noarch 15/20 Verifying : dnf-data-4.19.2-1.fc39.noarch 16/20 Verifying : libstdc++-14.1.1-4.fc41.aarch64 17/20 Verifying : libstdc++-13.3.1-1.fc39.aarch64 18/20 Verifying : python3-dnf-4.20.0-1.fc41.noarch 19/20 Verifying : python3-dnf-4.19.2-1.fc39.noarch 20/20 Upgraded: dnf-data-4.20.0-1.fc41.noarch libstdc++-14.1.1-4.fc41.aarch64 python3-dnf-4.20.0-1.fc41.noarch Installed: dbus-libs-1:1.14.10-3.fc40.aarch64 dnf5-5.2.2.0-1.fc41.aarch64 fmt-10.2.1-4.fc41.aarch64 libdnf5-5.2.2.0-1.fc41.aarch64 libdnf5-cli-5.2.2.0-1.fc41.aarch64 python3-dateutil-1:2.8.2-13.fc40.noarch python3-dbus-1.3.2-6.fc40.aarch64 python3-distro-1.9.0-3.fc40.noarch python3-dnf-plugins-core-4.7.0-1.fc41.noarch python3-six-1.16.0-14.fc40.noarch python3-systemd-235-9.fc40.aarch64 sdbus-cpp-1.5.0-2.fc41.aarch64 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-aarch64-1717061400.784875/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.1.1-1.fc39.aarch64 rpm-sequoia-1.6.0-1.fc39.aarch64 python3-dnf-4.20.0-1.fc41.noarch python3-dnf-plugins-core-4.7.0-1.fc41.noarch dnf5-5.2.2.0-1.fc41.aarch64 Start: installing minimal buildroot with dnf No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 145 MB/s | 18 MB 00:00 Additional repo http_kojipkgs_fedoraproject_org 179 MB/s | 74 MB 00:00 fedora 51 MB/s | 86 MB 00:01 updates 59 MB/s | 36 MB 00:00 Last metadata expiration check: 0:00:03 ago on Thu May 30 09:31:38 2024. Dependencies resolved. ============================================================================================================================================= Package Arch Version Repository Size ============================================================================================================================================= Installing group/module packages: bash aarch64 5.2.26-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.8 M bzip2 aarch64 1.0.8-18.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 52 k coreutils aarch64 9.5-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M cpio aarch64 2.15-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 285 k diffutils aarch64 3.10-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 395 k fedora-release-common noarch 41-0.13 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k findutils aarch64 1:4.9.0-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 489 k gawk aarch64 5.3.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.0 M glibc-minimal-langpack aarch64 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 112 k grep aarch64 3.11-8.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 288 k gzip aarch64 1.13-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 163 k info aarch64 7.1-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 183 k patch aarch64 2.7.6-24.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 130 k redhat-rpm-config noarch 291-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 76 k rpm-build aarch64 4.19.91-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 76 k sed aarch64 4.9-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 307 k shadow-utils aarch64 2:4.15.1-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.3 M tar aarch64 2:1.35-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 848 k unzip aarch64 6.0-63.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 185 k util-linux aarch64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.2 M which aarch64 2.21-41.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 42 k xz aarch64 1:5.4.6-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 533 k Installing dependencies: add-determinism-nopython aarch64 0.2.0-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 818 k alternatives aarch64 1.27-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 40 k ansible-srpm-macros noarch 1-15.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k audit-libs aarch64 4.0.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 126 k authselect aarch64 1.5.0-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 141 k authselect-libs aarch64 1.5.0-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 205 k basesystem noarch 11-20.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 7.2 k binutils aarch64 2.42.50-11.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 6.9 M binutils-gold aarch64 2.42.50-11.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 967 k build-reproducibility-srpm-macros noarch 0.2.0-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.1 k bzip2-libs aarch64 1.0.8-18.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 43 k ca-certificates noarch 2023.2.62_v7.0.401-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 862 k coreutils-common aarch64 9.5-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.1 M cracklib aarch64 2.9.11-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 83 k crypto-policies noarch 20240521-1.gitf71d135.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 65 k curl aarch64 8.8.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 302 k cyrus-sasl-lib aarch64 2.1.28-22.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 786 k debugedit aarch64 5.0-16.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 79 k dwz aarch64 0.15-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 137 k ed aarch64 1.20.2-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 81 k efi-srpm-macros noarch 5-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k elfutils aarch64 0.191-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 562 k elfutils-debuginfod-client aarch64 0.191-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 38 k elfutils-default-yama-scope noarch 0.191-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 13 k elfutils-libelf aarch64 0.191-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 209 k elfutils-libs aarch64 0.191-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 264 k fedora-gpg-keys noarch 41-0.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 122 k fedora-release noarch 41-0.13 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 11 k fedora-release-identity-basic noarch 41-0.13 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 12 k fedora-repos noarch 41-0.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.3 k fedora-repos-rawhide noarch 41-0.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.9 k file aarch64 5.45-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 50 k file-libs aarch64 5.45-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 763 k filesystem aarch64 3.18-9.fc41 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.3.1-1.fc41 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 aarch64 14.2-9.fc41 copr_base 4.1 M gdbm aarch64 1:1.23-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 149 k gdbm-libs aarch64 1:1.23-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 56 k ghc-srpm-macros noarch 1.9.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.0 k glibc aarch64 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.9 M glibc-common aarch64 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 389 k glibc-gconv-extra aarch64 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.0 M gmp aarch64 1:6.3.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 270 k gnat-srpm-macros noarch 6-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.8 k go-srpm-macros noarch 3.6.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 28 k jansson aarch64 2.13.1-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 46 k kernel-srpm-macros noarch 1.0-23.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.8 k keyutils-libs aarch64 1.6.3-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 32 k krb5-libs aarch64 1.21.2-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 768 k libacl aarch64 2.3.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 k libarchive aarch64 3.7.4-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 406 k libattr aarch64 2.5.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 18 k libblkid aarch64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 126 k libbrotli aarch64 1.1.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 346 k libcap aarch64 2.70-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 87 k libcap-ng aarch64 0.8.5-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 32 k libcom_err aarch64 1.47.0-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 k libcurl aarch64 8.8.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 354 k libeconf aarch64 0.6.2-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 32 k libevent aarch64 2.1.12-13.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 255 k libfdisk aarch64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 157 k libffi aarch64 3.4.6-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 38 k libgcc aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 112 k libgomp aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 340 k libidn2 aarch64 2.3.7-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 113 k libmount aarch64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 154 k libnghttp2 aarch64 1.62.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 77 k libnsl2 aarch64 2.0.1-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 30 k libpkgconf aarch64 2.1.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 39 k libpsl aarch64 0.21.5-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 64 k libpwquality aarch64 1.4.5-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 109 k libselinux aarch64 3.6-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 88 k libsemanage aarch64 3.6-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 115 k libsepol aarch64 3.6-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 327 k libsmartcols aarch64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 83 k libssh aarch64 0.10.6-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 214 k libssh-config noarch 0.10.6-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.1 k libstdc++ aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 828 k libtasn1 aarch64 4.19.0-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 73 k libtirpc aarch64 1.3.4-1.rc3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 94 k libtool-ltdl aarch64 2.4.7-10.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 36 k libunistring aarch64 1.1-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 544 k libutempter aarch64 1.2.1-13.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 27 k libuuid aarch64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k libverto aarch64 0.3.2-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k libxcrypt aarch64 4.4.36-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 123 k libxml2 aarch64 2.12.7-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 686 k libzstd aarch64 1.5.6-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 287 k lua-libs aarch64 5.4.6-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 131 k lua-srpm-macros noarch 1-13.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.7 k lz4-libs aarch64 1.9.4-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 68 k mpfr aarch64 4.2.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 325 k ncurses-base noarch 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 64 k ncurses-libs aarch64 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 329 k ocaml-srpm-macros noarch 9-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.1 k openblas-srpm-macros noarch 2-17.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 7.7 k openldap aarch64 2.6.8-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 253 k openssl-libs aarch64 1:3.2.1-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.2 M p11-kit aarch64 0.25.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 486 k p11-kit-trust aarch64 0.25.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 142 k package-notes-srpm-macros noarch 0.5-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.9 k pam aarch64 1.6.1-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 527 k pam-libs aarch64 1.6.1-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 57 k pcre2 aarch64 10.43-2.fc41.1 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 226 k pcre2-syntax noarch 10.43-2.fc41.1 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 149 k perl-srpm-macros noarch 1-53.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.4 k pkgconf aarch64 2.1.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 44 k pkgconf-m4 noarch 2.1.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k pkgconf-pkg-config aarch64 2.1.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.9 k popt aarch64 1.19-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 60 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-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 24 k qt5-srpm-macros noarch 5.15.13-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.5 k qt6-srpm-macros noarch 6.7.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.9 k readline aarch64 8.2-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 213 k rpm aarch64 4.19.91-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 520 k rpm-build-libs aarch64 4.19.91-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 95 k rpm-libs aarch64 4.19.91-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 306 k rpm-sequoia aarch64 1.6.0-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 806 k rust-srpm-macros noarch 26.3-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 13 k setup noarch 2.14.6-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 148 k sqlite-libs aarch64 3.45.3-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 705 k systemd-libs aarch64 256~rc3-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 718 k util-linux-core aarch64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 519 k xxhash-libs aarch64 0.8.2-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 34 k xz-libs aarch64 1:5.4.6-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 108 k zig-srpm-macros noarch 1-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.0 k zip aarch64 3.0-40.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 263 k zlib-ng-compat aarch64 2.1.6-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 66 k zstd aarch64 1.5.6-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 457 k Installing Groups: Buildsystem building group Transaction Summary ============================================================================================================================================= Install 155 Packages Total download size: 53 M Installed size: 310 M Downloading Packages: (1/155): gdb-minimal-14.2-9.fc41.aarch64.rpm 107 MB/s | 4.1 MB 00:00 (2/155): alternatives-1.27-1.fc41.aarch64.rpm 482 kB/s | 40 kB 00:00 (3/155): ansible-srpm-macros-1-15.fc41.noarch.r 272 kB/s | 21 kB 00:00 (4/155): audit-libs-4.0.1-2.fc41.aarch64.rpm 3.3 MB/s | 126 kB 00:00 (5/155): authselect-1.5.0-5.fc41.aarch64.rpm 5.2 MB/s | 141 kB 00:00 (6/155): basesystem-11-20.fc40.noarch.rpm 340 kB/s | 7.2 kB 00:00 (7/155): add-determinism-nopython-0.2.0-9.fc41. 4.4 MB/s | 818 kB 00:00 (8/155): authselect-libs-1.5.0-5.fc41.aarch64.r 3.0 MB/s | 205 kB 00:00 (9/155): bash-5.2.26-3.fc40.aarch64.rpm 43 MB/s | 1.8 MB 00:00 (10/155): binutils-gold-2.42.50-11.fc41.aarch64 27 MB/s | 967 kB 00:00 (11/155): build-reproducibility-srpm-macros-0.2 369 kB/s | 9.1 kB 00:00 (12/155): bzip2-1.0.8-18.fc40.aarch64.rpm 2.1 MB/s | 52 kB 00:00 (13/155): bzip2-libs-1.0.8-18.fc40.aarch64.rpm 1.8 MB/s | 43 kB 00:00 (14/155): ca-certificates-2023.2.62_v7.0.401-6. 34 MB/s | 862 kB 00:00 (15/155): coreutils-9.5-1.fc41.aarch64.rpm 38 MB/s | 1.1 MB 00:00 (16/155): cpio-2.15-1.fc40.aarch64.rpm 12 MB/s | 285 kB 00:00 (17/155): coreutils-common-9.5-1.fc41.aarch64.r 57 MB/s | 2.1 MB 00:00 (18/155): binutils-2.42.50-11.fc41.aarch64.rpm 47 MB/s | 6.9 MB 00:00 (19/155): crypto-policies-20240521-1.gitf71d135 3.6 MB/s | 65 kB 00:00 (20/155): cracklib-2.9.11-5.fc40.aarch64.rpm 3.1 MB/s | 83 kB 00:00 (21/155): cyrus-sasl-lib-2.1.28-22.fc41.aarch64 35 MB/s | 786 kB 00:00 (22/155): debugedit-5.0-16.fc41.aarch64.rpm 3.3 MB/s | 79 kB 00:00 (23/155): curl-8.8.0-1.fc41.aarch64.rpm 9.2 MB/s | 302 kB 00:00 (24/155): diffutils-3.10-5.fc40.aarch64.rpm 17 MB/s | 395 kB 00:00 (25/155): ed-1.20.2-1.fc41.aarch64.rpm 3.6 MB/s | 81 kB 00:00 (26/155): dwz-0.15-6.fc40.aarch64.rpm 5.4 MB/s | 137 kB 00:00 (27/155): efi-srpm-macros-5-11.fc40.noarch.rpm 1.0 MB/s | 22 kB 00:00 (28/155): elfutils-0.191-7.fc41.aarch64.rpm 25 MB/s | 562 kB 00:00 (29/155): elfutils-debuginfod-client-0.191-7.fc 1.5 MB/s | 38 kB 00:00 (30/155): elfutils-default-yama-scope-0.191-7.f 604 kB/s | 13 kB 00:00 (31/155): elfutils-libelf-0.191-7.fc41.aarch64. 9.6 MB/s | 209 kB 00:00 (32/155): elfutils-libs-0.191-7.fc41.aarch64.rp 12 MB/s | 264 kB 00:00 (33/155): fedora-gpg-keys-41-0.2.noarch.rpm 5.9 MB/s | 122 kB 00:00 (34/155): fedora-release-41-0.13.noarch.rpm 570 kB/s | 11 kB 00:00 (35/155): fedora-release-common-41-0.13.noarch. 1.1 MB/s | 22 kB 00:00 (36/155): fedora-release-identity-basic-41-0.13 622 kB/s | 12 kB 00:00 (37/155): fedora-repos-41-0.2.noarch.rpm 463 kB/s | 9.3 kB 00:00 (38/155): fedora-repos-rawhide-41-0.2.noarch.rp 445 kB/s | 8.9 kB 00:00 (39/155): file-5.45-5.fc41.aarch64.rpm 2.1 MB/s | 50 kB 00:00 (40/155): file-libs-5.45-5.fc41.aarch64.rpm 29 MB/s | 763 kB 00:00 (41/155): filesystem-3.18-9.fc41.aarch64.rpm 40 MB/s | 1.1 MB 00:00 (42/155): findutils-4.9.0-8.fc40.aarch64.rpm 17 MB/s | 489 kB 00:00 (43/155): fonts-srpm-macros-2.0.5-14.fc40.noarc 1.1 MB/s | 27 kB 00:00 (44/155): forge-srpm-macros-0.3.1-1.fc41.noarch 675 kB/s | 19 kB 00:00 (45/155): fpc-srpm-macros-1.3-12.fc40.noarch.rp 361 kB/s | 7.8 kB 00:00 (46/155): gawk-5.3.0-3.fc40.aarch64.rpm 36 MB/s | 1.0 MB 00:00 (47/155): gdbm-libs-1.23-6.fc40.aarch64.rpm 2.8 MB/s | 56 kB 00:00 (48/155): gdbm-1.23-6.fc40.aarch64.rpm 4.8 MB/s | 149 kB 00:00 (49/155): glibc-2.39.9000-18.fc41.aarch64.rpm 57 MB/s | 1.9 MB 00:00 (50/155): ghc-srpm-macros-1.9.1-1.fc41.noarch.r 241 kB/s | 9.0 kB 00:00 (51/155): glibc-common-2.39.9000-18.fc41.aarch6 13 MB/s | 389 kB 00:00 (52/155): glibc-minimal-langpack-2.39.9000-18.f 6.4 MB/s | 112 kB 00:00 (53/155): gmp-6.3.0-1.fc41.aarch64.rpm 11 MB/s | 270 kB 00:00 (54/155): glibc-gconv-extra-2.39.9000-18.fc41.a 48 MB/s | 2.0 MB 00:00 (55/155): gnat-srpm-macros-6-5.fc40.noarch.rpm 374 kB/s | 8.8 kB 00:00 (56/155): go-srpm-macros-3.6.0-1.fc41.noarch.rp 1.2 MB/s | 28 kB 00:00 (57/155): gzip-1.13-1.fc40.aarch64.rpm 10 MB/s | 163 kB 00:00 (58/155): info-7.1-2.fc40.aarch64.rpm 8.0 MB/s | 183 kB 00:00 (59/155): grep-3.11-8.fc41.aarch64.rpm 9.3 MB/s | 288 kB 00:00 (60/155): jansson-2.13.1-9.fc40.aarch64.rpm 1.8 MB/s | 46 kB 00:00 (61/155): kernel-srpm-macros-1.0-23.fc41.noarch 457 kB/s | 9.8 kB 00:00 (62/155): keyutils-libs-1.6.3-3.fc40.aarch64.rp 1.4 MB/s | 32 kB 00:00 (63/155): krb5-libs-1.21.2-5.fc40.aarch64.rpm 28 MB/s | 768 kB 00:00 (64/155): libarchive-3.7.4-1.fc41.aarch64.rpm 21 MB/s | 406 kB 00:00 (65/155): libacl-2.3.2-1.fc40.aarch64.rpm 885 kB/s | 25 kB 00:00 (66/155): libattr-2.5.2-3.fc40.aarch64.rpm 778 kB/s | 18 kB 00:00 (67/155): libblkid-2.40.1-1.fc41.aarch64.rpm 4.7 MB/s | 126 kB 00:00 (68/155): libbrotli-1.1.0-3.fc40.aarch64.rpm 13 MB/s | 346 kB 00:00 (69/155): libcap-2.70-1.fc41.aarch64.rpm 3.7 MB/s | 87 kB 00:00 (70/155): libcap-ng-0.8.5-1.fc41.aarch64.rpm 1.5 MB/s | 32 kB 00:00 (71/155): libcom_err-1.47.0-5.fc40.aarch64.rpm 1.1 MB/s | 25 kB 00:00 (72/155): libcurl-8.8.0-1.fc41.aarch64.rpm 14 MB/s | 354 kB 00:00 (73/155): libeconf-0.6.2-2.fc41.aarch64.rpm 1.4 MB/s | 32 kB 00:00 (74/155): libevent-2.1.12-13.fc41.aarch64.rpm 10 MB/s | 255 kB 00:00 (75/155): libffi-3.4.6-1.fc41.aarch64.rpm 1.9 MB/s | 38 kB 00:00 (76/155): libfdisk-2.40.1-1.fc41.aarch64.rpm 5.4 MB/s | 157 kB 00:00 (77/155): libgcc-14.1.1-4.fc41.aarch64.rpm 3.9 MB/s | 112 kB 00:00 (78/155): libgomp-14.1.1-4.fc41.aarch64.rpm 14 MB/s | 340 kB 00:00 (79/155): libidn2-2.3.7-1.fc40.aarch64.rpm 4.1 MB/s | 113 kB 00:00 (80/155): libmount-2.40.1-1.fc41.aarch64.rpm 6.5 MB/s | 154 kB 00:00 (81/155): libnghttp2-1.62.0-1.fc41.aarch64.rpm 3.2 MB/s | 77 kB 00:00 (82/155): libnsl2-2.0.1-1.fc40.aarch64.rpm 1.4 MB/s | 30 kB 00:00 (83/155): libpsl-0.21.5-3.fc40.aarch64.rpm 3.8 MB/s | 64 kB 00:00 (84/155): libpkgconf-2.1.1-1.fc41.aarch64.rpm 1.5 MB/s | 39 kB 00:00 (85/155): libpwquality-1.4.5-9.fc40.aarch64.rpm 4.5 MB/s | 109 kB 00:00 (86/155): libselinux-3.6-4.fc40.aarch64.rpm 3.8 MB/s | 88 kB 00:00 (87/155): libsemanage-3.6-3.fc40.aarch64.rpm 4.7 MB/s | 115 kB 00:00 (88/155): libsepol-3.6-3.fc40.aarch64.rpm 13 MB/s | 327 kB 00:00 (89/155): libsmartcols-2.40.1-1.fc41.aarch64.rp 3.7 MB/s | 83 kB 00:00 (90/155): libssh-0.10.6-6.fc41.aarch64.rpm 8.3 MB/s | 214 kB 00:00 (91/155): libssh-config-0.10.6-6.fc41.noarch.rp 405 kB/s | 9.1 kB 00:00 (92/155): libstdc++-14.1.1-4.fc41.aarch64.rpm 28 MB/s | 828 kB 00:00 (93/155): libtasn1-4.19.0-6.fc40.aarch64.rpm 3.2 MB/s | 73 kB 00:00 (94/155): libtirpc-1.3.4-1.rc3.fc41.aarch64.rpm 4.0 MB/s | 94 kB 00:00 (95/155): libtool-ltdl-2.4.7-10.fc40.aarch64.rp 1.6 MB/s | 36 kB 00:00 (96/155): libunistring-1.1-7.fc41.aarch64.rpm 21 MB/s | 544 kB 00:00 (97/155): libutempter-1.2.1-13.fc40.aarch64.rpm 1.3 MB/s | 27 kB 00:00 (98/155): libuuid-2.40.1-1.fc41.aarch64.rpm 1.3 MB/s | 29 kB 00:00 (99/155): libverto-0.3.2-8.fc40.aarch64.rpm 918 kB/s | 21 kB 00:00 (100/155): libxcrypt-4.4.36-5.fc40.aarch64.rpm 4.8 MB/s | 123 kB 00:00 (101/155): libxml2-2.12.7-1.fc41.aarch64.rpm 24 MB/s | 686 kB 00:00 (102/155): libzstd-1.5.6-1.fc41.aarch64.rpm 12 MB/s | 287 kB 00:00 (103/155): lua-libs-5.4.6-5.fc40.aarch64.rpm 4.9 MB/s | 131 kB 00:00 (104/155): lua-srpm-macros-1-13.fc40.noarch.rpm 407 kB/s | 8.7 kB 00:00 (105/155): lz4-libs-1.9.4-6.fc40.aarch64.rpm 2.8 MB/s | 68 kB 00:00 (106/155): mpfr-4.2.1-4.fc41.aarch64.rpm 13 MB/s | 325 kB 00:00 (107/155): ncurses-libs-6.4-12.20240127.fc40.aa 17 MB/s | 329 kB 00:00 (108/155): ncurses-base-6.4-12.20240127.fc40.no 2.2 MB/s | 64 kB 00:00 (109/155): openblas-srpm-macros-2-17.fc41.noarc 418 kB/s | 7.7 kB 00:00 (110/155): ocaml-srpm-macros-9-3.fc40.noarch.rp 298 kB/s | 9.1 kB 00:00 (111/155): openldap-2.6.8-1.fc41.aarch64.rpm 8.1 MB/s | 253 kB 00:00 (112/155): p11-kit-0.25.3-4.fc40.aarch64.rpm 21 MB/s | 486 kB 00:00 (113/155): p11-kit-trust-0.25.3-4.fc40.aarch64. 6.1 MB/s | 142 kB 00:00 (114/155): openssl-libs-3.2.1-6.fc41.aarch64.rp 53 MB/s | 2.2 MB 00:00 (115/155): package-notes-srpm-macros-0.5-11.fc4 398 kB/s | 9.9 kB 00:00 (116/155): pam-libs-1.6.1-3.fc41.aarch64.rpm 2.5 MB/s | 57 kB 00:00 (117/155): pam-1.6.1-3.fc41.aarch64.rpm 16 MB/s | 527 kB 00:00 (118/155): patch-2.7.6-24.fc40.aarch64.rpm 5.5 MB/s | 130 kB 00:00 (119/155): pcre2-10.43-2.fc41.1.aarch64.rpm 8.0 MB/s | 226 kB 00:00 (120/155): pcre2-syntax-10.43-2.fc41.1.noarch.r 6.4 MB/s | 149 kB 00:00 (121/155): perl-srpm-macros-1-53.fc40.noarch.rp 326 kB/s | 8.4 kB 00:00 (122/155): pkgconf-m4-2.1.1-1.fc41.noarch.rpm 853 kB/s | 14 kB 00:00 (123/155): pkgconf-2.1.1-1.fc41.aarch64.rpm 1.6 MB/s | 44 kB 00:00 (124/155): pkgconf-pkg-config-2.1.1-1.fc41.aarc 424 kB/s | 9.9 kB 00:00 (125/155): popt-1.19-6.fc40.aarch64.rpm 2.2 MB/s | 60 kB 00:00 (126/155): publicsuffix-list-dafsa-20240107-3.f 2.8 MB/s | 58 kB 00:00 (127/155): pyproject-srpm-macros-1.12.0-1.fc40. 509 kB/s | 14 kB 00:00 (128/155): qt5-srpm-macros-5.15.13-1.fc41.noarc 539 kB/s | 8.5 kB 00:00 (129/155): python-srpm-macros-3.12-9.fc41.noarc 926 kB/s | 24 kB 00:00 (130/155): readline-8.2-8.fc40.aarch64.rpm 11 MB/s | 213 kB 00:00 (131/155): qt6-srpm-macros-6.7.1-1.fc41.noarch. 282 kB/s | 8.9 kB 00:00 (132/155): redhat-rpm-config-291-1.fc41.noarch. 3.2 MB/s | 76 kB 00:00 (133/155): rpm-4.19.91-4.fc41.aarch64.rpm 19 MB/s | 520 kB 00:00 (134/155): rpm-build-4.19.91-4.fc41.aarch64.rpm 3.2 MB/s | 76 kB 00:00 (135/155): rpm-build-libs-4.19.91-4.fc41.aarch6 3.9 MB/s | 95 kB 00:00 (136/155): rust-srpm-macros-26.3-1.fc41.noarch. 619 kB/s | 13 kB 00:00 (137/155): rpm-sequoia-1.6.0-3.fc41.aarch64.rpm 28 MB/s | 806 kB 00:00 (138/155): rpm-libs-4.19.91-4.fc41.aarch64.rpm 9.1 MB/s | 306 kB 00:00 (139/155): setup-2.14.6-1.fc41.noarch.rpm 7.4 MB/s | 148 kB 00:00 (140/155): sed-4.9-1.fc40.aarch64.rpm 8.4 MB/s | 307 kB 00:00 (141/155): shadow-utils-4.15.1-5.fc41.aarch64.r 39 MB/s | 1.3 MB 00:00 (142/155): sqlite-libs-3.45.3-1.fc41.aarch64.rp 23 MB/s | 705 kB 00:00 (143/155): tar-1.35-3.fc40.aarch64.rpm 29 MB/s | 848 kB 00:00 (144/155): systemd-libs-256~rc3-3.fc41.aarch64. 19 MB/s | 718 kB 00:00 (145/155): unzip-6.0-63.fc40.aarch64.rpm 6.8 MB/s | 185 kB 00:00 (146/155): util-linux-2.40.1-1.fc41.aarch64.rpm 39 MB/s | 1.2 MB 00:00 (147/155): util-linux-core-2.40.1-1.fc41.aarch6 21 MB/s | 519 kB 00:00 (148/155): which-2.21-41.fc40.aarch64.rpm 1.5 MB/s | 42 kB 00:00 (149/155): xz-5.4.6-3.fc41.aarch64.rpm 29 MB/s | 533 kB 00:00 (150/155): xxhash-libs-0.8.2-2.fc40.aarch64.rpm 1.3 MB/s | 34 kB 00:00 (151/155): xz-libs-5.4.6-3.fc41.aarch64.rpm 5.9 MB/s | 108 kB 00:00 (152/155): zig-srpm-macros-1-2.fc40.noarch.rpm 347 kB/s | 8.0 kB 00:00 (153/155): zip-3.0-40.fc40.aarch64.rpm 12 MB/s | 263 kB 00:00 (154/155): zlib-ng-compat-2.1.6-4.fc41.aarch64. 2.9 MB/s | 66 kB 00:00 (155/155): zstd-1.5.6-1.fc41.aarch64.rpm 17 MB/s | 457 kB 00:00 -------------------------------------------------------------------------------- Total 36 MB/s | 53 MB 00:01 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.18-9.fc41.aarch64 1/1 Preparing : 1/1 Installing : libgcc-14.1.1-4.fc41.aarch64 1/155 Running scriptlet: libgcc-14.1.1-4.fc41.aarch64 1/155 Installing : crypto-policies-20240521-1.gitf71d135.fc41.noarc 2/155 Running scriptlet: crypto-policies-20240521-1.gitf71d135.fc41.noarc 2/155 Installing : fedora-release-identity-basic-41-0.13.noarch 3/155 Installing : fedora-repos-rawhide-41-0.2.noarch 4/155 Installing : fedora-gpg-keys-41-0.2.noarch 5/155 Installing : fedora-repos-41-0.2.noarch 6/155 Installing : fedora-release-common-41-0.13.noarch 7/155 Installing : fedora-release-41-0.13.noarch 8/155 Installing : setup-2.14.6-1.fc41.noarch 9/155 warning: /etc/hosts created as /etc/hosts.rpmnew Running scriptlet: setup-2.14.6-1.fc41.noarch 9/155 Installing : filesystem-3.18-9.fc41.aarch64 10/155 Installing : basesystem-11-20.fc40.noarch 11/155 Installing : rust-srpm-macros-26.3-1.fc41.noarch 12/155 Installing : qt6-srpm-macros-6.7.1-1.fc41.noarch 13/155 Installing : qt5-srpm-macros-5.15.13-1.fc41.noarch 14/155 Installing : publicsuffix-list-dafsa-20240107-3.fc40.noarch 15/155 Installing : pkgconf-m4-2.1.1-1.fc41.noarch 16/155 Installing : perl-srpm-macros-1-53.fc40.noarch 17/155 Installing : pcre2-syntax-10.43-2.fc41.1.noarch 18/155 Installing : package-notes-srpm-macros-0.5-11.fc40.noarch 19/155 Installing : openblas-srpm-macros-2-17.fc41.noarch 20/155 Installing : ocaml-srpm-macros-9-3.fc40.noarch 21/155 Installing : ncurses-base-6.4-12.20240127.fc40.noarch 22/155 Installing : glibc-gconv-extra-2.39.9000-18.fc41.aarch64 23/155 Running scriptlet: glibc-gconv-extra-2.39.9000-18.fc41.aarch64 23/155 Installing : glibc-minimal-langpack-2.39.9000-18.fc41.aarch64 24/155 Installing : glibc-common-2.39.9000-18.fc41.aarch64 25/155 Running scriptlet: glibc-2.39.9000-18.fc41.aarch64 26/155 Installing : glibc-2.39.9000-18.fc41.aarch64 26/155 Running scriptlet: glibc-2.39.9000-18.fc41.aarch64 26/155 Installing : ncurses-libs-6.4-12.20240127.fc40.aarch64 27/155 Installing : bash-5.2.26-3.fc40.aarch64 28/155 Running scriptlet: bash-5.2.26-3.fc40.aarch64 28/155 Installing : zlib-ng-compat-2.1.6-4.fc41.aarch64 29/155 Installing : bzip2-libs-1.0.8-18.fc40.aarch64 30/155 Installing : xz-libs-1:5.4.6-3.fc41.aarch64 31/155 Installing : readline-8.2-8.fc40.aarch64 32/155 Installing : libstdc++-14.1.1-4.fc41.aarch64 33/155 Installing : libuuid-2.40.1-1.fc41.aarch64 34/155 Installing : libzstd-1.5.6-1.fc41.aarch64 35/155 Installing : elfutils-libelf-0.191-7.fc41.aarch64 36/155 Installing : popt-1.19-6.fc40.aarch64 37/155 Installing : libblkid-2.40.1-1.fc41.aarch64 38/155 Installing : gmp-1:6.3.0-1.fc41.aarch64 39/155 Installing : libattr-2.5.2-3.fc40.aarch64 40/155 Installing : libacl-2.3.2-1.fc40.aarch64 41/155 Installing : libxcrypt-4.4.36-5.fc40.aarch64 42/155 Installing : gdbm-libs-1:1.23-6.fc40.aarch64 43/155 Installing : libeconf-0.6.2-2.fc41.aarch64 44/155 Installing : mpfr-4.2.1-4.fc41.aarch64 45/155 Installing : gawk-5.3.0-3.fc40.aarch64 46/155 Installing : dwz-0.15-6.fc40.aarch64 47/155 Installing : unzip-6.0-63.fc40.aarch64 48/155 Installing : file-libs-5.45-5.fc41.aarch64 49/155 Installing : file-5.45-5.fc41.aarch64 50/155 Installing : alternatives-1.27-1.fc41.aarch64 51/155 Installing : jansson-2.13.1-9.fc40.aarch64 52/155 Installing : libcap-ng-0.8.5-1.fc41.aarch64 53/155 Installing : audit-libs-4.0.1-2.fc41.aarch64 54/155 Installing : pam-libs-1.6.1-3.fc41.aarch64 55/155 Installing : libcap-2.70-1.fc41.aarch64 56/155 Installing : systemd-libs-256~rc3-3.fc41.aarch64 57/155 Installing : libcom_err-1.47.0-5.fc40.aarch64 58/155 Installing : libsepol-3.6-3.fc40.aarch64 59/155 Installing : libsmartcols-2.40.1-1.fc41.aarch64 60/155 Installing : libtasn1-4.19.0-6.fc40.aarch64 61/155 Installing : libunistring-1.1-7.fc41.aarch64 62/155 Installing : libidn2-2.3.7-1.fc40.aarch64 63/155 Installing : lua-libs-5.4.6-5.fc40.aarch64 64/155 Installing : lz4-libs-1.9.4-6.fc40.aarch64 65/155 Installing : pcre2-10.43-2.fc41.1.aarch64 66/155 Installing : libselinux-3.6-4.fc40.aarch64 67/155 Installing : sed-4.9-1.fc40.aarch64 68/155 Installing : grep-3.11-8.fc41.aarch64 69/155 Installing : findutils-1:4.9.0-8.fc40.aarch64 70/155 Installing : xz-1:5.4.6-3.fc41.aarch64 71/155 Installing : libmount-2.40.1-1.fc41.aarch64 72/155 Installing : util-linux-core-2.40.1-1.fc41.aarch64 73/155 Installing : libsemanage-3.6-3.fc40.aarch64 74/155 Installing : shadow-utils-2:4.15.1-5.fc41.aarch64 75/155 Running scriptlet: libutempter-1.2.1-13.fc40.aarch64 76/155 Installing : libutempter-1.2.1-13.fc40.aarch64 76/155 Installing : tar-2:1.35-3.fc40.aarch64 77/155 Installing : zstd-1.5.6-1.fc41.aarch64 78/155 Installing : libpsl-0.21.5-3.fc40.aarch64 79/155 Installing : zip-3.0-40.fc40.aarch64 80/155 Installing : cyrus-sasl-lib-2.1.28-22.fc41.aarch64 81/155 Installing : gdbm-1:1.23-6.fc40.aarch64 82/155 Installing : libfdisk-2.40.1-1.fc41.aarch64 83/155 Installing : add-determinism-nopython-0.2.0-9.fc41.aarch64 84/155 Installing : build-reproducibility-srpm-macros-0.2.0-9.fc41.n 85/155 Installing : libxml2-2.12.7-1.fc41.aarch64 86/155 Installing : bzip2-1.0.8-18.fc40.aarch64 87/155 Installing : sqlite-libs-3.45.3-1.fc41.aarch64 88/155 Installing : ed-1.20.2-1.fc41.aarch64 89/155 Installing : patch-2.7.6-24.fc40.aarch64 90/155 Installing : elfutils-default-yama-scope-0.191-7.fc41.noarch 91/155 Running scriptlet: elfutils-default-yama-scope-0.191-7.fc41.noarch 91/155 Installing : cpio-2.15-1.fc40.aarch64 92/155 Installing : diffutils-3.10-5.fc40.aarch64 93/155 Installing : keyutils-libs-1.6.3-3.fc40.aarch64 94/155 Installing : libbrotli-1.1.0-3.fc40.aarch64 95/155 Installing : libffi-3.4.6-1.fc41.aarch64 96/155 Installing : p11-kit-0.25.3-4.fc40.aarch64 97/155 Installing : p11-kit-trust-0.25.3-4.fc40.aarch64 98/155 Running scriptlet: p11-kit-trust-0.25.3-4.fc40.aarch64 98/155 Installing : libgomp-14.1.1-4.fc41.aarch64 99/155 Installing : libnghttp2-1.62.0-1.fc41.aarch64 100/155 Installing : libpkgconf-2.1.1-1.fc41.aarch64 101/155 Installing : pkgconf-2.1.1-1.fc41.aarch64 102/155 Installing : pkgconf-pkg-config-2.1.1-1.fc41.aarch64 103/155 Installing : libtool-ltdl-2.4.7-10.fc40.aarch64 104/155 Installing : libverto-0.3.2-8.fc40.aarch64 105/155 Installing : xxhash-libs-0.8.2-2.fc40.aarch64 106/155 Installing : libssh-config-0.10.6-6.fc41.noarch 107/155 Installing : kernel-srpm-macros-1.0-23.fc41.noarch 108/155 Installing : gnat-srpm-macros-6-5.fc40.noarch 109/155 Installing : ghc-srpm-macros-1.9.1-1.fc41.noarch 110/155 Installing : fpc-srpm-macros-1.3-12.fc40.noarch 111/155 Installing : coreutils-common-9.5-1.fc41.aarch64 112/155 Installing : openssl-libs-1:3.2.1-6.fc41.aarch64 113/155 Installing : coreutils-9.5-1.fc41.aarch64 114/155 Running scriptlet: ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch 115/155 Installing : ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch 115/155 Running scriptlet: ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch 115/155 Installing : krb5-libs-1.21.2-5.fc40.aarch64 116/155 Installing : libarchive-3.7.4-1.fc41.aarch64 117/155 Installing : libtirpc-1.3.4-1.rc3.fc41.aarch64 118/155 Installing : authselect-libs-1.5.0-5.fc41.aarch64 119/155 Installing : gzip-1.13-1.fc40.aarch64 120/155 Installing : cracklib-2.9.11-5.fc40.aarch64 121/155 Installing : libpwquality-1.4.5-9.fc40.aarch64 122/155 Installing : authselect-1.5.0-5.fc41.aarch64 123/155 Installing : libnsl2-2.0.1-1.fc40.aarch64 124/155 Installing : pam-1.6.1-3.fc41.aarch64 125/155 Installing : libssh-0.10.6-6.fc41.aarch64 126/155 Installing : libevent-2.1.12-13.fc41.aarch64 127/155 Installing : openldap-2.6.8-1.fc41.aarch64 128/155 Installing : libcurl-8.8.0-1.fc41.aarch64 129/155 Installing : elfutils-libs-0.191-7.fc41.aarch64 130/155 Installing : elfutils-debuginfod-client-0.191-7.fc41.aarch64 131/155 Installing : binutils-gold-2.42.50-11.fc41.aarch64 132/155 Running scriptlet: binutils-gold-2.42.50-11.fc41.aarch64 132/155 Installing : binutils-2.42.50-11.fc41.aarch64 133/155 Running scriptlet: binutils-2.42.50-11.fc41.aarch64 133/155 Installing : gdb-minimal-14.2-9.fc41.aarch64 134/155 Installing : elfutils-0.191-7.fc41.aarch64 135/155 Installing : debugedit-5.0-16.fc41.aarch64 136/155 Installing : curl-8.8.0-1.fc41.aarch64 137/155 Installing : rpm-sequoia-1.6.0-3.fc41.aarch64 138/155 Installing : rpm-libs-4.19.91-4.fc41.aarch64 139/155 Running scriptlet: rpm-4.19.91-4.fc41.aarch64 140/155 Installing : rpm-4.19.91-4.fc41.aarch64 140/155 Installing : efi-srpm-macros-5-11.fc40.noarch 141/155 Installing : lua-srpm-macros-1-13.fc40.noarch 142/155 Installing : zig-srpm-macros-1-2.fc40.noarch 143/155 Installing : rpm-build-libs-4.19.91-4.fc41.aarch64 144/155 Installing : ansible-srpm-macros-1-15.fc41.noarch 145/155 Installing : fonts-srpm-macros-1:2.0.5-14.fc40.noarch 146/155 Installing : forge-srpm-macros-0.3.1-1.fc41.noarch 147/155 Installing : go-srpm-macros-3.6.0-1.fc41.noarch 148/155 Installing : python-srpm-macros-3.12-9.fc41.noarch 149/155 Installing : redhat-rpm-config-291-1.fc41.noarch 150/155 Installing : rpm-build-4.19.91-4.fc41.aarch64 151/155 Installing : pyproject-srpm-macros-1.12.0-1.fc40.noarch 152/155 Installing : util-linux-2.40.1-1.fc41.aarch64 153/155 Running scriptlet: util-linux-2.40.1-1.fc41.aarch64 153/155 Installing : which-2.21-41.fc40.aarch64 154/155 Installing : info-7.1-2.fc40.aarch64 155/155 Running scriptlet: filesystem-3.18-9.fc41.aarch64 155/155 Running scriptlet: ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch 155/155 Running scriptlet: authselect-libs-1.5.0-5.fc41.aarch64 155/155 Running scriptlet: rpm-4.19.91-4.fc41.aarch64 155/155 Running scriptlet: info-7.1-2.fc40.aarch64 155/155 Installed: add-determinism-nopython-0.2.0-9.fc41.aarch64 alternatives-1.27-1.fc41.aarch64 ansible-srpm-macros-1-15.fc41.noarch audit-libs-4.0.1-2.fc41.aarch64 authselect-1.5.0-5.fc41.aarch64 authselect-libs-1.5.0-5.fc41.aarch64 basesystem-11-20.fc40.noarch bash-5.2.26-3.fc40.aarch64 binutils-2.42.50-11.fc41.aarch64 binutils-gold-2.42.50-11.fc41.aarch64 build-reproducibility-srpm-macros-0.2.0-9.fc41.noarch bzip2-1.0.8-18.fc40.aarch64 bzip2-libs-1.0.8-18.fc40.aarch64 ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch coreutils-9.5-1.fc41.aarch64 coreutils-common-9.5-1.fc41.aarch64 cpio-2.15-1.fc40.aarch64 cracklib-2.9.11-5.fc40.aarch64 crypto-policies-20240521-1.gitf71d135.fc41.noarch curl-8.8.0-1.fc41.aarch64 cyrus-sasl-lib-2.1.28-22.fc41.aarch64 debugedit-5.0-16.fc41.aarch64 diffutils-3.10-5.fc40.aarch64 dwz-0.15-6.fc40.aarch64 ed-1.20.2-1.fc41.aarch64 efi-srpm-macros-5-11.fc40.noarch elfutils-0.191-7.fc41.aarch64 elfutils-debuginfod-client-0.191-7.fc41.aarch64 elfutils-default-yama-scope-0.191-7.fc41.noarch elfutils-libelf-0.191-7.fc41.aarch64 elfutils-libs-0.191-7.fc41.aarch64 fedora-gpg-keys-41-0.2.noarch fedora-release-41-0.13.noarch fedora-release-common-41-0.13.noarch fedora-release-identity-basic-41-0.13.noarch fedora-repos-41-0.2.noarch fedora-repos-rawhide-41-0.2.noarch file-5.45-5.fc41.aarch64 file-libs-5.45-5.fc41.aarch64 filesystem-3.18-9.fc41.aarch64 findutils-1:4.9.0-8.fc40.aarch64 fonts-srpm-macros-1:2.0.5-14.fc40.noarch forge-srpm-macros-0.3.1-1.fc41.noarch fpc-srpm-macros-1.3-12.fc40.noarch gawk-5.3.0-3.fc40.aarch64 gdb-minimal-14.2-9.fc41.aarch64 gdbm-1:1.23-6.fc40.aarch64 gdbm-libs-1:1.23-6.fc40.aarch64 ghc-srpm-macros-1.9.1-1.fc41.noarch glibc-2.39.9000-18.fc41.aarch64 glibc-common-2.39.9000-18.fc41.aarch64 glibc-gconv-extra-2.39.9000-18.fc41.aarch64 glibc-minimal-langpack-2.39.9000-18.fc41.aarch64 gmp-1:6.3.0-1.fc41.aarch64 gnat-srpm-macros-6-5.fc40.noarch go-srpm-macros-3.6.0-1.fc41.noarch grep-3.11-8.fc41.aarch64 gzip-1.13-1.fc40.aarch64 info-7.1-2.fc40.aarch64 jansson-2.13.1-9.fc40.aarch64 kernel-srpm-macros-1.0-23.fc41.noarch keyutils-libs-1.6.3-3.fc40.aarch64 krb5-libs-1.21.2-5.fc40.aarch64 libacl-2.3.2-1.fc40.aarch64 libarchive-3.7.4-1.fc41.aarch64 libattr-2.5.2-3.fc40.aarch64 libblkid-2.40.1-1.fc41.aarch64 libbrotli-1.1.0-3.fc40.aarch64 libcap-2.70-1.fc41.aarch64 libcap-ng-0.8.5-1.fc41.aarch64 libcom_err-1.47.0-5.fc40.aarch64 libcurl-8.8.0-1.fc41.aarch64 libeconf-0.6.2-2.fc41.aarch64 libevent-2.1.12-13.fc41.aarch64 libfdisk-2.40.1-1.fc41.aarch64 libffi-3.4.6-1.fc41.aarch64 libgcc-14.1.1-4.fc41.aarch64 libgomp-14.1.1-4.fc41.aarch64 libidn2-2.3.7-1.fc40.aarch64 libmount-2.40.1-1.fc41.aarch64 libnghttp2-1.62.0-1.fc41.aarch64 libnsl2-2.0.1-1.fc40.aarch64 libpkgconf-2.1.1-1.fc41.aarch64 libpsl-0.21.5-3.fc40.aarch64 libpwquality-1.4.5-9.fc40.aarch64 libselinux-3.6-4.fc40.aarch64 libsemanage-3.6-3.fc40.aarch64 libsepol-3.6-3.fc40.aarch64 libsmartcols-2.40.1-1.fc41.aarch64 libssh-0.10.6-6.fc41.aarch64 libssh-config-0.10.6-6.fc41.noarch libstdc++-14.1.1-4.fc41.aarch64 libtasn1-4.19.0-6.fc40.aarch64 libtirpc-1.3.4-1.rc3.fc41.aarch64 libtool-ltdl-2.4.7-10.fc40.aarch64 libunistring-1.1-7.fc41.aarch64 libutempter-1.2.1-13.fc40.aarch64 libuuid-2.40.1-1.fc41.aarch64 libverto-0.3.2-8.fc40.aarch64 libxcrypt-4.4.36-5.fc40.aarch64 libxml2-2.12.7-1.fc41.aarch64 libzstd-1.5.6-1.fc41.aarch64 lua-libs-5.4.6-5.fc40.aarch64 lua-srpm-macros-1-13.fc40.noarch lz4-libs-1.9.4-6.fc40.aarch64 mpfr-4.2.1-4.fc41.aarch64 ncurses-base-6.4-12.20240127.fc40.noarch ncurses-libs-6.4-12.20240127.fc40.aarch64 ocaml-srpm-macros-9-3.fc40.noarch openblas-srpm-macros-2-17.fc41.noarch openldap-2.6.8-1.fc41.aarch64 openssl-libs-1:3.2.1-6.fc41.aarch64 p11-kit-0.25.3-4.fc40.aarch64 p11-kit-trust-0.25.3-4.fc40.aarch64 package-notes-srpm-macros-0.5-11.fc40.noarch pam-1.6.1-3.fc41.aarch64 pam-libs-1.6.1-3.fc41.aarch64 patch-2.7.6-24.fc40.aarch64 pcre2-10.43-2.fc41.1.aarch64 pcre2-syntax-10.43-2.fc41.1.noarch perl-srpm-macros-1-53.fc40.noarch pkgconf-2.1.1-1.fc41.aarch64 pkgconf-m4-2.1.1-1.fc41.noarch pkgconf-pkg-config-2.1.1-1.fc41.aarch64 popt-1.19-6.fc40.aarch64 publicsuffix-list-dafsa-20240107-3.fc40.noarch pyproject-srpm-macros-1.12.0-1.fc40.noarch python-srpm-macros-3.12-9.fc41.noarch qt5-srpm-macros-5.15.13-1.fc41.noarch qt6-srpm-macros-6.7.1-1.fc41.noarch readline-8.2-8.fc40.aarch64 redhat-rpm-config-291-1.fc41.noarch rpm-4.19.91-4.fc41.aarch64 rpm-build-4.19.91-4.fc41.aarch64 rpm-build-libs-4.19.91-4.fc41.aarch64 rpm-libs-4.19.91-4.fc41.aarch64 rpm-sequoia-1.6.0-3.fc41.aarch64 rust-srpm-macros-26.3-1.fc41.noarch sed-4.9-1.fc40.aarch64 setup-2.14.6-1.fc41.noarch shadow-utils-2:4.15.1-5.fc41.aarch64 sqlite-libs-3.45.3-1.fc41.aarch64 systemd-libs-256~rc3-3.fc41.aarch64 tar-2:1.35-3.fc40.aarch64 unzip-6.0-63.fc40.aarch64 util-linux-2.40.1-1.fc41.aarch64 util-linux-core-2.40.1-1.fc41.aarch64 which-2.21-41.fc40.aarch64 xxhash-libs-0.8.2-2.fc40.aarch64 xz-1:5.4.6-3.fc41.aarch64 xz-libs-1:5.4.6-3.fc41.aarch64 zig-srpm-macros-1-2.fc40.noarch zip-3.0-40.fc40.aarch64 zlib-ng-compat-2.1.6-4.fc41.aarch64 zstd-1.5.6-1.fc41.aarch64 Complete! Finish: installing minimal buildroot with dnf Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: add-determinism-nopython-0.2.0-9.fc41.aarch64 alternatives-1.27-1.fc41.aarch64 ansible-srpm-macros-1-15.fc41.noarch audit-libs-4.0.1-2.fc41.aarch64 authselect-1.5.0-5.fc41.aarch64 authselect-libs-1.5.0-5.fc41.aarch64 basesystem-11-20.fc40.noarch bash-5.2.26-3.fc40.aarch64 binutils-2.42.50-11.fc41.aarch64 binutils-gold-2.42.50-11.fc41.aarch64 build-reproducibility-srpm-macros-0.2.0-9.fc41.noarch bzip2-1.0.8-18.fc40.aarch64 bzip2-libs-1.0.8-18.fc40.aarch64 ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch coreutils-9.5-1.fc41.aarch64 coreutils-common-9.5-1.fc41.aarch64 cpio-2.15-1.fc40.aarch64 cracklib-2.9.11-5.fc40.aarch64 crypto-policies-20240521-1.gitf71d135.fc41.noarch curl-8.8.0-1.fc41.aarch64 cyrus-sasl-lib-2.1.28-22.fc41.aarch64 debugedit-5.0-16.fc41.aarch64 diffutils-3.10-5.fc40.aarch64 dwz-0.15-6.fc40.aarch64 ed-1.20.2-1.fc41.aarch64 efi-srpm-macros-5-11.fc40.noarch elfutils-0.191-7.fc41.aarch64 elfutils-debuginfod-client-0.191-7.fc41.aarch64 elfutils-default-yama-scope-0.191-7.fc41.noarch elfutils-libelf-0.191-7.fc41.aarch64 elfutils-libs-0.191-7.fc41.aarch64 fedora-gpg-keys-41-0.2.noarch fedora-release-41-0.13.noarch fedora-release-common-41-0.13.noarch fedora-release-identity-basic-41-0.13.noarch fedora-repos-41-0.2.noarch fedora-repos-rawhide-41-0.2.noarch file-5.45-5.fc41.aarch64 file-libs-5.45-5.fc41.aarch64 filesystem-3.18-9.fc41.aarch64 findutils-4.9.0-8.fc40.aarch64 fonts-srpm-macros-2.0.5-14.fc40.noarch forge-srpm-macros-0.3.1-1.fc41.noarch fpc-srpm-macros-1.3-12.fc40.noarch gawk-5.3.0-3.fc40.aarch64 gdb-minimal-14.2-9.fc41.aarch64 gdbm-1.23-6.fc40.aarch64 gdbm-libs-1.23-6.fc40.aarch64 ghc-srpm-macros-1.9.1-1.fc41.noarch glibc-2.39.9000-18.fc41.aarch64 glibc-common-2.39.9000-18.fc41.aarch64 glibc-gconv-extra-2.39.9000-18.fc41.aarch64 glibc-minimal-langpack-2.39.9000-18.fc41.aarch64 gmp-6.3.0-1.fc41.aarch64 gnat-srpm-macros-6-5.fc40.noarch go-srpm-macros-3.6.0-1.fc41.noarch grep-3.11-8.fc41.aarch64 gzip-1.13-1.fc40.aarch64 info-7.1-2.fc40.aarch64 jansson-2.13.1-9.fc40.aarch64 kernel-srpm-macros-1.0-23.fc41.noarch keyutils-libs-1.6.3-3.fc40.aarch64 krb5-libs-1.21.2-5.fc40.aarch64 libacl-2.3.2-1.fc40.aarch64 libarchive-3.7.4-1.fc41.aarch64 libattr-2.5.2-3.fc40.aarch64 libblkid-2.40.1-1.fc41.aarch64 libbrotli-1.1.0-3.fc40.aarch64 libcap-2.70-1.fc41.aarch64 libcap-ng-0.8.5-1.fc41.aarch64 libcom_err-1.47.0-5.fc40.aarch64 libcurl-8.8.0-1.fc41.aarch64 libeconf-0.6.2-2.fc41.aarch64 libevent-2.1.12-13.fc41.aarch64 libfdisk-2.40.1-1.fc41.aarch64 libffi-3.4.6-1.fc41.aarch64 libgcc-14.1.1-4.fc41.aarch64 libgomp-14.1.1-4.fc41.aarch64 libidn2-2.3.7-1.fc40.aarch64 libmount-2.40.1-1.fc41.aarch64 libnghttp2-1.62.0-1.fc41.aarch64 libnsl2-2.0.1-1.fc40.aarch64 libpkgconf-2.1.1-1.fc41.aarch64 libpsl-0.21.5-3.fc40.aarch64 libpwquality-1.4.5-9.fc40.aarch64 libselinux-3.6-4.fc40.aarch64 libsemanage-3.6-3.fc40.aarch64 libsepol-3.6-3.fc40.aarch64 libsmartcols-2.40.1-1.fc41.aarch64 libssh-0.10.6-6.fc41.aarch64 libssh-config-0.10.6-6.fc41.noarch libstdc++-14.1.1-4.fc41.aarch64 libtasn1-4.19.0-6.fc40.aarch64 libtirpc-1.3.4-1.rc3.fc41.aarch64 libtool-ltdl-2.4.7-10.fc40.aarch64 libunistring-1.1-7.fc41.aarch64 libutempter-1.2.1-13.fc40.aarch64 libuuid-2.40.1-1.fc41.aarch64 libverto-0.3.2-8.fc40.aarch64 libxcrypt-4.4.36-5.fc40.aarch64 libxml2-2.12.7-1.fc41.aarch64 libzstd-1.5.6-1.fc41.aarch64 lua-libs-5.4.6-5.fc40.aarch64 lua-srpm-macros-1-13.fc40.noarch lz4-libs-1.9.4-6.fc40.aarch64 mpfr-4.2.1-4.fc41.aarch64 ncurses-base-6.4-12.20240127.fc40.noarch ncurses-libs-6.4-12.20240127.fc40.aarch64 ocaml-srpm-macros-9-3.fc40.noarch openblas-srpm-macros-2-17.fc41.noarch openldap-2.6.8-1.fc41.aarch64 openssl-libs-3.2.1-6.fc41.aarch64 p11-kit-0.25.3-4.fc40.aarch64 p11-kit-trust-0.25.3-4.fc40.aarch64 package-notes-srpm-macros-0.5-11.fc40.noarch pam-1.6.1-3.fc41.aarch64 pam-libs-1.6.1-3.fc41.aarch64 patch-2.7.6-24.fc40.aarch64 pcre2-10.43-2.fc41.1.aarch64 pcre2-syntax-10.43-2.fc41.1.noarch perl-srpm-macros-1-53.fc40.noarch pkgconf-2.1.1-1.fc41.aarch64 pkgconf-m4-2.1.1-1.fc41.noarch pkgconf-pkg-config-2.1.1-1.fc41.aarch64 popt-1.19-6.fc40.aarch64 publicsuffix-list-dafsa-20240107-3.fc40.noarch pyproject-srpm-macros-1.12.0-1.fc40.noarch python-srpm-macros-3.12-9.fc41.noarch qt5-srpm-macros-5.15.13-1.fc41.noarch qt6-srpm-macros-6.7.1-1.fc41.noarch readline-8.2-8.fc40.aarch64 redhat-rpm-config-291-1.fc41.noarch rpm-4.19.91-4.fc41.aarch64 rpm-build-4.19.91-4.fc41.aarch64 rpm-build-libs-4.19.91-4.fc41.aarch64 rpm-libs-4.19.91-4.fc41.aarch64 rpm-sequoia-1.6.0-3.fc41.aarch64 rust-srpm-macros-26.3-1.fc41.noarch sed-4.9-1.fc40.aarch64 setup-2.14.6-1.fc41.noarch shadow-utils-4.15.1-5.fc41.aarch64 sqlite-libs-3.45.3-1.fc41.aarch64 systemd-libs-256~rc3-3.fc41.aarch64 tar-1.35-3.fc40.aarch64 unzip-6.0-63.fc40.aarch64 util-linux-2.40.1-1.fc41.aarch64 util-linux-core-2.40.1-1.fc41.aarch64 which-2.21-41.fc40.aarch64 xxhash-libs-0.8.2-2.fc40.aarch64 xz-5.4.6-3.fc41.aarch64 xz-libs-5.4.6-3.fc41.aarch64 zig-srpm-macros-1-2.fc40.noarch zip-3.0-40.fc40.aarch64 zlib-ng-compat-2.1.6-4.fc41.aarch64 zstd-1.5.6-1.fc41.aarch64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1717027200 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.5-2.fc41.src.rpm Finish: rpmbuild -bs cp: preserving permissions for ‘/var/lib/copr-rpmbuild/results/chroot_scan/var/lib/mock/fedora-39-aarch64-1717061400.784875/root/var/log’: No such file or directory INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-39-aarch64-1717061400.784875/root/var/log/dnf.rpm.log /var/lib/mock/fedora-39-aarch64-1717061400.784875/root/var/log/dnf.librepo.log /var/lib/mock/fedora-39-aarch64-1717061400.784875/root/var/log/dnf.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-t7771_s6/gappalib-coq/gappalib-coq.spec) Config(child) 1 minutes 58 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot INFO: Start(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.5-2.fc41.src.rpm) Config(fedora-39-aarch64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-39-aarch64-bootstrap-1717061400.784875/root. INFO: reusing tmpfs at /var/lib/mock/fedora-39-aarch64-bootstrap-1717061400.784875/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-aarch64-1717061400.784875/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.1.1-1.fc39.aarch64 rpm-sequoia-1.6.0-1.fc39.aarch64 python3-dnf-4.20.0-1.fc41.noarch python3-dnf-plugins-core-4.7.0-1.fc41.noarch dnf5-5.2.2.0-1.fc41.aarch64 Finish: chroot init Start: build phase for gappalib-coq-1.5.5-2.fc41.src.rpm Start: build setup for gappalib-coq-1.5.5-2.fc41.src.rpm Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1717027200 Wrote: /builddir/build/SRPMS/gappalib-coq-1.5.5-2.fc41.src.rpm No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 78 kB/s | 1.5 kB 00:00 Additional repo http_kojipkgs_fedoraproject_org 48 kB/s | 3.8 kB 00:00 fedora 175 kB/s | 14 kB 00:00 updates 40 kB/s | 12 kB 00:00 Dependencies resolved. =========================================================================================================================================== Package Arch Version Repository Size =========================================================================================================================================== Installing: autoconf noarch 2.72-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 817 k coq aarch64 8.18.0-5.fc41 copr_base 24 M flocq aarch64 4.1.4-2.fc41 copr_base 3.5 M gappa aarch64 1.4.2-3.fc40 copr_base 263 k gcc-c++ aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 13 M ocaml aarch64 5.1.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 34 M ocaml-findlib aarch64 1.9.6-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.0 M ocaml-zarith-devel aarch64 1.13-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 386 k remake aarch64 0.14-10.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 63 k Installing dependencies: add-determinism aarch64 0.2.0-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 833 k annobin-docs noarch 12.54-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 90 k annobin-plugin-gcc aarch64 12.54-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 964 k coq-core aarch64 8.18.0-5.fc41 copr_base 235 M cpp aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 11 M csdp aarch64 6.2.0-27.20181018git0dcf187.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 302 k csdp-tools aarch64 6.2.0-27.20181018git0dcf187.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 30 k emacs-filesystem noarch 1:30.0-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 7.1 k expat aarch64 2.6.2-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 111 k flexiblas aarch64 3.4.2-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 k flexiblas-netlib aarch64 3.4.2-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.7 M flexiblas-openblas-openmp aarch64 3.4.2-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 17 k gc aarch64 8.2.2-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 110 k gcc aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 34 M gcc-plugin-annobin aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 51 k glibc-devel aarch64 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 549 k gmp-c++ aarch64 1:6.3.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 18 k gmp-devel aarch64 1:6.3.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 175 k groff-base aarch64 1.23.0-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M guile30 aarch64 3.0.9-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.2 M kernel-headers aarch64 6.10.0-0.rc1.17.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.4 M libasan aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 494 k libatomic aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 40 k libb2 aarch64 0.98.1-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 24 k libgfortran aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 455 k libmpc aarch64 1.3.1-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 72 k libstdc++-devel aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.6 M libubsan aarch64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 213 k libxcrypt-devel aarch64 4.4.36-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k libzstd-devel aarch64 1.5.6-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 52 k m4 aarch64 1.4.19-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 295 k make aarch64 1:4.4.1-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 580 k mpdecimal aarch64 2.5.1-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 89 k ncurses aarch64 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 415 k ocaml-runtime aarch64 5.1.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 3.2 M ocaml-zarith aarch64 1.13-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 156 k openblas aarch64 0.3.26-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 39 k openblas-openmp aarch64 0.3.26-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 3.8 M perl-AutoLoader noarch 5.74-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k perl-B aarch64 1.88-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 178 k perl-Carp noarch 1.54-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k perl-Class-Struct noarch 0.68-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k perl-Data-Dumper aarch64 2.188-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 55 k perl-Digest noarch 1.20-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 k perl-Digest-MD5 aarch64 2.59-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 36 k perl-DynaLoader aarch64 1.54-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 26 k perl-Encode aarch64 4:3.21-505.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.7 M perl-Errno aarch64 1.37-507.fc41 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 aarch64 1.15-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k perl-File-Basename noarch 2.86-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 17 k perl-File-Compare noarch 1.100.700-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 13 k perl-File-Copy noarch 2.41-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 20 k perl-File-Find noarch 1.43-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 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-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 17 k perl-FileHandle noarch 2.05-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 16 k perl-Getopt-Long noarch 1:2.57-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 63 k perl-Getopt-Std noarch 1.13-507.fc41 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 aarch64 1.52-507.fc41 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-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k perl-MIME-Base64 aarch64 3.16-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 30 k perl-Mozilla-CA noarch 20240313-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k perl-Net-SSLeay aarch64 1.94-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 356 k perl-POSIX aarch64 2.13-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 98 k perl-PathTools aarch64 3.89-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 83 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-504.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 40 k perl-Scalar-List-Utils aarch64 5:1.63-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 71 k perl-SelectSaver noarch 1.02-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 12 k perl-Socket aarch64 4:2.038-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 56 k perl-Storable aarch64 1:3.32-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 97 k perl-Symbol noarch 1.09-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 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 2024.001-1.fc41 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.28-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 120 k perl-base noarch 2.27-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 16 k perl-constant noarch 1.33-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 23 k perl-if noarch 0.61.000-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k perl-interpreter aarch64 4:5.38.2-507.fc41 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 aarch64 4:5.38.2-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.2 M perl-locale noarch 1.10-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k perl-mro aarch64 1.28-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k perl-overload noarch 1.37-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 46 k perl-overloading noarch 0.02-507.fc41 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-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 13 k python-pip-wheel noarch 24.0-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.5 M python3 aarch64 3.12.3-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 27 k python3-libs aarch64 3.12.3-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.8 M texlive-base aarch64 11:20230311-84.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.6 M tzdata noarch 2024a-8.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 431 k Transaction Summary =========================================================================================================================================== Install 112 Packages Total download size: 405 M Installed size: 1.4 G Downloading Packages: (1/112): flocq-4.1.4-2.fc41.aarch64.rpm 36 MB/s | 3.5 MB 00:00 (2/112): coq-8.18.0-5.fc41.aarch64.rpm 175 MB/s | 24 MB 00:00 (3/112): gappa-1.4.2-3.fc40.aarch64.rpm 7.2 MB/s | 263 kB 00:00 (4/112): annobin-docs-12.54-2.fc41.noarch.rpm 1.4 MB/s | 90 kB 00:00 (5/112): annobin-plugin-gcc-12.54-2.fc41.aarch6 16 MB/s | 964 kB 00:00 (6/112): autoconf-2.72-2.fc41.noarch.rpm 30 MB/s | 817 kB 00:00 (7/112): add-determinism-0.2.0-9.fc41.aarch64.r 5.1 MB/s | 833 kB 00:00 (8/112): csdp-6.2.0-27.20181018git0dcf187.fc41. 17 MB/s | 302 kB 00:00 (9/112): csdp-tools-6.2.0-27.20181018git0dcf187 1.4 MB/s | 30 kB 00:00 (10/112): emacs-filesystem-30.0-2.fc41.noarch.r 307 kB/s | 7.1 kB 00:00 (11/112): expat-2.6.2-1.fc41.aarch64.rpm 4.8 MB/s | 111 kB 00:00 (12/112): flexiblas-3.4.2-1.fc41.aarch64.rpm 1.0 MB/s | 25 kB 00:00 (13/112): cpp-14.1.1-4.fc41.aarch64.rpm 72 MB/s | 11 MB 00:00 (14/112): flexiblas-netlib-3.4.2-1.fc41.aarch64 56 MB/s | 2.7 MB 00:00 (15/112): flexiblas-openblas-openmp-3.4.2-1.fc4 761 kB/s | 17 kB 00:00 (16/112): gc-8.2.2-6.fc40.aarch64.rpm 3.7 MB/s | 110 kB 00:00 (17/112): coq-core-8.18.0-5.fc41.aarch64.rpm 306 MB/s | 235 MB 00:00 (18/112): gcc-plugin-annobin-14.1.1-4.fc41.aarc 937 kB/s | 51 kB 00:00 (19/112): gcc-c++-14.1.1-4.fc41.aarch64.rpm 35 MB/s | 13 MB 00:00 (20/112): glibc-devel-2.39.9000-18.fc41.aarch64 9.1 MB/s | 549 kB 00:00 (21/112): gmp-c++-6.3.0-1.fc41.aarch64.rpm 677 kB/s | 18 kB 00:00 (22/112): gmp-devel-6.3.0-1.fc41.aarch64.rpm 6.6 MB/s | 175 kB 00:00 (23/112): groff-base-1.23.0-6.fc40.aarch64.rpm 44 MB/s | 1.1 MB 00:00 (24/112): kernel-headers-6.10.0-0.rc1.17.fc41.a 64 MB/s | 1.4 MB 00:00 (25/112): libasan-14.1.1-4.fc41.aarch64.rpm 21 MB/s | 494 kB 00:00 (26/112): libatomic-14.1.1-4.fc41.aarch64.rpm 1.9 MB/s | 40 kB 00:00 (27/112): libb2-0.98.1-11.fc40.aarch64.rpm 1.2 MB/s | 24 kB 00:00 (28/112): libgfortran-14.1.1-4.fc41.aarch64.rpm 19 MB/s | 455 kB 00:00 (29/112): guile30-3.0.9-1.fc41.aarch64.rpm 57 MB/s | 8.2 MB 00:00 (30/112): libmpc-1.3.1-5.fc40.aarch64.rpm 2.7 MB/s | 72 kB 00:00 (31/112): libubsan-14.1.1-4.fc41.aarch64.rpm 8.8 MB/s | 213 kB 00:00 (32/112): libstdc++-devel-14.1.1-4.fc41.aarch64 69 MB/s | 2.6 MB 00:00 (33/112): libxcrypt-devel-4.4.36-5.fc40.aarch64 1.0 MB/s | 29 kB 00:00 (34/112): gcc-14.1.1-4.fc41.aarch64.rpm 50 MB/s | 34 MB 00:00 (35/112): libzstd-devel-1.5.6-1.fc41.aarch64.rp 1.0 MB/s | 52 kB 00:00 (36/112): m4-1.4.19-9.fc40.aarch64.rpm 6.3 MB/s | 295 kB 00:00 (37/112): ncurses-6.4-12.20240127.fc40.aarch64. 23 MB/s | 415 kB 00:00 (38/112): mpdecimal-2.5.1-9.fc40.aarch64.rpm 3.1 MB/s | 89 kB 00:00 (39/112): make-4.4.1-6.fc40.aarch64.rpm 19 MB/s | 580 kB 00:00 (40/112): ocaml-findlib-1.9.6-11.fc40.aarch64.r 26 MB/s | 1.0 MB 00:00 (41/112): ocaml-runtime-5.1.1-4.fc40.aarch64.rp 75 MB/s | 3.2 MB 00:00 (42/112): ocaml-zarith-1.13-6.fc40.aarch64.rpm 6.9 MB/s | 156 kB 00:00 (43/112): ocaml-zarith-devel-1.13-6.fc40.aarch6 19 MB/s | 386 kB 00:00 (44/112): openblas-0.3.26-4.fc40.aarch64.rpm 1.6 MB/s | 39 kB 00:00 (45/112): perl-AutoLoader-5.74-507.fc41.noarch. 1.0 MB/s | 21 kB 00:00 (46/112): perl-B-1.88-507.fc41.aarch64.rpm 7.7 MB/s | 178 kB 00:00 (47/112): openblas-openmp-0.3.26-4.fc40.aarch64 52 MB/s | 3.8 MB 00:00 (48/112): perl-Carp-1.54-502.fc40.noarch.rpm 1.3 MB/s | 29 kB 00:00 (49/112): perl-Class-Struct-0.68-507.fc41.noarc 1.3 MB/s | 22 kB 00:00 (50/112): perl-Digest-1.20-502.fc40.noarch.rpm 1.5 MB/s | 25 kB 00:00 (51/112): perl-Data-Dumper-2.188-503.fc40.aarch 2.7 MB/s | 55 kB 00:00 (52/112): perl-DynaLoader-1.54-507.fc41.aarch64 1.5 MB/s | 26 kB 00:00 (53/112): perl-Digest-MD5-2.59-3.fc40.aarch64.r 1.6 MB/s | 36 kB 00:00 (54/112): perl-Errno-1.37-507.fc41.aarch64.rpm 998 kB/s | 15 kB 00:00 (55/112): perl-Encode-3.21-505.fc41.aarch64.rpm 59 MB/s | 1.7 MB 00:00 (56/112): perl-Exporter-5.78-3.fc40.noarch.rpm 1.3 MB/s | 31 kB 00:00 (57/112): perl-Fcntl-1.15-507.fc41.aarch64.rpm 1.0 MB/s | 21 kB 00:00 (58/112): perl-File-Basename-2.86-507.fc41.noar 835 kB/s | 17 kB 00:00 (59/112): perl-File-Compare-1.100.700-507.fc41. 835 kB/s | 13 kB 00:00 (60/112): perl-File-Find-1.43-507.fc41.noarch.r 1.7 MB/s | 25 kB 00:00 (61/112): perl-File-Copy-2.41-507.fc41.noarch.r 960 kB/s | 20 kB 00:00 (62/112): perl-File-Temp-0.231.100-503.fc40.noa 3.8 MB/s | 59 kB 00:00 (63/112): perl-File-Path-2.18-503.fc40.noarch.r 1.7 MB/s | 35 kB 00:00 (64/112): perl-FileHandle-2.05-507.fc41.noarch. 1.0 MB/s | 16 kB 00:00 (65/112): perl-File-stat-1.13-507.fc41.noarch.r 860 kB/s | 17 kB 00:00 (66/112): perl-Getopt-Long-2.57-4.fc41.noarch.r 3.1 MB/s | 63 kB 00:00 (67/112): perl-Getopt-Std-1.13-507.fc41.noarch. 992 kB/s | 16 kB 00:00 (68/112): perl-IO-1.52-507.fc41.aarch64.rpm 4.0 MB/s | 78 kB 00:00 (69/112): perl-HTTP-Tiny-0.088-5.fc40.noarch.rp 2.7 MB/s | 56 kB 00:00 (70/112): perl-IO-Socket-SSL-2.085-1.fc40.noarc 14 MB/s | 225 kB 00:00 (71/112): perl-IO-Socket-IP-0.42-2.fc40.noarch. 1.9 MB/s | 42 kB 00:00 (72/112): perl-IPC-Open3-1.22-507.fc41.noarch.r 1.1 MB/s | 22 kB 00:00 (73/112): perl-MIME-Base64-3.16-503.fc40.aarch6 1.8 MB/s | 30 kB 00:00 (74/112): perl-Net-SSLeay-1.94-3.fc40.aarch64.r 21 MB/s | 356 kB 00:00 (75/112): perl-Mozilla-CA-20240313-1.fc41.noarc 677 kB/s | 14 kB 00:00 (76/112): perl-PathTools-3.89-502.fc40.aarch64. 4.8 MB/s | 83 kB 00:00 (77/112): perl-POSIX-2.13-507.fc41.aarch64.rpm 4.6 MB/s | 98 kB 00:00 (78/112): perl-Pod-Perldoc-3.28.01-503.fc40.noa 4.0 MB/s | 79 kB 00:00 (79/112): perl-Pod-Escapes-1.07-503.fc40.noarch 867 kB/s | 20 kB 00:00 (80/112): perl-Pod-Usage-2.03-504.fc41.noarch.r 2.6 MB/s | 40 kB 00:00 (81/112): perl-Pod-Simple-3.45-6.fc40.noarch.rp 7.4 MB/s | 209 kB 00:00 (82/112): perl-Scalar-List-Utils-1.63-503.fc40. 3.0 MB/s | 71 kB 00:00 (83/112): ocaml-5.1.1-4.fc40.aarch64.rpm 65 MB/s | 34 MB 00:00 (84/112): perl-SelectSaver-1.02-507.fc41.noarch 266 kB/s | 12 kB 00:00 (85/112): perl-Socket-2.038-1.fc41.aarch64.rpm 1.3 MB/s | 56 kB 00:00 (86/112): perl-Symbol-1.09-507.fc41.noarch.rpm 774 kB/s | 14 kB 00:00 (87/112): perl-Term-ANSIColor-5.01-504.fc40.noa 2.7 MB/s | 48 kB 00:00 (88/112): perl-Storable-3.32-502.fc40.aarch64.r 3.1 MB/s | 97 kB 00:00 (89/112): perl-Term-Cap-1.18-503.fc40.noarch.rp 1.1 MB/s | 22 kB 00:00 (90/112): perl-Text-Tabs+Wrap-2024.001-1.fc41.n 1.4 MB/s | 22 kB 00:00 (91/112): perl-Text-ParseWords-3.31-502.fc40.no 777 kB/s | 16 kB 00:00 (92/112): perl-URI-5.28-1.fc41.noarch.rpm 7.8 MB/s | 120 kB 00:00 (93/112): perl-base-2.27-507.fc41.noarch.rpm 1.1 MB/s | 16 kB 00:00 (94/112): perl-Time-Local-1.350-5.fc40.noarch.r 1.1 MB/s | 34 kB 00:00 (95/112): perl-if-0.61.000-507.fc41.noarch.rpm 808 kB/s | 14 kB 00:00 (96/112): perl-constant-1.33-503.fc40.noarch.rp 1.0 MB/s | 23 kB 00:00 (97/112): perl-interpreter-5.38.2-507.fc41.aarc 3.4 MB/s | 72 kB 00:00 (98/112): perl-locale-1.10-507.fc41.noarch.rpm 740 kB/s | 14 kB 00:00 (99/112): perl-libnet-3.15-503.fc40.noarch.rpm 4.3 MB/s | 122 kB 00:00 (100/112): perl-mro-1.28-507.fc41.aarch64.rpm 1.3 MB/s | 29 kB 00:00 (101/112): perl-overload-1.37-507.fc41.noarch.r 2.2 MB/s | 46 kB 00:00 (102/112): perl-libs-5.38.2-507.fc41.aarch64.rp 43 MB/s | 2.2 MB 00:00 (103/112): perl-parent-0.241-502.fc40.noarch.rp 993 kB/s | 15 kB 00:00 (104/112): perl-podlators-5.01-502.fc40.noarch. 7.8 MB/s | 121 kB 00:00 (105/112): perl-overloading-0.02-507.fc41.noarc 534 kB/s | 13 kB 00:00 (106/112): perl-vars-1.05-507.fc41.noarch.rpm 656 kB/s | 13 kB 00:00 (107/112): python3-3.12.3-2.fc41.aarch64.rpm 1.7 MB/s | 27 kB 00:00 (108/112): python-pip-wheel-24.0-2.fc41.noarch. 42 MB/s | 1.5 MB 00:00 (109/112): remake-0.14-10.fc40.aarch64.rpm 3.6 MB/s | 63 kB 00:00 (110/112): tzdata-2024a-8.fc41.noarch.rpm 22 MB/s | 431 kB 00:00 (111/112): python3-libs-3.12.3-2.fc41.aarch64.r 164 MB/s | 8.8 MB 00:00 (112/112): texlive-base-20230311-84.fc41.aarch6 37 MB/s | 2.6 MB 00:00 -------------------------------------------------------------------------------- Total 207 MB/s | 405 MB 00:01 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: texlive-base-11:20230311-84.fc41.aarch64 1/1 Preparing : 1/1 Installing : ocaml-runtime-5.1.1-4.fc40.aarch64 1/112 Installing : libmpc-1.3.1-5.fc40.aarch64 2/112 Installing : libgfortran-14.1.1-4.fc41.aarch64 3/112 Installing : cpp-14.1.1-4.fc41.aarch64 4/112 Installing : tzdata-2024a-8.fc41.noarch 5/112 Running scriptlet: texlive-base-11:20230311-84.fc41.aarch64 6/112 Installing : texlive-base-11:20230311-84.fc41.aarch64 6/112 Installing : python-pip-wheel-24.0-2.fc41.noarch 7/112 Installing : openblas-0.3.26-4.fc40.aarch64 8/112 Installing : openblas-openmp-0.3.26-4.fc40.aarch64 9/112 Installing : flexiblas-netlib-3.4.2-1.fc41.aarch64 10/112 Installing : flexiblas-openblas-openmp-3.4.2-1.fc41.aarch64 11/112 Installing : flexiblas-3.4.2-1.fc41.aarch64 12/112 Installing : csdp-6.2.0-27.20181018git0dcf187.fc41.aarch64 13/112 Installing : csdp-tools-6.2.0-27.20181018git0dcf187.fc41.aarc 14/112 Installing : ncurses-6.4-12.20240127.fc40.aarch64 15/112 Installing : mpdecimal-2.5.1-9.fc40.aarch64 16/112 Installing : m4-1.4.19-9.fc40.aarch64 17/112 Installing : libzstd-devel-1.5.6-1.fc41.aarch64 18/112 Installing : libubsan-14.1.1-4.fc41.aarch64 19/112 Installing : libstdc++-devel-14.1.1-4.fc41.aarch64 20/112 Installing : libb2-0.98.1-11.fc40.aarch64 21/112 Installing : libatomic-14.1.1-4.fc41.aarch64 22/112 Installing : libasan-14.1.1-4.fc41.aarch64 23/112 Installing : kernel-headers-6.10.0-0.rc1.17.fc41.aarch64 24/112 Installing : libxcrypt-devel-4.4.36-5.fc40.aarch64 25/112 Installing : glibc-devel-2.39.9000-18.fc41.aarch64 26/112 Running scriptlet: groff-base-1.23.0-6.fc40.aarch64 27/112 Installing : groff-base-1.23.0-6.fc40.aarch64 27/112 Running scriptlet: groff-base-1.23.0-6.fc40.aarch64 27/112 Installing : perl-Digest-1.20-502.fc40.noarch 28/112 Installing : perl-Digest-MD5-2.59-3.fc40.aarch64 29/112 Installing : perl-B-1.88-507.fc41.aarch64 30/112 Installing : perl-FileHandle-2.05-507.fc41.noarch 31/112 Installing : perl-Data-Dumper-2.188-503.fc40.aarch64 32/112 Installing : perl-libnet-3.15-503.fc40.noarch 33/112 Installing : perl-AutoLoader-5.74-507.fc41.noarch 34/112 Installing : perl-URI-5.28-1.fc41.noarch 35/112 Installing : perl-Text-Tabs+Wrap-2024.001-1.fc41.noarch 36/112 Installing : perl-Mozilla-CA-20240313-1.fc41.noarch 37/112 Installing : perl-if-0.61.000-507.fc41.noarch 38/112 Installing : perl-locale-1.10-507.fc41.noarch 39/112 Installing : perl-IO-Socket-IP-0.42-2.fc40.noarch 40/112 Installing : perl-Time-Local-2:1.350-5.fc40.noarch 41/112 Installing : perl-File-Path-2.18-503.fc40.noarch 42/112 Installing : perl-IO-Socket-SSL-2.085-1.fc40.noarch 43/112 Installing : perl-Net-SSLeay-1.94-3.fc40.aarch64 44/112 Installing : perl-Pod-Escapes-1:1.07-503.fc40.noarch 45/112 Installing : perl-Class-Struct-0.68-507.fc41.noarch 46/112 Installing : perl-Term-ANSIColor-5.01-504.fc40.noarch 47/112 Installing : perl-POSIX-2.13-507.fc41.aarch64 48/112 Installing : perl-IPC-Open3-1.22-507.fc41.noarch 49/112 Installing : perl-File-Temp-1:0.231.100-503.fc40.noarch 50/112 Installing : perl-HTTP-Tiny-0.088-5.fc40.noarch 51/112 Installing : perl-Term-Cap-1.18-503.fc40.noarch 52/112 Installing : perl-Pod-Simple-1:3.45-6.fc40.noarch 53/112 Installing : perl-Socket-4:2.038-1.fc41.aarch64 54/112 Installing : perl-SelectSaver-1.02-507.fc41.noarch 55/112 Installing : perl-Symbol-1.09-507.fc41.noarch 56/112 Installing : perl-File-stat-1.13-507.fc41.noarch 57/112 Installing : perl-podlators-1:5.01-502.fc40.noarch 58/112 Installing : perl-Pod-Perldoc-3.28.01-503.fc40.noarch 59/112 Installing : perl-Fcntl-1.15-507.fc41.aarch64 60/112 Installing : perl-Text-ParseWords-3.31-502.fc40.noarch 61/112 Installing : perl-base-2.27-507.fc41.noarch 62/112 Installing : perl-mro-1.28-507.fc41.aarch64 63/112 Installing : perl-IO-1.52-507.fc41.aarch64 64/112 Installing : perl-overloading-0.02-507.fc41.noarch 65/112 Installing : perl-Pod-Usage-4:2.03-504.fc41.noarch 66/112 Installing : perl-Errno-1.37-507.fc41.aarch64 67/112 Installing : perl-File-Basename-2.86-507.fc41.noarch 68/112 Installing : perl-Getopt-Std-1.13-507.fc41.noarch 69/112 Installing : perl-MIME-Base64-3.16-503.fc40.aarch64 70/112 Installing : perl-Scalar-List-Utils-5:1.63-503.fc40.aarch64 71/112 Installing : perl-constant-1.33-503.fc40.noarch 72/112 Installing : perl-Storable-1:3.32-502.fc40.aarch64 73/112 Installing : perl-overload-1.37-507.fc41.noarch 74/112 Installing : perl-parent-1:0.241-502.fc40.noarch 75/112 Installing : perl-vars-1.05-507.fc41.noarch 76/112 Installing : perl-Getopt-Long-1:2.57-4.fc41.noarch 77/112 Installing : perl-Carp-1.54-502.fc40.noarch 78/112 Installing : perl-Exporter-5.78-3.fc40.noarch 79/112 Installing : perl-PathTools-3.89-502.fc40.aarch64 80/112 Installing : perl-DynaLoader-1.54-507.fc41.aarch64 81/112 Installing : perl-Encode-4:3.21-505.fc41.aarch64 82/112 Installing : perl-libs-4:5.38.2-507.fc41.aarch64 83/112 Installing : perl-interpreter-4:5.38.2-507.fc41.aarch64 84/112 Installing : perl-File-Compare-1.100.700-507.fc41.noarch 85/112 Installing : perl-File-Copy-2.41-507.fc41.noarch 86/112 Installing : perl-File-Find-1.43-507.fc41.noarch 87/112 Installing : gmp-c++-1:6.3.0-1.fc41.aarch64 88/112 Installing : gmp-devel-1:6.3.0-1.fc41.aarch64 89/112 Installing : gc-8.2.2-6.fc40.aarch64 90/112 Installing : guile30-3.0.9-1.fc41.aarch64 91/112 Installing : make-1:4.4.1-6.fc40.aarch64 92/112 Installing : gcc-14.1.1-4.fc41.aarch64 93/112 Running scriptlet: gcc-14.1.1-4.fc41.aarch64 93/112 Installing : ocaml-5.1.1-4.fc40.aarch64 94/112 Installing : ocaml-findlib-1.9.6-11.fc40.aarch64 95/112 Installing : ocaml-zarith-1.13-6.fc40.aarch64 96/112 Installing : ocaml-zarith-devel-1.13-6.fc40.aarch64 97/112 Installing : expat-2.6.2-1.fc41.aarch64 98/112 Installing : python3-3.12.3-2.fc41.aarch64 99/112 Installing : python3-libs-3.12.3-2.fc41.aarch64 100/112 Installing : coq-core-8.18.0-5.fc41.aarch64 101/112 Installing : coq-8.18.0-5.fc41.aarch64 102/112 Installing : emacs-filesystem-1:30.0-2.fc41.noarch 103/112 Installing : annobin-docs-12.54-2.fc41.noarch 104/112 Installing : annobin-plugin-gcc-12.54-2.fc41.aarch64 105/112 Running scriptlet: annobin-plugin-gcc-12.54-2.fc41.aarch64 105/112 Installing : autoconf-2.72-2.fc41.noarch 106/112 Installing : flocq-4.1.4-2.fc41.aarch64 107/112 Installing : add-determinism-0.2.0-9.fc41.aarch64 108/112 Installing : gcc-c++-14.1.1-4.fc41.aarch64 109/112 Installing : gcc-plugin-annobin-14.1.1-4.fc41.aarch64 110/112 Running scriptlet: gcc-plugin-annobin-14.1.1-4.fc41.aarch64 110/112 Installing : remake-0.14-10.fc40.aarch64 111/112 Installing : gappa-1.4.2-3.fc40.aarch64 112/112 Running scriptlet: texlive-base-11:20230311-84.fc41.aarch64 112/112 Running scriptlet: gappa-1.4.2-3.fc40.aarch64 112/112 Installed: add-determinism-0.2.0-9.fc41.aarch64 annobin-docs-12.54-2.fc41.noarch annobin-plugin-gcc-12.54-2.fc41.aarch64 autoconf-2.72-2.fc41.noarch coq-8.18.0-5.fc41.aarch64 coq-core-8.18.0-5.fc41.aarch64 cpp-14.1.1-4.fc41.aarch64 csdp-6.2.0-27.20181018git0dcf187.fc41.aarch64 csdp-tools-6.2.0-27.20181018git0dcf187.fc41.aarch64 emacs-filesystem-1:30.0-2.fc41.noarch expat-2.6.2-1.fc41.aarch64 flexiblas-3.4.2-1.fc41.aarch64 flexiblas-netlib-3.4.2-1.fc41.aarch64 flexiblas-openblas-openmp-3.4.2-1.fc41.aarch64 flocq-4.1.4-2.fc41.aarch64 gappa-1.4.2-3.fc40.aarch64 gc-8.2.2-6.fc40.aarch64 gcc-14.1.1-4.fc41.aarch64 gcc-c++-14.1.1-4.fc41.aarch64 gcc-plugin-annobin-14.1.1-4.fc41.aarch64 glibc-devel-2.39.9000-18.fc41.aarch64 gmp-c++-1:6.3.0-1.fc41.aarch64 gmp-devel-1:6.3.0-1.fc41.aarch64 groff-base-1.23.0-6.fc40.aarch64 guile30-3.0.9-1.fc41.aarch64 kernel-headers-6.10.0-0.rc1.17.fc41.aarch64 libasan-14.1.1-4.fc41.aarch64 libatomic-14.1.1-4.fc41.aarch64 libb2-0.98.1-11.fc40.aarch64 libgfortran-14.1.1-4.fc41.aarch64 libmpc-1.3.1-5.fc40.aarch64 libstdc++-devel-14.1.1-4.fc41.aarch64 libubsan-14.1.1-4.fc41.aarch64 libxcrypt-devel-4.4.36-5.fc40.aarch64 libzstd-devel-1.5.6-1.fc41.aarch64 m4-1.4.19-9.fc40.aarch64 make-1:4.4.1-6.fc40.aarch64 mpdecimal-2.5.1-9.fc40.aarch64 ncurses-6.4-12.20240127.fc40.aarch64 ocaml-5.1.1-4.fc40.aarch64 ocaml-findlib-1.9.6-11.fc40.aarch64 ocaml-runtime-5.1.1-4.fc40.aarch64 ocaml-zarith-1.13-6.fc40.aarch64 ocaml-zarith-devel-1.13-6.fc40.aarch64 openblas-0.3.26-4.fc40.aarch64 openblas-openmp-0.3.26-4.fc40.aarch64 perl-AutoLoader-5.74-507.fc41.noarch perl-B-1.88-507.fc41.aarch64 perl-Carp-1.54-502.fc40.noarch perl-Class-Struct-0.68-507.fc41.noarch perl-Data-Dumper-2.188-503.fc40.aarch64 perl-Digest-1.20-502.fc40.noarch perl-Digest-MD5-2.59-3.fc40.aarch64 perl-DynaLoader-1.54-507.fc41.aarch64 perl-Encode-4:3.21-505.fc41.aarch64 perl-Errno-1.37-507.fc41.aarch64 perl-Exporter-5.78-3.fc40.noarch perl-Fcntl-1.15-507.fc41.aarch64 perl-File-Basename-2.86-507.fc41.noarch perl-File-Compare-1.100.700-507.fc41.noarch perl-File-Copy-2.41-507.fc41.noarch perl-File-Find-1.43-507.fc41.noarch perl-File-Path-2.18-503.fc40.noarch perl-File-Temp-1:0.231.100-503.fc40.noarch perl-File-stat-1.13-507.fc41.noarch perl-FileHandle-2.05-507.fc41.noarch perl-Getopt-Long-1:2.57-4.fc41.noarch perl-Getopt-Std-1.13-507.fc41.noarch perl-HTTP-Tiny-0.088-5.fc40.noarch perl-IO-1.52-507.fc41.aarch64 perl-IO-Socket-IP-0.42-2.fc40.noarch perl-IO-Socket-SSL-2.085-1.fc40.noarch perl-IPC-Open3-1.22-507.fc41.noarch perl-MIME-Base64-3.16-503.fc40.aarch64 perl-Mozilla-CA-20240313-1.fc41.noarch perl-Net-SSLeay-1.94-3.fc40.aarch64 perl-POSIX-2.13-507.fc41.aarch64 perl-PathTools-3.89-502.fc40.aarch64 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-504.fc41.noarch perl-Scalar-List-Utils-5:1.63-503.fc40.aarch64 perl-SelectSaver-1.02-507.fc41.noarch perl-Socket-4:2.038-1.fc41.aarch64 perl-Storable-1:3.32-502.fc40.aarch64 perl-Symbol-1.09-507.fc41.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-2024.001-1.fc41.noarch perl-Time-Local-2:1.350-5.fc40.noarch perl-URI-5.28-1.fc41.noarch perl-base-2.27-507.fc41.noarch perl-constant-1.33-503.fc40.noarch perl-if-0.61.000-507.fc41.noarch perl-interpreter-4:5.38.2-507.fc41.aarch64 perl-libnet-3.15-503.fc40.noarch perl-libs-4:5.38.2-507.fc41.aarch64 perl-locale-1.10-507.fc41.noarch perl-mro-1.28-507.fc41.aarch64 perl-overload-1.37-507.fc41.noarch perl-overloading-0.02-507.fc41.noarch perl-parent-1:0.241-502.fc40.noarch perl-podlators-1:5.01-502.fc40.noarch perl-vars-1.05-507.fc41.noarch python-pip-wheel-24.0-2.fc41.noarch python3-3.12.3-2.fc41.aarch64 python3-libs-3.12.3-2.fc41.aarch64 remake-0.14-10.fc40.aarch64 texlive-base-11:20230311-84.fc41.aarch64 tzdata-2024a-8.fc41.noarch Complete! Finish: build setup for gappalib-coq-1.5.5-2.fc41.src.rpm Start: rpmbuild gappalib-coq-1.5.5-2.fc41.src.rpm Building target platforms: aarch64 Building for target aarch64 setting SOURCE_DATE_EPOCH=1717027200 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.ZyvBHp + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + test -d /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.ARWsrt + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + rm -rf coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappalib-coq-1.5.5.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + sed -i 's/-rectypes/-g &/' Remakefile.in + autoconf -f configure.in:5: warning: prefer named diversions + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.y8dedr + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + ./configure --prefix=/usr --datadir=/usr/share checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking how to run the C preprocessor... gcc -E checking for coqc >= 8.8... /usr/bin/coqc checking for coqdep... /usr/bin/coqdep checking for ocamlfind... /usr/bin/ocamlfind checking for Flocq >= 3.0... yes checking for native development files... yes checking for bytecode development files... yes checking whether the compiler supports GNU C++... yes checking whether g++ accepts -g... yes checking for g++ option to enable C++11 features... none needed configure: building remake... /usr/bin/ld: /tmp/ccSxcM7D.o: in function `main': remake.cpp:(.text.startup+0xaac): 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 -j4 Building src/Gappa_common.vo Building 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_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 /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/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo Building src/Gappa_real.vo Building src/Gappa_fixed.vo Building src/Gappa_float.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_definitions.v /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.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 Building src/Gappa_round.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_real.v /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 /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 Building src/Gappa_round_def.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 /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 Building src/Gappa_library.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_def.v /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 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 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 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 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 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 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] Building src/Gappa_obfuscate.vo 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] /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo 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 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] /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 Finished src/Gappa_round_def.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 Building src/gappatac.cmo /usr/bin/ocamlfind ocamlc -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -c src/gappatac.ml -o src/gappatac.cmo File "src/gappatac.c", line 139, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 139, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 844, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 847, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 844, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 847, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 879, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 879, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 902, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 905, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 902, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 905, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. Finished src/gappatac.cmo Finished src/Gappa_real.vo Finished src/Gappa_dyadic.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_common.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_aux.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_common.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tree.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_rewriting.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_nzr.v Finished src/Gappa_round_aux.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_fixflt.v Finished src/Gappa_pred_nzr.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_abs.v File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_pred_fixflt.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round.v Finished src/Gappa_rewriting.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_decimal.v Finished src/Gappa_tree.vo File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_abs.v", line 269, characters 8-17: Warning: Notation Rabs_Rinv is deprecated since 8.16. Use Rabs_inv. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_pred_abs.vo Finished src/Gappa_decimal.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_bnd.v Finished src/Gappa_round.vo Finished src/Gappa_pred_bnd.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_user.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_rel.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_fixed.v /usr/bin/coqc -q -R src Gappa -I src src/Gappa_float.v Finished src/Gappa_user.vo 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 Finished src/Gappa_pred_rel.vo Finished src/Gappa_float.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_library.v 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.JQEVrB + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + '[' /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT ++ dirname /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build + mkdir /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + DESTDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + remake install Building install Finished install + cp -p src/Gappa_common.v src/Gappa_decimal.v src/Gappa_definitions.v src/Gappa_dyadic.v src/Gappa_fixed.v src/Gappa_float.v src/Gappa_library.v src/Gappa_obfuscate.v src/Gappa_pred_abs.v src/Gappa_pred_bnd.v src/Gappa_pred_fixflt.v src/Gappa_pred_nzr.v src/Gappa_pred_rel.v src/Gappa_real.v src/Gappa_rewriting.v src/Gappa_round.v src/Gappa_round_aux.v src/Gappa_round_def.v src/Gappa_tactic.v src/Gappa_tactic_loader.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 1.5.5-2.fc41 --unique-debug-suffix -1.5.5-2.fc41.aarch64 --unique-debug-src-base gappalib-coq-1.5.5-2.fc41.aarch64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 find-debuginfo: starting Extracting debug info from 1 files DWARF-compressing 1 files sepdebugcrcfix: Updated 0 CRC32s, 1 CRC32s did match. Creating .debug symlinks for symlinks to ELF files Copying sources found by 'debugedit -l' to /usr/src/debug/gappalib-coq-1.5.5-2.fc41.aarch64 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 63 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 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j4 /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT Cannot initialize handler pyc: ModuleNotFoundError: No module named 'marshalparser' [src/multiprocess.rs:66:9] &cmd = Command { program: "/usr/bin/add-determinism", args: [ "/usr/bin/add-determinism", "--socket", "3", "--brp", "--handler", "ar,jar,javadoc", ], env: CommandEnv { clear: false, vars: { "SOURCE_DATE_EPOCH": Some( "1717027200", ), }, }, create_pidfd: false, } Bye! Bye! Bye! Bye! Reading /builddir/build/BUILD/gappalib-coq-1.5.5-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.xVttEy + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + 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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + remake check Building testsuite/check Finished testsuite/check Building check Finished check + RPM_EC=0 ++ jobs -p + exit 0 Processing files: gappalib-coq-1.5.5-2.fc41.aarch64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.85gom8 + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + DOCDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/AUTHORS /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/NEWS.md /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/README.md /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/doc/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.1YUvRD + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + LICENSEDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + cp -pr /builddir/build/BUILD/gappalib-coq-1.5.5-build/coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80/COPYING /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/share/licenses/gappalib-coq + RPM_EC=0 ++ jobs -p + exit 0 Provides: gappalib-coq = 1.5.5-2.fc41 gappalib-coq(aarch-64) = 1.5.5-2.fc41 ocaml(Gappatac) = 5dff2037d4ad3c03421ae651d478be90 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.5-2.fc41.aarch64 Provides: gappalib-coq-source = 1.5.5-2.fc41 gappalib-coq-source(aarch-64) = 1.5.5-2.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: gappalib-coq-debugsource-1.5.5-2.fc41.aarch64 Provides: gappalib-coq-debugsource = 1.5.5-2.fc41 gappalib-coq-debugsource(aarch-64) = 1.5.5-2.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: gappalib-coq-debuginfo-1.5.5-2.fc41.aarch64 Provides: debuginfo(build-id) = 28e8d6046de8dad95a3f9ac5751880aa11f2027f gappalib-coq-debuginfo = 1.5.5-2.fc41 gappalib-coq-debuginfo(aarch-64) = 1.5.5-2.fc41 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: gappalib-coq-debugsource(aarch-64) = 1.5.5-2.fc41 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.5-2.fc41.aarch64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.5-2.fc41.aarch64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-source-1.5.5-2.fc41.aarch64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.5.5-2.fc41.aarch64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.URDJnb + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + test -d /builddir/build/BUILD/gappalib-coq-1.5.5-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/gappalib-coq-1.5.5-build + rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild gappalib-coq-1.5.5-2.fc41.src.rpm Finish: build phase for gappalib-coq-1.5.5-2.fc41.src.rpm INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-39-aarch64-1717061400.784875/root/var/log/dnf.rpm.log /var/lib/mock/fedora-39-aarch64-1717061400.784875/root/var/log/dnf.librepo.log /var/lib/mock/fedora-39-aarch64-1717061400.784875/root/var/log/dnf.log INFO: Done(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.5-2.fc41.src.rpm) Config(child) 0 minutes 42 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-debuginfo", "epoch": null, "version": "1.5.5", "release": "2.fc41", "arch": "aarch64" }, { "name": "gappalib-coq-source", "epoch": null, "version": "1.5.5", "release": "2.fc41", "arch": "aarch64" }, { "name": "gappalib-coq", "epoch": null, "version": "1.5.5", "release": "2.fc41", "arch": "src" }, { "name": "gappalib-coq-debugsource", "epoch": null, "version": "1.5.5", "release": "2.fc41", "arch": "aarch64" }, { "name": "gappalib-coq", "epoch": null, "version": "1.5.5", "release": "2.fc41", "arch": "aarch64" } ] } RPMResults finished