Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c191' (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-x86_64 --chroot fedora-39-x86_64 Version: 0.73 PID: 6318 Logging PID: 6319 Task: {'allow_user_ssh': False, 'appstream': False, 'background': True, 'build_id': 7507070, 'buildroot_pkgs': [], 'chroot': 'fedora-39-x86_64', '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-x86_64/', '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-x86_64', '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-vra2e5bu/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-vra2e5bu/gappalib-coq', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-vra2e5bu/gappalib-coq'... Running: git checkout 334c1dd78ad581c1e0dc3192dbc9ffa3f47fc275 -- cmd: ['git', 'checkout', '334c1dd78ad581c1e0dc3192dbc9ffa3f47fc275', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-vra2e5bu/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-vra2e5bu/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 /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncatedINFO: 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 1449k 0 --:--:-- --:--:-- --:--:-- 1458k INFO: Reading stdout from command: md5sum gappalib-coq-1.5.5.tar.gz Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-vra2e5bu/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-vra2e5bu/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1717061401.720084 -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-vra2e5bu/gappalib-coq/gappalib-coq.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-vra2e5bu/gappalib-coq --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1717061401.720084 -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-vra2e5bu/gappalib-coq/gappalib-coq.spec) Config(fedora-39-x86_64) 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-x86_64-bootstrap-1717061401.720084/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-x86_64-bootstrap-1717061401.720084/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/dd7e1b244ba184adc65f51b3cf8d611421d7bdad62b1db5b388cd3e172f42fcb/merged INFO: umounting image registry.fedoraproject.org/fedora:39 (/var/lib/containers/storage/overlay/dd7e1b244ba184adc65f51b3cf8d611421d7bdad62b1db5b388cd3e172f42fcb/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 60 MB/s | 18 MB 00:00 Additional repo http_kojipkgs_fedoraproject_org 23 MB/s | 75 MB 00:03 fedora 37 MB/s | 89 MB 00:02 updates 19 MB/s | 38 MB 00:01 Last metadata expiration check: 0:00:03 ago on Thu May 30 09:31:00 2024. Package python3-dnf-4.19.2-1.fc39.noarch is already installed. Dependencies resolved. ========================================================================================================================= Package Arch Version Repository Size ========================================================================================================================= Installing: dnf5 x86_64 5.2.2.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 692 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++ x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 884 k python3-dnf noarch 4.20.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 580 k Installing dependencies: dbus-libs x86_64 1:1.14.10-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 156 k fmt x86_64 10.2.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 125 k libdnf5 x86_64 5.2.2.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.0 M libdnf5-cli x86_64 5.2.2.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 306 k python3-dateutil noarch 1:2.8.2-13.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 345 k python3-dbus x86_64 1.3.2-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 145 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 x86_64 235-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 100 k sdbus-cpp x86_64 1.5.0-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 113 k Transaction Summary ========================================================================================================================= Install 12 Packages Upgrade 3 Packages Total download size: 4.8 M Downloading Packages: (1/15): dnf5-5.2.2.0-1.fc41.x86_64.rpm 6.9 MB/s | 692 kB 00:00 (2/15): fmt-10.2.1-4.fc41.x86_64.rpm 1.2 MB/s | 125 kB 00:00 (3/15): dbus-libs-1.14.10-3.fc40.x86_64.rpm 1.5 MB/s | 156 kB 00:00 (4/15): libdnf5-cli-5.2.2.0-1.fc41.x86_64.rpm 14 MB/s | 306 kB 00:00 (5/15): python3-dbus-1.3.2-6.fc40.x86_64.rpm 6.5 MB/s | 145 kB 00:00 (6/15): libdnf5-5.2.2.0-1.fc41.x86_64.rpm 21 MB/s | 1.0 MB 00:00 (7/15): python3-dateutil-2.8.2-13.fc40.noarch.r 7.4 MB/s | 345 kB 00:00 (8/15): python3-distro-1.9.0-3.fc40.noarch.rpm 2.3 MB/s | 45 kB 00:00 (9/15): python3-dnf-plugins-core-4.7.0-1.fc41.n 15 MB/s | 302 kB 00:00 (10/15): python3-six-1.16.0-14.fc40.noarch.rpm 1.7 MB/s | 41 kB 00:00 (11/15): python3-systemd-235-9.fc40.x86_64.rpm 4.6 MB/s | 100 kB 00:00 (12/15): sdbus-cpp-1.5.0-2.fc41.x86_64.rpm 6.0 MB/s | 113 kB 00:00 (13/15): dnf-data-4.20.0-1.fc41.noarch.rpm 1.6 MB/s | 39 kB 00:00 (14/15): libstdc++-14.1.1-4.fc41.x86_64.rpm 30 MB/s | 884 kB 00:00 (15/15): python3-dnf-4.20.0-1.fc41.noarch.rpm 18 MB/s | 580 kB 00:00 -------------------------------------------------------------------------------- Total 22 MB/s | 4.8 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.x86_64 1/20 Installing : fmt-10.2.1-4.fc41.x86_64 2/20 Installing : libdnf5-5.2.2.0-1.fc41.x86_64 3/20 warning: /etc/dnf/dnf.conf created as /etc/dnf/dnf.conf.rpmnew Installing : libdnf5-cli-5.2.2.0-1.fc41.x86_64 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.x86_64 7/20 Installing : python3-systemd-235-9.fc40.x86_64 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.x86_64 12/20 Installing : python3-dbus-1.3.2-6.fc40.x86_64 13/20 Installing : python3-dnf-plugins-core-4.7.0-1.fc41.noarch 14/20 Installing : dnf5-5.2.2.0-1.fc41.x86_64 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.x86_64 20/20 Running scriptlet: libstdc++-13.3.1-1.fc39.x86_64 20/20 Verifying : dbus-libs-1:1.14.10-3.fc40.x86_64 1/20 Verifying : dnf5-5.2.2.0-1.fc41.x86_64 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.x86_64 5/20 Verifying : libdnf5-5.2.2.0-1.fc41.x86_64 6/20 Verifying : libdnf5-cli-5.2.2.0-1.fc41.x86_64 7/20 Verifying : python3-dateutil-1:2.8.2-13.fc40.noarch 8/20 Verifying : python3-dbus-1.3.2-6.fc40.x86_64 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.x86_64 13/20 Verifying : sdbus-cpp-1.5.0-2.fc41.x86_64 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.x86_64 17/20 Verifying : libstdc++-13.3.1-1.fc39.x86_64 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.x86_64 python3-dnf-4.20.0-1.fc41.noarch Installed: dbus-libs-1:1.14.10-3.fc40.x86_64 dnf5-5.2.2.0-1.fc41.x86_64 fmt-10.2.1-4.fc41.x86_64 libdnf5-5.2.2.0-1.fc41.x86_64 libdnf5-cli-5.2.2.0-1.fc41.x86_64 python3-dateutil-1:2.8.2-13.fc40.noarch python3-dbus-1.3.2-6.fc40.x86_64 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.x86_64 sdbus-cpp-1.5.0-2.fc41.x86_64 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-x86_64-1717061401.720084/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.x86_64 rpm-sequoia-1.6.0-1.fc39.x86_64 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.x86_64 Start: installing minimal buildroot with dnf No matches found for the following disable plugin patterns: local, spacewalk, versionlock Copr repository 54 MB/s | 18 MB 00:00 Additional repo http_kojipkgs_fedoraproject_org 37 MB/s | 75 MB 00:02 fedora 30 MB/s | 89 MB 00:02 updates 33 MB/s | 38 MB 00:01 Last metadata expiration check: 0:00:03 ago on Thu May 30 09:32:05 2024. Dependencies resolved. ============================================================================================================================================ Package Arch Version Repository Size ============================================================================================================================================ Installing group/module packages: bash x86_64 5.2.26-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.8 M bzip2 x86_64 1.0.8-18.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 52 k coreutils x86_64 9.5-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M cpio x86_64 2.15-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 285 k diffutils x86_64 3.10-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 397 k fedora-release-common noarch 41-0.13 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k findutils x86_64 1:4.9.0-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 482 k gawk x86_64 5.3.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M glibc-minimal-langpack x86_64 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 112 k grep x86_64 3.11-8.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 289 k gzip x86_64 1.13-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 164 k info x86_64 7.1-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 182 k patch x86_64 2.7.6-24.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 131 k redhat-rpm-config noarch 291-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 76 k rpm-build x86_64 4.19.91-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 75 k sed x86_64 4.9-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 309 k shadow-utils x86_64 2:4.15.1-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.3 M tar x86_64 2:1.35-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 847 k unzip x86_64 6.0-63.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 185 k util-linux x86_64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.2 M which x86_64 2.21-41.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 41 k xz x86_64 1:5.4.6-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 532 k Installing dependencies: add-determinism-nopython x86_64 0.2.0-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 891 k alternatives x86_64 1.27-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 41 k ansible-srpm-macros noarch 1-15.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k audit-libs x86_64 4.0.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 125 k authselect x86_64 1.5.0-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 141 k authselect-libs x86_64 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 x86_64 2.42.50-11.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 6.4 M binutils-gold x86_64 2.42.50-11.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 783 k build-reproducibility-srpm-macros noarch 0.2.0-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.1 k bzip2-libs x86_64 1.0.8-18.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 41 k ca-certificates noarch 2023.2.62_v7.0.401-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 862 k coreutils-common x86_64 9.5-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.1 M cracklib x86_64 2.9.11-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 82 k crypto-policies noarch 20240521-1.gitf71d135.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 65 k curl x86_64 8.8.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 302 k cyrus-sasl-lib x86_64 2.1.28-22.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 793 k debugedit x86_64 5.0-16.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 80 k dwz x86_64 0.15-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 138 k ed x86_64 1.20.2-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 82 k efi-srpm-macros noarch 5-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k elfutils x86_64 0.191-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 524 k elfutils-debuginfod-client x86_64 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 x86_64 0.191-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 208 k elfutils-libs x86_64 0.191-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 258 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 x86_64 5.45-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 49 k file-libs x86_64 5.45-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 763 k filesystem x86_64 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 x86_64 14.2-9.fc41 copr_base 4.3 M gdbm x86_64 1:1.23-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 147 k gdbm-libs x86_64 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 x86_64 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.2 M glibc-common x86_64 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 394 k glibc-gconv-extra x86_64 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.6 M gmp x86_64 1:6.3.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 317 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 x86_64 2.13.1-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 44 k kernel-srpm-macros noarch 1.0-23.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.8 k keyutils-libs x86_64 1.6.3-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 31 k krb5-libs x86_64 1.21.2-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 751 k libacl x86_64 2.3.2-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 24 k libarchive x86_64 3.7.4-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 408 k libattr x86_64 2.5.2-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 18 k libblkid x86_64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 124 k libbrotli x86_64 1.1.0-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 338 k libcap x86_64 2.70-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 86 k libcap-ng x86_64 0.8.5-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 32 k libcom_err x86_64 1.47.0-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 k libcurl x86_64 8.8.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 355 k libeconf x86_64 0.6.2-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 32 k libevent x86_64 2.1.12-13.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 257 k libfdisk x86_64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 159 k libffi x86_64 3.4.6-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 40 k libgcc x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 128 k libgomp x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 349 k libidn2 x86_64 2.3.7-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 112 k libmount x86_64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 155 k libnghttp2 x86_64 1.62.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 76 k libnsl2 x86_64 2.0.1-1.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 30 k libpkgconf x86_64 2.1.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 38 k libpsl x86_64 0.21.5-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 64 k libpwquality x86_64 1.4.5-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 108 k libselinux x86_64 3.6-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 88 k libsemanage x86_64 3.6-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 116 k libsepol x86_64 3.6-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 340 k libsmartcols x86_64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 83 k libssh x86_64 0.10.6-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 212 k libssh-config noarch 0.10.6-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.1 k libstdc++ x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 884 k libtasn1 x86_64 4.19.0-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 74 k libtirpc x86_64 1.3.4-1.rc3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 92 k libtool-ltdl x86_64 2.4.7-10.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 36 k libunistring x86_64 1.1-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 545 k libutempter x86_64 1.2.1-13.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 26 k libuuid x86_64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 28 k libverto x86_64 0.3.2-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k libxcrypt x86_64 4.4.36-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 118 k libxml2 x86_64 2.12.7-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 685 k libzstd x86_64 1.5.6-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 309 k lua-libs x86_64 5.4.6-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 132 k lua-srpm-macros noarch 1-13.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.7 k lz4-libs x86_64 1.9.4-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 67 k mpfr x86_64 4.2.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 345 k ncurses-base noarch 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 64 k ncurses-libs x86_64 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 332 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 x86_64 2.6.8-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 254 k openssl-libs x86_64 1:3.2.1-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.3 M p11-kit x86_64 0.25.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 476 k p11-kit-trust x86_64 0.25.3-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 132 k package-notes-srpm-macros noarch 0.5-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.9 k pam x86_64 1.6.1-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 517 k pam-libs x86_64 1.6.1-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 57 k pcre2 x86_64 10.43-2.fc41.1 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 242 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 x86_64 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 x86_64 2.1.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.9 k popt x86_64 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 x86_64 8.2-8.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 213 k rpm x86_64 4.19.91-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 520 k rpm-build-libs x86_64 4.19.91-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 98 k rpm-libs x86_64 4.19.91-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 308 k rpm-sequoia x86_64 1.6.0-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 846 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 x86_64 3.45.3-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 705 k systemd-libs x86_64 256~rc3-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 727 k util-linux-core x86_64 2.40.1-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 520 k xxhash-libs x86_64 0.8.2-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 37 k xz-libs x86_64 1:5.4.6-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 110 k zig-srpm-macros noarch 1-2.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.0 k zip x86_64 3.0-40.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 265 k zlib-ng-compat x86_64 2.1.6-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 77 k zstd x86_64 1.5.6-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 479 k Installing Groups: Buildsystem building group Transaction Summary ============================================================================================================================================ Install 155 Packages Total download size: 53 M Installed size: 182 M Downloading Packages: (1/155): alternatives-1.27-1.fc41.x86_64.rpm 507 kB/s | 41 kB 00:00 (2/155): ansible-srpm-macros-1-15.fc41.noarch.r 928 kB/s | 21 kB 00:00 (3/155): gdb-minimal-14.2-9.fc41.x86_64.rpm 35 MB/s | 4.3 MB 00:00 (4/155): add-determinism-nopython-0.2.0-9.fc41. 6.5 MB/s | 891 kB 00:00 (5/155): audit-libs-4.0.1-2.fc41.x86_64.rpm 4.0 MB/s | 125 kB 00:00 (6/155): authselect-1.5.0-5.fc41.x86_64.rpm 5.9 MB/s | 141 kB 00:00 (7/155): authselect-libs-1.5.0-5.fc41.x86_64.rp 6.8 MB/s | 205 kB 00:00 (8/155): bash-5.2.26-3.fc40.x86_64.rpm 41 MB/s | 1.8 MB 00:00 (9/155): basesystem-11-20.fc40.noarch.rpm 128 kB/s | 7.2 kB 00:00 (10/155): build-reproducibility-srpm-macros-0.2 368 kB/s | 9.1 kB 00:00 (11/155): binutils-gold-2.42.50-11.fc41.x86_64. 16 MB/s | 783 kB 00:00 (12/155): bzip2-1.0.8-18.fc40.x86_64.rpm 1.2 MB/s | 52 kB 00:00 (13/155): binutils-2.42.50-11.fc41.x86_64.rpm 60 MB/s | 6.4 MB 00:00 (14/155): bzip2-libs-1.0.8-18.fc40.x86_64.rpm 1.4 MB/s | 41 kB 00:00 (15/155): ca-certificates-2023.2.62_v7.0.401-6. 24 MB/s | 862 kB 00:00 (16/155): coreutils-9.5-1.fc41.x86_64.rpm 28 MB/s | 1.1 MB 00:00 (17/155): cpio-2.15-1.fc40.x86_64.rpm 12 MB/s | 285 kB 00:00 (18/155): coreutils-common-9.5-1.fc41.x86_64.rp 32 MB/s | 2.1 MB 00:00 (19/155): cracklib-2.9.11-5.fc40.x86_64.rpm 2.4 MB/s | 82 kB 00:00 (20/155): crypto-policies-20240521-1.gitf71d135 2.7 MB/s | 65 kB 00:00 (21/155): curl-8.8.0-1.fc41.x86_64.rpm 13 MB/s | 302 kB 00:00 (22/155): debugedit-5.0-16.fc41.x86_64.rpm 3.5 MB/s | 80 kB 00:00 (23/155): cyrus-sasl-lib-2.1.28-22.fc41.x86_64. 26 MB/s | 793 kB 00:00 (24/155): diffutils-3.10-5.fc40.x86_64.rpm 13 MB/s | 397 kB 00:00 (25/155): dwz-0.15-6.fc40.x86_64.rpm 5.9 MB/s | 138 kB 00:00 (26/155): ed-1.20.2-1.fc41.x86_64.rpm 2.7 MB/s | 82 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.x86_64.rpm 20 MB/s | 524 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 648 kB/s | 13 kB 00:00 (31/155): elfutils-libelf-0.191-7.fc41.x86_64.r 6.7 MB/s | 208 kB 00:00 (32/155): elfutils-libs-0.191-7.fc41.x86_64.rpm 9.9 MB/s | 258 kB 00:00 (33/155): fedora-gpg-keys-41-0.2.noarch.rpm 4.3 MB/s | 122 kB 00:00 (34/155): fedora-release-41-0.13.noarch.rpm 500 kB/s | 11 kB 00:00 (35/155): fedora-release-common-41-0.13.noarch. 1.0 MB/s | 22 kB 00:00 (36/155): fedora-release-identity-basic-41-0.13 481 kB/s | 12 kB 00:00 (37/155): fedora-repos-41-0.2.noarch.rpm 440 kB/s | 9.3 kB 00:00 (38/155): fedora-repos-rawhide-41-0.2.noarch.rp 443 kB/s | 8.9 kB 00:00 (39/155): file-5.45-5.fc41.x86_64.rpm 2.2 MB/s | 49 kB 00:00 (40/155): file-libs-5.45-5.fc41.x86_64.rpm 21 MB/s | 763 kB 00:00 (41/155): filesystem-3.18-9.fc41.x86_64.rpm 28 MB/s | 1.1 MB 00:00 (42/155): findutils-4.9.0-8.fc40.x86_64.rpm 12 MB/s | 482 kB 00:00 (43/155): fonts-srpm-macros-2.0.5-14.fc40.noarc 1.3 MB/s | 27 kB 00:00 (44/155): forge-srpm-macros-0.3.1-1.fc41.noarch 686 kB/s | 19 kB 00:00 (45/155): fpc-srpm-macros-1.3-12.fc40.noarch.rp 375 kB/s | 7.8 kB 00:00 (46/155): gdbm-1.23-6.fc40.x86_64.rpm 5.3 MB/s | 147 kB 00:00 (47/155): gdbm-libs-1.23-6.fc40.x86_64.rpm 1.9 MB/s | 56 kB 00:00 (48/155): ghc-srpm-macros-1.9.1-1.fc41.noarch.r 352 kB/s | 9.0 kB 00:00 (49/155): gawk-5.3.0-3.fc40.x86_64.rpm 16 MB/s | 1.1 MB 00:00 (50/155): glibc-common-2.39.9000-18.fc41.x86_64 12 MB/s | 394 kB 00:00 (51/155): glibc-2.39.9000-18.fc41.x86_64.rpm 39 MB/s | 2.2 MB 00:00 (52/155): glibc-gconv-extra-2.39.9000-18.fc41.x 30 MB/s | 1.6 MB 00:00 (53/155): glibc-minimal-langpack-2.39.9000-18.f 4.1 MB/s | 112 kB 00:00 (54/155): gmp-6.3.0-1.fc41.x86_64.rpm 9.7 MB/s | 317 kB 00:00 (55/155): gnat-srpm-macros-6-5.fc40.noarch.rpm 370 kB/s | 8.8 kB 00:00 (56/155): go-srpm-macros-3.6.0-1.fc41.noarch.rp 1.1 MB/s | 28 kB 00:00 (57/155): grep-3.11-8.fc41.x86_64.rpm 11 MB/s | 289 kB 00:00 (58/155): gzip-1.13-1.fc40.x86_64.rpm 6.5 MB/s | 164 kB 00:00 (59/155): info-7.1-2.fc40.x86_64.rpm 6.7 MB/s | 182 kB 00:00 (60/155): jansson-2.13.1-9.fc40.x86_64.rpm 2.2 MB/s | 44 kB 00:00 (61/155): keyutils-libs-1.6.3-3.fc40.x86_64.rpm 1.6 MB/s | 31 kB 00:00 (62/155): kernel-srpm-macros-1.0-23.fc41.noarch 395 kB/s | 9.8 kB 00:00 (63/155): krb5-libs-1.21.2-5.fc40.x86_64.rpm 26 MB/s | 751 kB 00:00 (64/155): libarchive-3.7.4-1.fc41.x86_64.rpm 14 MB/s | 408 kB 00:00 (65/155): libacl-2.3.2-1.fc40.x86_64.rpm 828 kB/s | 24 kB 00:00 (66/155): libattr-2.5.2-3.fc40.x86_64.rpm 843 kB/s | 18 kB 00:00 (67/155): libblkid-2.40.1-1.fc41.x86_64.rpm 4.9 MB/s | 124 kB 00:00 (68/155): libbrotli-1.1.0-3.fc40.x86_64.rpm 13 MB/s | 338 kB 00:00 (69/155): libcap-2.70-1.fc41.x86_64.rpm 3.3 MB/s | 86 kB 00:00 (70/155): libcap-ng-0.8.5-1.fc41.x86_64.rpm 1.3 MB/s | 32 kB 00:00 (71/155): libcom_err-1.47.0-5.fc40.x86_64.rpm 1.0 MB/s | 25 kB 00:00 (72/155): libcurl-8.8.0-1.fc41.x86_64.rpm 13 MB/s | 355 kB 00:00 (73/155): libevent-2.1.12-13.fc41.x86_64.rpm 12 MB/s | 257 kB 00:00 (74/155): libeconf-0.6.2-2.fc41.x86_64.rpm 1.3 MB/s | 32 kB 00:00 (75/155): libfdisk-2.40.1-1.fc41.x86_64.rpm 6.5 MB/s | 159 kB 00:00 (76/155): libgcc-14.1.1-4.fc41.x86_64.rpm 6.3 MB/s | 128 kB 00:00 (77/155): libffi-3.4.6-1.fc41.x86_64.rpm 1.9 MB/s | 40 kB 00:00 (78/155): libgomp-14.1.1-4.fc41.x86_64.rpm 15 MB/s | 349 kB 00:00 (79/155): libidn2-2.3.7-1.fc40.x86_64.rpm 5.6 MB/s | 112 kB 00:00 (80/155): libmount-2.40.1-1.fc41.x86_64.rpm 6.1 MB/s | 155 kB 00:00 (81/155): libnghttp2-1.62.0-1.fc41.x86_64.rpm 3.4 MB/s | 76 kB 00:00 (82/155): libnsl2-2.0.1-1.fc40.x86_64.rpm 1.6 MB/s | 30 kB 00:00 (83/155): libpkgconf-2.1.1-1.fc41.x86_64.rpm 1.7 MB/s | 38 kB 00:00 (84/155): libpsl-0.21.5-3.fc40.x86_64.rpm 2.6 MB/s | 64 kB 00:00 (85/155): libpwquality-1.4.5-9.fc40.x86_64.rpm 4.6 MB/s | 108 kB 00:00 (86/155): libselinux-3.6-4.fc40.x86_64.rpm 3.7 MB/s | 88 kB 00:00 (87/155): libsemanage-3.6-3.fc40.x86_64.rpm 4.8 MB/s | 116 kB 00:00 (88/155): libsepol-3.6-3.fc40.x86_64.rpm 12 MB/s | 340 kB 00:00 (89/155): libsmartcols-2.40.1-1.fc41.x86_64.rpm 3.4 MB/s | 83 kB 00:00 (90/155): libssh-config-0.10.6-6.fc41.noarch.rp 501 kB/s | 9.1 kB 00:00 (91/155): libssh-0.10.6-6.fc41.x86_64.rpm 9.0 MB/s | 212 kB 00:00 (92/155): libstdc++-14.1.1-4.fc41.x86_64.rpm 28 MB/s | 884 kB 00:00 (93/155): libtirpc-1.3.4-1.rc3.fc41.x86_64.rpm 4.3 MB/s | 92 kB 00:00 (94/155): libtasn1-4.19.0-6.fc40.x86_64.rpm 3.0 MB/s | 74 kB 00:00 (95/155): libtool-ltdl-2.4.7-10.fc40.x86_64.rpm 1.5 MB/s | 36 kB 00:00 (96/155): libutempter-1.2.1-13.fc40.x86_64.rpm 1.1 MB/s | 26 kB 00:00 (97/155): libunistring-1.1-7.fc41.x86_64.rpm 18 MB/s | 545 kB 00:00 (98/155): libuuid-2.40.1-1.fc41.x86_64.rpm 1.4 MB/s | 28 kB 00:00 (99/155): libverto-0.3.2-8.fc40.x86_64.rpm 1.1 MB/s | 21 kB 00:00 (100/155): libxcrypt-4.4.36-5.fc40.x86_64.rpm 5.2 MB/s | 118 kB 00:00 (101/155): libzstd-1.5.6-1.fc41.x86_64.rpm 13 MB/s | 309 kB 00:00 (102/155): libxml2-2.12.7-1.fc41.x86_64.rpm 22 MB/s | 685 kB 00:00 (103/155): lua-libs-5.4.6-5.fc40.x86_64.rpm 6.0 MB/s | 132 kB 00:00 (104/155): lz4-libs-1.9.4-6.fc40.x86_64.rpm 3.5 MB/s | 67 kB 00:00 (105/155): lua-srpm-macros-1-13.fc40.noarch.rpm 425 kB/s | 8.7 kB 00:00 (106/155): mpfr-4.2.1-4.fc41.x86_64.rpm 14 MB/s | 345 kB 00:00 (107/155): ncurses-base-6.4-12.20240127.fc40.no 3.0 MB/s | 64 kB 00:00 (108/155): ncurses-libs-6.4-12.20240127.fc40.x8 14 MB/s | 332 kB 00:00 (109/155): ocaml-srpm-macros-9-3.fc40.noarch.rp 443 kB/s | 9.1 kB 00:00 (110/155): openblas-srpm-macros-2-17.fc41.noarc 381 kB/s | 7.7 kB 00:00 (111/155): openldap-2.6.8-1.fc41.x86_64.rpm 12 MB/s | 254 kB 00:00 (112/155): p11-kit-trust-0.25.3-4.fc40.x86_64.r 4.8 MB/s | 132 kB 00:00 (113/155): p11-kit-0.25.3-4.fc40.x86_64.rpm 15 MB/s | 476 kB 00:00 (114/155): openssl-libs-3.2.1-6.fc41.x86_64.rpm 45 MB/s | 2.3 MB 00:00 (115/155): package-notes-srpm-macros-0.5-11.fc4 422 kB/s | 9.9 kB 00:00 (116/155): pam-libs-1.6.1-3.fc41.x86_64.rpm 2.6 MB/s | 57 kB 00:00 (117/155): pam-1.6.1-3.fc41.x86_64.rpm 14 MB/s | 517 kB 00:00 (118/155): patch-2.7.6-24.fc40.x86_64.rpm 5.8 MB/s | 131 kB 00:00 (119/155): pcre2-10.43-2.fc41.1.x86_64.rpm 9.5 MB/s | 242 kB 00:00 (120/155): pcre2-syntax-10.43-2.fc41.1.noarch.r 6.0 MB/s | 149 kB 00:00 (121/155): perl-srpm-macros-1-53.fc40.noarch.rp 389 kB/s | 8.4 kB 00:00 (122/155): pkgconf-2.1.1-1.fc41.x86_64.rpm 2.0 MB/s | 44 kB 00:00 (123/155): pkgconf-m4-2.1.1-1.fc41.noarch.rpm 763 kB/s | 14 kB 00:00 (124/155): pkgconf-pkg-config-2.1.1-1.fc41.x86_ 446 kB/s | 9.9 kB 00:00 (125/155): popt-1.19-6.fc40.x86_64.rpm 2.2 MB/s | 60 kB 00:00 (126/155): publicsuffix-list-dafsa-20240107-3.f 2.6 MB/s | 58 kB 00:00 (127/155): pyproject-srpm-macros-1.12.0-1.fc40. 658 kB/s | 14 kB 00:00 (128/155): qt5-srpm-macros-5.15.13-1.fc41.noarc 404 kB/s | 8.5 kB 00:00 (129/155): python-srpm-macros-3.12-9.fc41.noarc 1.0 MB/s | 24 kB 00:00 (130/155): qt6-srpm-macros-6.7.1-1.fc41.noarch. 430 kB/s | 8.9 kB 00:00 (131/155): redhat-rpm-config-291-1.fc41.noarch. 3.7 MB/s | 76 kB 00:00 (132/155): readline-8.2-8.fc40.x86_64.rpm 7.6 MB/s | 213 kB 00:00 (133/155): rpm-4.19.91-4.fc41.x86_64.rpm 19 MB/s | 520 kB 00:00 (134/155): rpm-build-4.19.91-4.fc41.x86_64.rpm 3.3 MB/s | 75 kB 00:00 (135/155): rpm-build-libs-4.19.91-4.fc41.x86_64 4.6 MB/s | 98 kB 00:00 (136/155): rpm-libs-4.19.91-4.fc41.x86_64.rpm 13 MB/s | 308 kB 00:00 (137/155): rust-srpm-macros-26.3-1.fc41.noarch. 561 kB/s | 13 kB 00:00 (138/155): rpm-sequoia-1.6.0-3.fc41.x86_64.rpm 25 MB/s | 846 kB 00:00 (139/155): sed-4.9-1.fc40.x86_64.rpm 12 MB/s | 309 kB 00:00 (140/155): setup-2.14.6-1.fc41.noarch.rpm 6.1 MB/s | 148 kB 00:00 (141/155): sqlite-libs-3.45.3-1.fc41.x86_64.rpm 22 MB/s | 705 kB 00:00 (142/155): shadow-utils-4.15.1-5.fc41.x86_64.rp 27 MB/s | 1.3 MB 00:00 (143/155): systemd-libs-256~rc3-3.fc41.x86_64.r 22 MB/s | 727 kB 00:00 (144/155): unzip-6.0-63.fc40.x86_64.rpm 8.1 MB/s | 185 kB 00:00 (145/155): tar-1.35-3.fc40.x86_64.rpm 23 MB/s | 847 kB 00:00 (146/155): util-linux-2.40.1-1.fc41.x86_64.rpm 36 MB/s | 1.2 MB 00:00 (147/155): which-2.21-41.fc40.x86_64.rpm 2.0 MB/s | 41 kB 00:00 (148/155): util-linux-core-2.40.1-1.fc41.x86_64 17 MB/s | 520 kB 00:00 (149/155): xxhash-libs-0.8.2-2.fc40.x86_64.rpm 1.9 MB/s | 37 kB 00:00 (150/155): xz-5.4.6-3.fc41.x86_64.rpm 20 MB/s | 532 kB 00:00 (151/155): xz-libs-5.4.6-3.fc41.x86_64.rpm 5.0 MB/s | 110 kB 00:00 (152/155): zig-srpm-macros-1-2.fc40.noarch.rpm 407 kB/s | 8.0 kB 00:00 (153/155): zip-3.0-40.fc40.x86_64.rpm 11 MB/s | 265 kB 00:00 (154/155): zlib-ng-compat-2.1.6-4.fc41.x86_64.r 3.5 MB/s | 77 kB 00:00 (155/155): zstd-1.5.6-1.fc41.x86_64.rpm 17 MB/s | 479 kB 00:00 -------------------------------------------------------------------------------- Total 35 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.x86_64 1/1 Preparing : 1/1 Installing : libgcc-14.1.1-4.fc41.x86_64 1/155 Running scriptlet: libgcc-14.1.1-4.fc41.x86_64 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.x86_64 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.x86_64 23/155 Running scriptlet: glibc-gconv-extra-2.39.9000-18.fc41.x86_64 23/155 Installing : glibc-minimal-langpack-2.39.9000-18.fc41.x86_64 24/155 Installing : glibc-common-2.39.9000-18.fc41.x86_64 25/155 Running scriptlet: glibc-2.39.9000-18.fc41.x86_64 26/155 Installing : glibc-2.39.9000-18.fc41.x86_64 26/155 Running scriptlet: glibc-2.39.9000-18.fc41.x86_64 26/155 Installing : ncurses-libs-6.4-12.20240127.fc40.x86_64 27/155 Installing : bash-5.2.26-3.fc40.x86_64 28/155 Running scriptlet: bash-5.2.26-3.fc40.x86_64 28/155 Installing : zlib-ng-compat-2.1.6-4.fc41.x86_64 29/155 Installing : bzip2-libs-1.0.8-18.fc40.x86_64 30/155 Installing : xz-libs-1:5.4.6-3.fc41.x86_64 31/155 Installing : readline-8.2-8.fc40.x86_64 32/155 Installing : libstdc++-14.1.1-4.fc41.x86_64 33/155 Installing : libuuid-2.40.1-1.fc41.x86_64 34/155 Installing : libzstd-1.5.6-1.fc41.x86_64 35/155 Installing : elfutils-libelf-0.191-7.fc41.x86_64 36/155 Installing : popt-1.19-6.fc40.x86_64 37/155 Installing : libblkid-2.40.1-1.fc41.x86_64 38/155 Installing : gmp-1:6.3.0-1.fc41.x86_64 39/155 Installing : libattr-2.5.2-3.fc40.x86_64 40/155 Installing : libacl-2.3.2-1.fc40.x86_64 41/155 Installing : libxcrypt-4.4.36-5.fc40.x86_64 42/155 Installing : gdbm-libs-1:1.23-6.fc40.x86_64 43/155 Installing : libeconf-0.6.2-2.fc41.x86_64 44/155 Installing : mpfr-4.2.1-4.fc41.x86_64 45/155 Installing : gawk-5.3.0-3.fc40.x86_64 46/155 Installing : dwz-0.15-6.fc40.x86_64 47/155 Installing : unzip-6.0-63.fc40.x86_64 48/155 Installing : file-libs-5.45-5.fc41.x86_64 49/155 Installing : file-5.45-5.fc41.x86_64 50/155 Installing : alternatives-1.27-1.fc41.x86_64 51/155 Installing : jansson-2.13.1-9.fc40.x86_64 52/155 Installing : libcap-ng-0.8.5-1.fc41.x86_64 53/155 Installing : audit-libs-4.0.1-2.fc41.x86_64 54/155 Installing : pam-libs-1.6.1-3.fc41.x86_64 55/155 Installing : libcap-2.70-1.fc41.x86_64 56/155 Installing : systemd-libs-256~rc3-3.fc41.x86_64 57/155 Installing : libcom_err-1.47.0-5.fc40.x86_64 58/155 Installing : libsepol-3.6-3.fc40.x86_64 59/155 Installing : libsmartcols-2.40.1-1.fc41.x86_64 60/155 Installing : libtasn1-4.19.0-6.fc40.x86_64 61/155 Installing : libunistring-1.1-7.fc41.x86_64 62/155 Installing : libidn2-2.3.7-1.fc40.x86_64 63/155 Installing : lua-libs-5.4.6-5.fc40.x86_64 64/155 Installing : lz4-libs-1.9.4-6.fc40.x86_64 65/155 Installing : pcre2-10.43-2.fc41.1.x86_64 66/155 Installing : libselinux-3.6-4.fc40.x86_64 67/155 Installing : sed-4.9-1.fc40.x86_64 68/155 Installing : grep-3.11-8.fc41.x86_64 69/155 Installing : findutils-1:4.9.0-8.fc40.x86_64 70/155 Installing : xz-1:5.4.6-3.fc41.x86_64 71/155 Installing : libmount-2.40.1-1.fc41.x86_64 72/155 Installing : util-linux-core-2.40.1-1.fc41.x86_64 73/155 Installing : libsemanage-3.6-3.fc40.x86_64 74/155 Installing : shadow-utils-2:4.15.1-5.fc41.x86_64 75/155 Running scriptlet: libutempter-1.2.1-13.fc40.x86_64 76/155 Installing : libutempter-1.2.1-13.fc40.x86_64 76/155 Installing : tar-2:1.35-3.fc40.x86_64 77/155 Installing : zstd-1.5.6-1.fc41.x86_64 78/155 Installing : libpsl-0.21.5-3.fc40.x86_64 79/155 Installing : zip-3.0-40.fc40.x86_64 80/155 Installing : cyrus-sasl-lib-2.1.28-22.fc41.x86_64 81/155 Installing : gdbm-1:1.23-6.fc40.x86_64 82/155 Installing : libfdisk-2.40.1-1.fc41.x86_64 83/155 Installing : add-determinism-nopython-0.2.0-9.fc41.x86_64 84/155 Installing : build-reproducibility-srpm-macros-0.2.0-9.fc41.n 85/155 Installing : libxml2-2.12.7-1.fc41.x86_64 86/155 Installing : bzip2-1.0.8-18.fc40.x86_64 87/155 Installing : sqlite-libs-3.45.3-1.fc41.x86_64 88/155 Installing : ed-1.20.2-1.fc41.x86_64 89/155 Installing : patch-2.7.6-24.fc40.x86_64 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.x86_64 92/155 Installing : diffutils-3.10-5.fc40.x86_64 93/155 Installing : keyutils-libs-1.6.3-3.fc40.x86_64 94/155 Installing : libbrotli-1.1.0-3.fc40.x86_64 95/155 Installing : libffi-3.4.6-1.fc41.x86_64 96/155 Installing : p11-kit-0.25.3-4.fc40.x86_64 97/155 Installing : p11-kit-trust-0.25.3-4.fc40.x86_64 98/155 Running scriptlet: p11-kit-trust-0.25.3-4.fc40.x86_64 98/155 Installing : libgomp-14.1.1-4.fc41.x86_64 99/155 Installing : libnghttp2-1.62.0-1.fc41.x86_64 100/155 Installing : libpkgconf-2.1.1-1.fc41.x86_64 101/155 Installing : pkgconf-2.1.1-1.fc41.x86_64 102/155 Installing : pkgconf-pkg-config-2.1.1-1.fc41.x86_64 103/155 Installing : libtool-ltdl-2.4.7-10.fc40.x86_64 104/155 Installing : libverto-0.3.2-8.fc40.x86_64 105/155 Installing : xxhash-libs-0.8.2-2.fc40.x86_64 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.x86_64 112/155 Installing : openssl-libs-1:3.2.1-6.fc41.x86_64 113/155 Installing : coreutils-9.5-1.fc41.x86_64 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.x86_64 116/155 Installing : libarchive-3.7.4-1.fc41.x86_64 117/155 Installing : libtirpc-1.3.4-1.rc3.fc41.x86_64 118/155 Installing : authselect-libs-1.5.0-5.fc41.x86_64 119/155 Installing : gzip-1.13-1.fc40.x86_64 120/155 Installing : cracklib-2.9.11-5.fc40.x86_64 121/155 Installing : libpwquality-1.4.5-9.fc40.x86_64 122/155 Installing : authselect-1.5.0-5.fc41.x86_64 123/155 Installing : libnsl2-2.0.1-1.fc40.x86_64 124/155 Installing : pam-1.6.1-3.fc41.x86_64 125/155 Installing : libssh-0.10.6-6.fc41.x86_64 126/155 Installing : libevent-2.1.12-13.fc41.x86_64 127/155 Installing : openldap-2.6.8-1.fc41.x86_64 128/155 Installing : libcurl-8.8.0-1.fc41.x86_64 129/155 Installing : elfutils-libs-0.191-7.fc41.x86_64 130/155 Installing : elfutils-debuginfod-client-0.191-7.fc41.x86_64 131/155 Installing : binutils-gold-2.42.50-11.fc41.x86_64 132/155 Running scriptlet: binutils-gold-2.42.50-11.fc41.x86_64 132/155 Installing : binutils-2.42.50-11.fc41.x86_64 133/155 Running scriptlet: binutils-2.42.50-11.fc41.x86_64 133/155 Installing : gdb-minimal-14.2-9.fc41.x86_64 134/155 Installing : elfutils-0.191-7.fc41.x86_64 135/155 Installing : debugedit-5.0-16.fc41.x86_64 136/155 Installing : curl-8.8.0-1.fc41.x86_64 137/155 Installing : rpm-sequoia-1.6.0-3.fc41.x86_64 138/155 Installing : rpm-libs-4.19.91-4.fc41.x86_64 139/155 Running scriptlet: rpm-4.19.91-4.fc41.x86_64 140/155 Installing : rpm-4.19.91-4.fc41.x86_64 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.x86_64 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.x86_64 151/155 Installing : pyproject-srpm-macros-1.12.0-1.fc40.noarch 152/155 Installing : util-linux-2.40.1-1.fc41.x86_64 153/155 Running scriptlet: util-linux-2.40.1-1.fc41.x86_64 153/155 Installing : which-2.21-41.fc40.x86_64 154/155 Installing : info-7.1-2.fc40.x86_64 155/155 Running scriptlet: filesystem-3.18-9.fc41.x86_64 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.x86_64 155/155 Running scriptlet: rpm-4.19.91-4.fc41.x86_64 155/155 Running scriptlet: info-7.1-2.fc40.x86_64 155/155 Installed: add-determinism-nopython-0.2.0-9.fc41.x86_64 alternatives-1.27-1.fc41.x86_64 ansible-srpm-macros-1-15.fc41.noarch audit-libs-4.0.1-2.fc41.x86_64 authselect-1.5.0-5.fc41.x86_64 authselect-libs-1.5.0-5.fc41.x86_64 basesystem-11-20.fc40.noarch bash-5.2.26-3.fc40.x86_64 binutils-2.42.50-11.fc41.x86_64 binutils-gold-2.42.50-11.fc41.x86_64 build-reproducibility-srpm-macros-0.2.0-9.fc41.noarch bzip2-1.0.8-18.fc40.x86_64 bzip2-libs-1.0.8-18.fc40.x86_64 ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch coreutils-9.5-1.fc41.x86_64 coreutils-common-9.5-1.fc41.x86_64 cpio-2.15-1.fc40.x86_64 cracklib-2.9.11-5.fc40.x86_64 crypto-policies-20240521-1.gitf71d135.fc41.noarch curl-8.8.0-1.fc41.x86_64 cyrus-sasl-lib-2.1.28-22.fc41.x86_64 debugedit-5.0-16.fc41.x86_64 diffutils-3.10-5.fc40.x86_64 dwz-0.15-6.fc40.x86_64 ed-1.20.2-1.fc41.x86_64 efi-srpm-macros-5-11.fc40.noarch elfutils-0.191-7.fc41.x86_64 elfutils-debuginfod-client-0.191-7.fc41.x86_64 elfutils-default-yama-scope-0.191-7.fc41.noarch elfutils-libelf-0.191-7.fc41.x86_64 elfutils-libs-0.191-7.fc41.x86_64 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.x86_64 file-libs-5.45-5.fc41.x86_64 filesystem-3.18-9.fc41.x86_64 findutils-1:4.9.0-8.fc40.x86_64 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.x86_64 gdb-minimal-14.2-9.fc41.x86_64 gdbm-1:1.23-6.fc40.x86_64 gdbm-libs-1:1.23-6.fc40.x86_64 ghc-srpm-macros-1.9.1-1.fc41.noarch glibc-2.39.9000-18.fc41.x86_64 glibc-common-2.39.9000-18.fc41.x86_64 glibc-gconv-extra-2.39.9000-18.fc41.x86_64 glibc-minimal-langpack-2.39.9000-18.fc41.x86_64 gmp-1:6.3.0-1.fc41.x86_64 gnat-srpm-macros-6-5.fc40.noarch go-srpm-macros-3.6.0-1.fc41.noarch grep-3.11-8.fc41.x86_64 gzip-1.13-1.fc40.x86_64 info-7.1-2.fc40.x86_64 jansson-2.13.1-9.fc40.x86_64 kernel-srpm-macros-1.0-23.fc41.noarch keyutils-libs-1.6.3-3.fc40.x86_64 krb5-libs-1.21.2-5.fc40.x86_64 libacl-2.3.2-1.fc40.x86_64 libarchive-3.7.4-1.fc41.x86_64 libattr-2.5.2-3.fc40.x86_64 libblkid-2.40.1-1.fc41.x86_64 libbrotli-1.1.0-3.fc40.x86_64 libcap-2.70-1.fc41.x86_64 libcap-ng-0.8.5-1.fc41.x86_64 libcom_err-1.47.0-5.fc40.x86_64 libcurl-8.8.0-1.fc41.x86_64 libeconf-0.6.2-2.fc41.x86_64 libevent-2.1.12-13.fc41.x86_64 libfdisk-2.40.1-1.fc41.x86_64 libffi-3.4.6-1.fc41.x86_64 libgcc-14.1.1-4.fc41.x86_64 libgomp-14.1.1-4.fc41.x86_64 libidn2-2.3.7-1.fc40.x86_64 libmount-2.40.1-1.fc41.x86_64 libnghttp2-1.62.0-1.fc41.x86_64 libnsl2-2.0.1-1.fc40.x86_64 libpkgconf-2.1.1-1.fc41.x86_64 libpsl-0.21.5-3.fc40.x86_64 libpwquality-1.4.5-9.fc40.x86_64 libselinux-3.6-4.fc40.x86_64 libsemanage-3.6-3.fc40.x86_64 libsepol-3.6-3.fc40.x86_64 libsmartcols-2.40.1-1.fc41.x86_64 libssh-0.10.6-6.fc41.x86_64 libssh-config-0.10.6-6.fc41.noarch libstdc++-14.1.1-4.fc41.x86_64 libtasn1-4.19.0-6.fc40.x86_64 libtirpc-1.3.4-1.rc3.fc41.x86_64 libtool-ltdl-2.4.7-10.fc40.x86_64 libunistring-1.1-7.fc41.x86_64 libutempter-1.2.1-13.fc40.x86_64 libuuid-2.40.1-1.fc41.x86_64 libverto-0.3.2-8.fc40.x86_64 libxcrypt-4.4.36-5.fc40.x86_64 libxml2-2.12.7-1.fc41.x86_64 libzstd-1.5.6-1.fc41.x86_64 lua-libs-5.4.6-5.fc40.x86_64 lua-srpm-macros-1-13.fc40.noarch lz4-libs-1.9.4-6.fc40.x86_64 mpfr-4.2.1-4.fc41.x86_64 ncurses-base-6.4-12.20240127.fc40.noarch ncurses-libs-6.4-12.20240127.fc40.x86_64 ocaml-srpm-macros-9-3.fc40.noarch openblas-srpm-macros-2-17.fc41.noarch openldap-2.6.8-1.fc41.x86_64 openssl-libs-1:3.2.1-6.fc41.x86_64 p11-kit-0.25.3-4.fc40.x86_64 p11-kit-trust-0.25.3-4.fc40.x86_64 package-notes-srpm-macros-0.5-11.fc40.noarch pam-1.6.1-3.fc41.x86_64 pam-libs-1.6.1-3.fc41.x86_64 patch-2.7.6-24.fc40.x86_64 pcre2-10.43-2.fc41.1.x86_64 pcre2-syntax-10.43-2.fc41.1.noarch perl-srpm-macros-1-53.fc40.noarch pkgconf-2.1.1-1.fc41.x86_64 pkgconf-m4-2.1.1-1.fc41.noarch pkgconf-pkg-config-2.1.1-1.fc41.x86_64 popt-1.19-6.fc40.x86_64 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.x86_64 redhat-rpm-config-291-1.fc41.noarch rpm-4.19.91-4.fc41.x86_64 rpm-build-4.19.91-4.fc41.x86_64 rpm-build-libs-4.19.91-4.fc41.x86_64 rpm-libs-4.19.91-4.fc41.x86_64 rpm-sequoia-1.6.0-3.fc41.x86_64 rust-srpm-macros-26.3-1.fc41.noarch sed-4.9-1.fc40.x86_64 setup-2.14.6-1.fc41.noarch shadow-utils-2:4.15.1-5.fc41.x86_64 sqlite-libs-3.45.3-1.fc41.x86_64 systemd-libs-256~rc3-3.fc41.x86_64 tar-2:1.35-3.fc40.x86_64 unzip-6.0-63.fc40.x86_64 util-linux-2.40.1-1.fc41.x86_64 util-linux-core-2.40.1-1.fc41.x86_64 which-2.21-41.fc40.x86_64 xxhash-libs-0.8.2-2.fc40.x86_64 xz-1:5.4.6-3.fc41.x86_64 xz-libs-1:5.4.6-3.fc41.x86_64 zig-srpm-macros-1-2.fc40.noarch zip-3.0-40.fc40.x86_64 zlib-ng-compat-2.1.6-4.fc41.x86_64 zstd-1.5.6-1.fc41.x86_64 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.x86_64 alternatives-1.27-1.fc41.x86_64 ansible-srpm-macros-1-15.fc41.noarch audit-libs-4.0.1-2.fc41.x86_64 authselect-1.5.0-5.fc41.x86_64 authselect-libs-1.5.0-5.fc41.x86_64 basesystem-11-20.fc40.noarch bash-5.2.26-3.fc40.x86_64 binutils-2.42.50-11.fc41.x86_64 binutils-gold-2.42.50-11.fc41.x86_64 build-reproducibility-srpm-macros-0.2.0-9.fc41.noarch bzip2-1.0.8-18.fc40.x86_64 bzip2-libs-1.0.8-18.fc40.x86_64 ca-certificates-2023.2.62_v7.0.401-6.fc40.noarch coreutils-9.5-1.fc41.x86_64 coreutils-common-9.5-1.fc41.x86_64 cpio-2.15-1.fc40.x86_64 cracklib-2.9.11-5.fc40.x86_64 crypto-policies-20240521-1.gitf71d135.fc41.noarch curl-8.8.0-1.fc41.x86_64 cyrus-sasl-lib-2.1.28-22.fc41.x86_64 debugedit-5.0-16.fc41.x86_64 diffutils-3.10-5.fc40.x86_64 dwz-0.15-6.fc40.x86_64 ed-1.20.2-1.fc41.x86_64 efi-srpm-macros-5-11.fc40.noarch elfutils-0.191-7.fc41.x86_64 elfutils-debuginfod-client-0.191-7.fc41.x86_64 elfutils-default-yama-scope-0.191-7.fc41.noarch elfutils-libelf-0.191-7.fc41.x86_64 elfutils-libs-0.191-7.fc41.x86_64 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.x86_64 file-libs-5.45-5.fc41.x86_64 filesystem-3.18-9.fc41.x86_64 findutils-4.9.0-8.fc40.x86_64 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.x86_64 gdb-minimal-14.2-9.fc41.x86_64 gdbm-1.23-6.fc40.x86_64 gdbm-libs-1.23-6.fc40.x86_64 ghc-srpm-macros-1.9.1-1.fc41.noarch glibc-2.39.9000-18.fc41.x86_64 glibc-common-2.39.9000-18.fc41.x86_64 glibc-gconv-extra-2.39.9000-18.fc41.x86_64 glibc-minimal-langpack-2.39.9000-18.fc41.x86_64 gmp-6.3.0-1.fc41.x86_64 gnat-srpm-macros-6-5.fc40.noarch go-srpm-macros-3.6.0-1.fc41.noarch grep-3.11-8.fc41.x86_64 gzip-1.13-1.fc40.x86_64 info-7.1-2.fc40.x86_64 jansson-2.13.1-9.fc40.x86_64 kernel-srpm-macros-1.0-23.fc41.noarch keyutils-libs-1.6.3-3.fc40.x86_64 krb5-libs-1.21.2-5.fc40.x86_64 libacl-2.3.2-1.fc40.x86_64 libarchive-3.7.4-1.fc41.x86_64 libattr-2.5.2-3.fc40.x86_64 libblkid-2.40.1-1.fc41.x86_64 libbrotli-1.1.0-3.fc40.x86_64 libcap-2.70-1.fc41.x86_64 libcap-ng-0.8.5-1.fc41.x86_64 libcom_err-1.47.0-5.fc40.x86_64 libcurl-8.8.0-1.fc41.x86_64 libeconf-0.6.2-2.fc41.x86_64 libevent-2.1.12-13.fc41.x86_64 libfdisk-2.40.1-1.fc41.x86_64 libffi-3.4.6-1.fc41.x86_64 libgcc-14.1.1-4.fc41.x86_64 libgomp-14.1.1-4.fc41.x86_64 libidn2-2.3.7-1.fc40.x86_64 libmount-2.40.1-1.fc41.x86_64 libnghttp2-1.62.0-1.fc41.x86_64 libnsl2-2.0.1-1.fc40.x86_64 libpkgconf-2.1.1-1.fc41.x86_64 libpsl-0.21.5-3.fc40.x86_64 libpwquality-1.4.5-9.fc40.x86_64 libselinux-3.6-4.fc40.x86_64 libsemanage-3.6-3.fc40.x86_64 libsepol-3.6-3.fc40.x86_64 libsmartcols-2.40.1-1.fc41.x86_64 libssh-0.10.6-6.fc41.x86_64 libssh-config-0.10.6-6.fc41.noarch libstdc++-14.1.1-4.fc41.x86_64 libtasn1-4.19.0-6.fc40.x86_64 libtirpc-1.3.4-1.rc3.fc41.x86_64 libtool-ltdl-2.4.7-10.fc40.x86_64 libunistring-1.1-7.fc41.x86_64 libutempter-1.2.1-13.fc40.x86_64 libuuid-2.40.1-1.fc41.x86_64 libverto-0.3.2-8.fc40.x86_64 libxcrypt-4.4.36-5.fc40.x86_64 libxml2-2.12.7-1.fc41.x86_64 libzstd-1.5.6-1.fc41.x86_64 lua-libs-5.4.6-5.fc40.x86_64 lua-srpm-macros-1-13.fc40.noarch lz4-libs-1.9.4-6.fc40.x86_64 mpfr-4.2.1-4.fc41.x86_64 ncurses-base-6.4-12.20240127.fc40.noarch ncurses-libs-6.4-12.20240127.fc40.x86_64 ocaml-srpm-macros-9-3.fc40.noarch openblas-srpm-macros-2-17.fc41.noarch openldap-2.6.8-1.fc41.x86_64 openssl-libs-3.2.1-6.fc41.x86_64 p11-kit-0.25.3-4.fc40.x86_64 p11-kit-trust-0.25.3-4.fc40.x86_64 package-notes-srpm-macros-0.5-11.fc40.noarch pam-1.6.1-3.fc41.x86_64 pam-libs-1.6.1-3.fc41.x86_64 patch-2.7.6-24.fc40.x86_64 pcre2-10.43-2.fc41.1.x86_64 pcre2-syntax-10.43-2.fc41.1.noarch perl-srpm-macros-1-53.fc40.noarch pkgconf-2.1.1-1.fc41.x86_64 pkgconf-m4-2.1.1-1.fc41.noarch pkgconf-pkg-config-2.1.1-1.fc41.x86_64 popt-1.19-6.fc40.x86_64 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.x86_64 redhat-rpm-config-291-1.fc41.noarch rpm-4.19.91-4.fc41.x86_64 rpm-build-4.19.91-4.fc41.x86_64 rpm-build-libs-4.19.91-4.fc41.x86_64 rpm-libs-4.19.91-4.fc41.x86_64 rpm-sequoia-1.6.0-3.fc41.x86_64 rust-srpm-macros-26.3-1.fc41.noarch sed-4.9-1.fc40.x86_64 setup-2.14.6-1.fc41.noarch shadow-utils-4.15.1-5.fc41.x86_64 sqlite-libs-3.45.3-1.fc41.x86_64 systemd-libs-256~rc3-3.fc41.x86_64 tar-1.35-3.fc40.x86_64 unzip-6.0-63.fc40.x86_64 util-linux-2.40.1-1.fc41.x86_64 util-linux-core-2.40.1-1.fc41.x86_64 which-2.21-41.fc40.x86_64 xxhash-libs-0.8.2-2.fc40.x86_64 xz-5.4.6-3.fc41.x86_64 xz-libs-5.4.6-3.fc41.x86_64 zig-srpm-macros-1-2.fc40.noarch zip-3.0-40.fc40.x86_64 zlib-ng-compat-2.1.6-4.fc41.x86_64 zstd-1.5.6-1.fc41.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 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-x86_64-1717061401.720084/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-x86_64-1717061401.720084/root/var/log/dnf.log /var/lib/mock/fedora-39-x86_64-1717061401.720084/root/var/log/dnf.librepo.log /var/lib/mock/fedora-39-x86_64-1717061401.720084/root/var/log/dnf.rpm.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-vra2e5bu/gappalib-coq/gappalib-coq.spec) Config(child) 2 minutes 29 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-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-39-x86_64-bootstrap-1717061401.720084/root. INFO: reusing tmpfs at /var/lib/mock/fedora-39-x86_64-bootstrap-1717061401.720084/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-x86_64-1717061401.720084/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.x86_64 rpm-sequoia-1.6.0-1.fc39.x86_64 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.x86_64 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: x86_64 Building for target x86_64 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 41 kB/s | 1.5 kB 00:00 Additional repo http_kojipkgs_fedoraproject_org 50 kB/s | 3.8 kB 00:00 Additional repo http_kojipkgs_fedoraproject_org 41 MB/s | 75 MB 00:01 fedora 956 kB/s | 24 kB 00:00 updates 812 kB/s | 21 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 x86_64 8.18.0-5.fc41 copr_base 24 M flocq x86_64 4.1.4-2.fc41 copr_base 3.5 M gappa x86_64 1.4.2-3.fc40 copr_base 280 k gcc-c++ x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 M ocaml x86_64 5.1.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 31 M ocaml-findlib x86_64 1.9.6-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 987 k ocaml-zarith-devel x86_64 1.13-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 385 k remake x86_64 0.14-10.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 68 k Installing dependencies: add-determinism x86_64 0.2.0-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 907 k annobin-docs noarch 12.54-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 90 k annobin-plugin-gcc x86_64 12.54-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 965 k coq-core x86_64 8.18.0-5.fc41 copr_base 222 M cpp x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 12 M csdp x86_64 6.2.0-27.20181018git0dcf187.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 306 k csdp-tools x86_64 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 x86_64 2.6.2-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 113 k flexiblas x86_64 3.4.2-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 k flexiblas-netlib x86_64 3.4.2-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 3.2 M flexiblas-openblas-openmp x86_64 3.4.2-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 18 k gc x86_64 8.2.2-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 110 k gcc x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 37 M gcc-plugin-annobin x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 51 k glibc-devel x86_64 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 122 k glibc-headers-x86 noarch 2.39.9000-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 542 k gmp-c++ x86_64 1:6.3.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 19 k gmp-devel x86_64 1:6.3.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 174 k groff-base x86_64 1.23.0-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M guile30 x86_64 3.0.9-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.2 M kernel-headers x86_64 6.10.0-0.rc1.17.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.5 M libb2 x86_64 0.98.1-11.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 k libgfortran x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 934 k libmpc x86_64 1.3.1-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 71 k libquadmath x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 198 k libstdc++-devel x86_64 14.1.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.6 M libxcrypt-devel x86_64 4.4.36-5.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k libzstd-devel x86_64 1.5.6-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 52 k m4 x86_64 1.4.19-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 298 k make x86_64 1:4.4.1-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 580 k mpdecimal x86_64 2.5.1-9.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 89 k ncurses x86_64 6.4-12.20240127.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 416 k ocaml-runtime x86_64 5.1.1-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 3.2 M ocaml-zarith x86_64 1.13-6.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 157 k openblas x86_64 0.3.26-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 39 k openblas-openmp x86_64 0.3.26-4.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 5.1 M perl-AutoLoader noarch 5.74-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k perl-B x86_64 1.88-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 176 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 x86_64 2.188-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 56 k perl-Digest noarch 1.20-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 25 k perl-Digest-MD5 x86_64 2.59-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 36 k perl-DynaLoader x86_64 1.54-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 26 k perl-Encode x86_64 4:3.21-505.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.0 M perl-Errno x86_64 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 x86_64 1.15-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 20 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 x86_64 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 x86_64 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 x86_64 1.94-3.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 366 k perl-POSIX x86_64 2.13-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 96 k perl-PathTools x86_64 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 x86_64 5:1.63-503.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 73 k perl-SelectSaver noarch 1.02-507.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 12 k perl-Socket x86_64 4:2.038-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 55 k perl-Storable x86_64 1:3.32-502.fc40 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 98 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 x86_64 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 x86_64 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 x86_64 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 x86_64 3.12.3-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 27 k python3-libs x86_64 3.12.3-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.8 M texlive-base x86_64 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 111 Packages Total download size: 396 M Installed size: 1.3 G Downloading Packages: (1/111): flocq-4.1.4-2.fc41.x86_64.rpm 5.5 MB/s | 3.5 MB 00:00 (2/111): gappa-1.4.2-3.fc40.x86_64.rpm 737 kB/s | 280 kB 00:00 (3/111): add-determinism-0.2.0-9.fc41.x86_64.rp 7.6 MB/s | 907 kB 00:00 (4/111): annobin-docs-12.54-2.fc41.noarch.rpm 4.1 MB/s | 90 kB 00:00 (5/111): annobin-plugin-gcc-12.54-2.fc41.x86_64 28 MB/s | 965 kB 00:00 (6/111): autoconf-2.72-2.fc41.noarch.rpm 24 MB/s | 817 kB 00:00 (7/111): cpp-14.1.1-4.fc41.x86_64.rpm 52 MB/s | 12 MB 00:00 (8/111): csdp-6.2.0-27.20181018git0dcf187.fc41. 11 MB/s | 306 kB 00:00 (9/111): csdp-tools-6.2.0-27.20181018git0dcf187 1.3 MB/s | 30 kB 00:00 (10/111): emacs-filesystem-30.0-2.fc41.noarch.r 331 kB/s | 7.1 kB 00:00 (11/111): expat-2.6.2-1.fc41.x86_64.rpm 4.8 MB/s | 113 kB 00:00 (12/111): flexiblas-3.4.2-1.fc41.x86_64.rpm 1.1 MB/s | 25 kB 00:00 (13/111): flexiblas-netlib-3.4.2-1.fc41.x86_64. 42 MB/s | 3.2 MB 00:00 (14/111): flexiblas-openblas-openmp-3.4.2-1.fc4 793 kB/s | 18 kB 00:00 (15/111): gc-8.2.2-6.fc40.x86_64.rpm 5.0 MB/s | 110 kB 00:00 (16/111): coq-8.18.0-5.fc41.x86_64.rpm 11 MB/s | 24 MB 00:02 (17/111): gcc-14.1.1-4.fc41.x86_64.rpm 53 MB/s | 37 MB 00:00 (18/111): gcc-plugin-annobin-14.1.1-4.fc41.x86_ 2.0 MB/s | 51 kB 00:00 (19/111): glibc-devel-2.39.9000-18.fc41.x86_64. 4.9 MB/s | 122 kB 00:00 (20/111): glibc-headers-x86-2.39.9000-18.fc41.n 8.4 MB/s | 542 kB 00:00 (21/111): gmp-c++-6.3.0-1.fc41.x86_64.rpm 584 kB/s | 19 kB 00:00 (22/111): gmp-devel-6.3.0-1.fc41.x86_64.rpm 5.8 MB/s | 174 kB 00:00 (23/111): groff-base-1.23.0-6.fc40.x86_64.rpm 5.7 MB/s | 1.1 MB 00:00 (24/111): guile30-3.0.9-1.fc41.x86_64.rpm 5.7 MB/s | 8.2 MB 00:01 (25/111): coq-core-8.18.0-5.fc41.x86_64.rpm 48 MB/s | 222 MB 00:04 (26/111): kernel-headers-6.10.0-0.rc1.17.fc41.x 3.2 MB/s | 1.5 MB 00:00 (27/111): libb2-0.98.1-11.fc40.x86_64.rpm 299 kB/s | 25 kB 00:00 (28/111): libmpc-1.3.1-5.fc40.x86_64.rpm 2.0 MB/s | 71 kB 00:00 (29/111): libquadmath-14.1.1-4.fc41.x86_64.rpm 5.7 MB/s | 198 kB 00:00 (30/111): libgfortran-14.1.1-4.fc41.x86_64.rpm 6.3 MB/s | 934 kB 00:00 (31/111): libxcrypt-devel-4.4.36-5.fc40.x86_64. 551 kB/s | 29 kB 00:00 (32/111): libstdc++-devel-14.1.1-4.fc41.x86_64. 22 MB/s | 2.6 MB 00:00 (33/111): libzstd-devel-1.5.6-1.fc41.x86_64.rpm 1.6 MB/s | 52 kB 00:00 (34/111): m4-1.4.19-9.fc40.x86_64.rpm 9.8 MB/s | 298 kB 00:00 (35/111): mpdecimal-2.5.1-9.fc40.x86_64.rpm 3.2 MB/s | 89 kB 00:00 (36/111): ncurses-6.4-12.20240127.fc40.x86_64.r 15 MB/s | 416 kB 00:00 (37/111): make-4.4.1-6.fc40.x86_64.rpm 6.5 MB/s | 580 kB 00:00 (38/111): ocaml-findlib-1.9.6-11.fc40.x86_64.rp 2.4 MB/s | 987 kB 00:00 (39/111): gcc-c++-14.1.1-4.fc41.x86_64.rpm 4.0 MB/s | 14 MB 00:03 (40/111): ocaml-zarith-1.13-6.fc40.x86_64.rpm 1.7 MB/s | 157 kB 00:00 (41/111): ocaml-zarith-devel-1.13-6.fc40.x86_64 3.4 MB/s | 385 kB 00:00 (42/111): openblas-0.3.26-4.fc40.x86_64.rpm 1.5 MB/s | 39 kB 00:00 (43/111): ocaml-5.1.1-4.fc40.x86_64.rpm 28 MB/s | 31 MB 00:01 (44/111): ocaml-runtime-5.1.1-4.fc40.x86_64.rpm 4.4 MB/s | 3.2 MB 00:00 (45/111): perl-AutoLoader-5.74-507.fc41.noarch. 653 kB/s | 21 kB 00:00 (46/111): perl-Carp-1.54-502.fc40.noarch.rpm 855 kB/s | 29 kB 00:00 (47/111): perl-B-1.88-507.fc41.x86_64.rpm 3.8 MB/s | 176 kB 00:00 (48/111): perl-Class-Struct-0.68-507.fc41.noarc 1.0 MB/s | 22 kB 00:00 (49/111): perl-Data-Dumper-2.188-503.fc40.x86_6 2.5 MB/s | 56 kB 00:00 (50/111): perl-Digest-1.20-502.fc40.noarch.rpm 1.2 MB/s | 25 kB 00:00 (51/111): perl-Digest-MD5-2.59-3.fc40.x86_64.rp 1.6 MB/s | 36 kB 00:00 (52/111): perl-DynaLoader-1.54-507.fc41.x86_64. 1.1 MB/s | 26 kB 00:00 (53/111): perl-Errno-1.37-507.fc41.x86_64.rpm 746 kB/s | 15 kB 00:00 (54/111): perl-Exporter-5.78-3.fc40.noarch.rpm 1.4 MB/s | 31 kB 00:00 (55/111): perl-Fcntl-1.15-507.fc41.x86_64.rpm 1.0 MB/s | 20 kB 00:00 (56/111): perl-File-Basename-2.86-507.fc41.noar 857 kB/s | 17 kB 00:00 (57/111): perl-File-Compare-1.100.700-507.fc41. 610 kB/s | 13 kB 00:00 (58/111): perl-Encode-3.21-505.fc41.x86_64.rpm 8.3 MB/s | 1.0 MB 00:00 (59/111): perl-File-Copy-2.41-507.fc41.noarch.r 900 kB/s | 20 kB 00:00 (60/111): perl-File-Find-1.43-507.fc41.noarch.r 1.2 MB/s | 25 kB 00:00 (61/111): perl-File-Path-2.18-503.fc40.noarch.r 1.7 MB/s | 35 kB 00:00 (62/111): perl-File-Temp-0.231.100-503.fc40.noa 2.6 MB/s | 59 kB 00:00 (63/111): perl-File-stat-1.13-507.fc41.noarch.r 846 kB/s | 17 kB 00:00 (64/111): perl-FileHandle-2.05-507.fc41.noarch. 751 kB/s | 16 kB 00:00 (65/111): perl-Getopt-Long-2.57-4.fc41.noarch.r 3.1 MB/s | 63 kB 00:00 (66/111): perl-Getopt-Std-1.13-507.fc41.noarch. 788 kB/s | 16 kB 00:00 (67/111): perl-HTTP-Tiny-0.088-5.fc40.noarch.rp 2.6 MB/s | 56 kB 00:00 (68/111): perl-IO-1.52-507.fc41.x86_64.rpm 3.7 MB/s | 78 kB 00:00 (69/111): perl-IO-Socket-IP-0.42-2.fc40.noarch. 1.7 MB/s | 42 kB 00:00 (70/111): perl-IO-Socket-SSL-2.085-1.fc40.noarc 9.7 MB/s | 225 kB 00:00 (71/111): perl-IPC-Open3-1.22-507.fc41.noarch.r 1.1 MB/s | 22 kB 00:00 (72/111): perl-MIME-Base64-3.16-503.fc40.x86_64 1.5 MB/s | 30 kB 00:00 (73/111): perl-Mozilla-CA-20240313-1.fc41.noarc 717 kB/s | 14 kB 00:00 (74/111): perl-Net-SSLeay-1.94-3.fc40.x86_64.rp 15 MB/s | 366 kB 00:00 (75/111): perl-POSIX-2.13-507.fc41.x86_64.rpm 2.9 MB/s | 96 kB 00:00 (76/111): perl-PathTools-3.89-502.fc40.x86_64.r 3.7 MB/s | 83 kB 00:00 (77/111): perl-Pod-Escapes-1.07-503.fc40.noarch 695 kB/s | 20 kB 00:00 (78/111): perl-Pod-Perldoc-3.28.01-503.fc40.noa 2.8 MB/s | 79 kB 00:00 (79/111): openblas-openmp-0.3.26-4.fc40.x86_64. 8.3 MB/s | 5.1 MB 00:00 (80/111): perl-Pod-Usage-2.03-504.fc41.noarch.r 1.1 MB/s | 40 kB 00:00 (81/111): perl-Pod-Simple-3.45-6.fc40.noarch.rp 3.8 MB/s | 209 kB 00:00 (82/111): perl-Scalar-List-Utils-1.63-503.fc40. 2.6 MB/s | 73 kB 00:00 (83/111): perl-SelectSaver-1.02-507.fc41.noarch 438 kB/s | 12 kB 00:00 (84/111): perl-Socket-2.038-1.fc41.x86_64.rpm 2.2 MB/s | 55 kB 00:00 (85/111): perl-Storable-3.32-502.fc40.x86_64.rp 4.0 MB/s | 98 kB 00:00 (86/111): perl-Symbol-1.09-507.fc41.noarch.rpm 537 kB/s | 14 kB 00:00 (87/111): perl-Term-ANSIColor-5.01-504.fc40.noa 2.2 MB/s | 48 kB 00:00 (88/111): perl-Term-Cap-1.18-503.fc40.noarch.rp 1.0 MB/s | 22 kB 00:00 (89/111): perl-Text-ParseWords-3.31-502.fc40.no 780 kB/s | 16 kB 00:00 (90/111): perl-Text-Tabs+Wrap-2024.001-1.fc41.n 956 kB/s | 22 kB 00:00 (91/111): perl-Time-Local-1.350-5.fc40.noarch.r 1.4 MB/s | 34 kB 00:00 (92/111): perl-URI-5.28-1.fc41.noarch.rpm 4.8 MB/s | 120 kB 00:00 (93/111): perl-base-2.27-507.fc41.noarch.rpm 640 kB/s | 16 kB 00:00 (94/111): perl-constant-1.33-503.fc40.noarch.rp 757 kB/s | 23 kB 00:00 (95/111): perl-if-0.61.000-507.fc41.noarch.rpm 552 kB/s | 14 kB 00:00 (96/111): perl-interpreter-5.38.2-507.fc41.x86_ 2.5 MB/s | 72 kB 00:00 (97/111): perl-libnet-3.15-503.fc40.noarch.rpm 3.3 MB/s | 122 kB 00:00 (98/111): perl-locale-1.10-507.fc41.noarch.rpm 552 kB/s | 14 kB 00:00 (99/111): perl-mro-1.28-507.fc41.x86_64.rpm 468 kB/s | 29 kB 00:00 (100/111): perl-overload-1.37-507.fc41.noarch.r 696 kB/s | 46 kB 00:00 (101/111): perl-overloading-0.02-507.fc41.noarc 224 kB/s | 13 kB 00:00 (102/111): perl-parent-0.241-502.fc40.noarch.rp 241 kB/s | 15 kB 00:00 (103/111): perl-podlators-5.01-502.fc40.noarch. 2.9 MB/s | 121 kB 00:00 (104/111): perl-vars-1.05-507.fc41.noarch.rpm 350 kB/s | 13 kB 00:00 (105/111): python3-3.12.3-2.fc41.x86_64.rpm 1.0 MB/s | 27 kB 00:00 (106/111): perl-libs-5.38.2-507.fc41.x86_64.rpm 6.4 MB/s | 2.2 MB 00:00 (107/111): remake-0.14-10.fc40.x86_64.rpm 2.2 MB/s | 68 kB 00:00 (108/111): python-pip-wheel-24.0-2.fc41.noarch. 6.5 MB/s | 1.5 MB 00:00 (109/111): tzdata-2024a-8.fc41.noarch.rpm 5.8 MB/s | 431 kB 00:00 (110/111): python3-libs-3.12.3-2.fc41.x86_64.rp 30 MB/s | 8.8 MB 00:00 (111/111): texlive-base-20230311-84.fc41.x86_64 10 MB/s | 2.6 MB 00:00 -------------------------------------------------------------------------------- Total 54 MB/s | 396 MB 00:07 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: texlive-base-11:20230311-84.fc41.x86_64 1/1 Preparing : 1/1 Installing : ocaml-runtime-5.1.1-4.fc40.x86_64 1/111 Installing : libmpc-1.3.1-5.fc40.x86_64 2/111 Installing : libgfortran-14.1.1-4.fc41.x86_64 3/111 Installing : cpp-14.1.1-4.fc41.x86_64 4/111 Installing : tzdata-2024a-8.fc41.noarch 5/111 Running scriptlet: texlive-base-11:20230311-84.fc41.x86_64 6/111 Installing : texlive-base-11:20230311-84.fc41.x86_64 6/111 Installing : python-pip-wheel-24.0-2.fc41.noarch 7/111 Installing : openblas-0.3.26-4.fc40.x86_64 8/111 Installing : openblas-openmp-0.3.26-4.fc40.x86_64 9/111 Installing : ncurses-6.4-12.20240127.fc40.x86_64 10/111 Installing : mpdecimal-2.5.1-9.fc40.x86_64 11/111 Installing : m4-1.4.19-9.fc40.x86_64 12/111 Installing : libzstd-devel-1.5.6-1.fc41.x86_64 13/111 Installing : libstdc++-devel-14.1.1-4.fc41.x86_64 14/111 Installing : libquadmath-14.1.1-4.fc41.x86_64 15/111 Installing : flexiblas-netlib-3.4.2-1.fc41.x86_64 16/111 Installing : flexiblas-openblas-openmp-3.4.2-1.fc41.x86_64 17/111 Installing : flexiblas-3.4.2-1.fc41.x86_64 18/111 Installing : csdp-6.2.0-27.20181018git0dcf187.fc41.x86_64 19/111 Installing : csdp-tools-6.2.0-27.20181018git0dcf187.fc41.x86_ 20/111 Installing : libb2-0.98.1-11.fc40.x86_64 21/111 Installing : kernel-headers-6.10.0-0.rc1.17.fc41.x86_64 22/111 Running scriptlet: groff-base-1.23.0-6.fc40.x86_64 23/111 Installing : groff-base-1.23.0-6.fc40.x86_64 23/111 Running scriptlet: groff-base-1.23.0-6.fc40.x86_64 23/111 Installing : perl-Digest-1.20-502.fc40.noarch 24/111 Installing : perl-Digest-MD5-2.59-3.fc40.x86_64 25/111 Installing : perl-B-1.88-507.fc41.x86_64 26/111 Installing : perl-FileHandle-2.05-507.fc41.noarch 27/111 Installing : perl-Data-Dumper-2.188-503.fc40.x86_64 28/111 Installing : perl-libnet-3.15-503.fc40.noarch 29/111 Installing : perl-AutoLoader-5.74-507.fc41.noarch 30/111 Installing : perl-URI-5.28-1.fc41.noarch 31/111 Installing : perl-Text-Tabs+Wrap-2024.001-1.fc41.noarch 32/111 Installing : perl-Mozilla-CA-20240313-1.fc41.noarch 33/111 Installing : perl-if-0.61.000-507.fc41.noarch 34/111 Installing : perl-locale-1.10-507.fc41.noarch 35/111 Installing : perl-IO-Socket-IP-0.42-2.fc40.noarch 36/111 Installing : perl-Time-Local-2:1.350-5.fc40.noarch 37/111 Installing : perl-File-Path-2.18-503.fc40.noarch 38/111 Installing : perl-IO-Socket-SSL-2.085-1.fc40.noarch 39/111 Installing : perl-Net-SSLeay-1.94-3.fc40.x86_64 40/111 Installing : perl-Pod-Escapes-1:1.07-503.fc40.noarch 41/111 Installing : perl-Class-Struct-0.68-507.fc41.noarch 42/111 Installing : perl-Term-ANSIColor-5.01-504.fc40.noarch 43/111 Installing : perl-POSIX-2.13-507.fc41.x86_64 44/111 Installing : perl-IPC-Open3-1.22-507.fc41.noarch 45/111 Installing : perl-File-Temp-1:0.231.100-503.fc40.noarch 46/111 Installing : perl-HTTP-Tiny-0.088-5.fc40.noarch 47/111 Installing : perl-Term-Cap-1.18-503.fc40.noarch 48/111 Installing : perl-Pod-Simple-1:3.45-6.fc40.noarch 49/111 Installing : perl-Socket-4:2.038-1.fc41.x86_64 50/111 Installing : perl-SelectSaver-1.02-507.fc41.noarch 51/111 Installing : perl-Symbol-1.09-507.fc41.noarch 52/111 Installing : perl-File-stat-1.13-507.fc41.noarch 53/111 Installing : perl-podlators-1:5.01-502.fc40.noarch 54/111 Installing : perl-Pod-Perldoc-3.28.01-503.fc40.noarch 55/111 Installing : perl-Fcntl-1.15-507.fc41.x86_64 56/111 Installing : perl-Text-ParseWords-3.31-502.fc40.noarch 57/111 Installing : perl-base-2.27-507.fc41.noarch 58/111 Installing : perl-mro-1.28-507.fc41.x86_64 59/111 Installing : perl-IO-1.52-507.fc41.x86_64 60/111 Installing : perl-overloading-0.02-507.fc41.noarch 61/111 Installing : perl-Pod-Usage-4:2.03-504.fc41.noarch 62/111 Installing : perl-Errno-1.37-507.fc41.x86_64 63/111 Installing : perl-File-Basename-2.86-507.fc41.noarch 64/111 Installing : perl-Getopt-Std-1.13-507.fc41.noarch 65/111 Installing : perl-MIME-Base64-3.16-503.fc40.x86_64 66/111 Installing : perl-Scalar-List-Utils-5:1.63-503.fc40.x86_64 67/111 Installing : perl-constant-1.33-503.fc40.noarch 68/111 Installing : perl-Storable-1:3.32-502.fc40.x86_64 69/111 Installing : perl-overload-1.37-507.fc41.noarch 70/111 Installing : perl-parent-1:0.241-502.fc40.noarch 71/111 Installing : perl-vars-1.05-507.fc41.noarch 72/111 Installing : perl-Getopt-Long-1:2.57-4.fc41.noarch 73/111 Installing : perl-Carp-1.54-502.fc40.noarch 74/111 Installing : perl-Exporter-5.78-3.fc40.noarch 75/111 Installing : perl-PathTools-3.89-502.fc40.x86_64 76/111 Installing : perl-DynaLoader-1.54-507.fc41.x86_64 77/111 Installing : perl-Encode-4:3.21-505.fc41.x86_64 78/111 Installing : perl-libs-4:5.38.2-507.fc41.x86_64 79/111 Installing : perl-interpreter-4:5.38.2-507.fc41.x86_64 80/111 Installing : perl-File-Compare-1.100.700-507.fc41.noarch 81/111 Installing : perl-File-Copy-2.41-507.fc41.noarch 82/111 Installing : perl-File-Find-1.43-507.fc41.noarch 83/111 Installing : gmp-c++-1:6.3.0-1.fc41.x86_64 84/111 Installing : gmp-devel-1:6.3.0-1.fc41.x86_64 85/111 Installing : glibc-headers-x86-2.39.9000-18.fc41.noarch 86/111 Installing : libxcrypt-devel-4.4.36-5.fc40.x86_64 87/111 Installing : glibc-devel-2.39.9000-18.fc41.x86_64 88/111 Installing : gc-8.2.2-6.fc40.x86_64 89/111 Installing : guile30-3.0.9-1.fc41.x86_64 90/111 Installing : make-1:4.4.1-6.fc40.x86_64 91/111 Installing : gcc-14.1.1-4.fc41.x86_64 92/111 Running scriptlet: gcc-14.1.1-4.fc41.x86_64 92/111 Installing : ocaml-5.1.1-4.fc40.x86_64 93/111 Installing : ocaml-findlib-1.9.6-11.fc40.x86_64 94/111 Installing : ocaml-zarith-1.13-6.fc40.x86_64 95/111 Installing : ocaml-zarith-devel-1.13-6.fc40.x86_64 96/111 Installing : expat-2.6.2-1.fc41.x86_64 97/111 Installing : python3-3.12.3-2.fc41.x86_64 98/111 Installing : python3-libs-3.12.3-2.fc41.x86_64 99/111 Installing : coq-core-8.18.0-5.fc41.x86_64 100/111 Installing : coq-8.18.0-5.fc41.x86_64 101/111 Installing : emacs-filesystem-1:30.0-2.fc41.noarch 102/111 Installing : annobin-docs-12.54-2.fc41.noarch 103/111 Installing : annobin-plugin-gcc-12.54-2.fc41.x86_64 104/111 Running scriptlet: annobin-plugin-gcc-12.54-2.fc41.x86_64 104/111 Installing : autoconf-2.72-2.fc41.noarch 105/111 Installing : flocq-4.1.4-2.fc41.x86_64 106/111 Installing : add-determinism-0.2.0-9.fc41.x86_64 107/111 Installing : gcc-c++-14.1.1-4.fc41.x86_64 108/111 Installing : gcc-plugin-annobin-14.1.1-4.fc41.x86_64 109/111 Running scriptlet: gcc-plugin-annobin-14.1.1-4.fc41.x86_64 109/111 Installing : remake-0.14-10.fc40.x86_64 110/111 Installing : gappa-1.4.2-3.fc40.x86_64 111/111 Running scriptlet: texlive-base-11:20230311-84.fc41.x86_64 111/111 Running scriptlet: gappa-1.4.2-3.fc40.x86_64 111/111 Installed: add-determinism-0.2.0-9.fc41.x86_64 annobin-docs-12.54-2.fc41.noarch annobin-plugin-gcc-12.54-2.fc41.x86_64 autoconf-2.72-2.fc41.noarch coq-8.18.0-5.fc41.x86_64 coq-core-8.18.0-5.fc41.x86_64 cpp-14.1.1-4.fc41.x86_64 csdp-6.2.0-27.20181018git0dcf187.fc41.x86_64 csdp-tools-6.2.0-27.20181018git0dcf187.fc41.x86_64 emacs-filesystem-1:30.0-2.fc41.noarch expat-2.6.2-1.fc41.x86_64 flexiblas-3.4.2-1.fc41.x86_64 flexiblas-netlib-3.4.2-1.fc41.x86_64 flexiblas-openblas-openmp-3.4.2-1.fc41.x86_64 flocq-4.1.4-2.fc41.x86_64 gappa-1.4.2-3.fc40.x86_64 gc-8.2.2-6.fc40.x86_64 gcc-14.1.1-4.fc41.x86_64 gcc-c++-14.1.1-4.fc41.x86_64 gcc-plugin-annobin-14.1.1-4.fc41.x86_64 glibc-devel-2.39.9000-18.fc41.x86_64 glibc-headers-x86-2.39.9000-18.fc41.noarch gmp-c++-1:6.3.0-1.fc41.x86_64 gmp-devel-1:6.3.0-1.fc41.x86_64 groff-base-1.23.0-6.fc40.x86_64 guile30-3.0.9-1.fc41.x86_64 kernel-headers-6.10.0-0.rc1.17.fc41.x86_64 libb2-0.98.1-11.fc40.x86_64 libgfortran-14.1.1-4.fc41.x86_64 libmpc-1.3.1-5.fc40.x86_64 libquadmath-14.1.1-4.fc41.x86_64 libstdc++-devel-14.1.1-4.fc41.x86_64 libxcrypt-devel-4.4.36-5.fc40.x86_64 libzstd-devel-1.5.6-1.fc41.x86_64 m4-1.4.19-9.fc40.x86_64 make-1:4.4.1-6.fc40.x86_64 mpdecimal-2.5.1-9.fc40.x86_64 ncurses-6.4-12.20240127.fc40.x86_64 ocaml-5.1.1-4.fc40.x86_64 ocaml-findlib-1.9.6-11.fc40.x86_64 ocaml-runtime-5.1.1-4.fc40.x86_64 ocaml-zarith-1.13-6.fc40.x86_64 ocaml-zarith-devel-1.13-6.fc40.x86_64 openblas-0.3.26-4.fc40.x86_64 openblas-openmp-0.3.26-4.fc40.x86_64 perl-AutoLoader-5.74-507.fc41.noarch perl-B-1.88-507.fc41.x86_64 perl-Carp-1.54-502.fc40.noarch perl-Class-Struct-0.68-507.fc41.noarch perl-Data-Dumper-2.188-503.fc40.x86_64 perl-Digest-1.20-502.fc40.noarch perl-Digest-MD5-2.59-3.fc40.x86_64 perl-DynaLoader-1.54-507.fc41.x86_64 perl-Encode-4:3.21-505.fc41.x86_64 perl-Errno-1.37-507.fc41.x86_64 perl-Exporter-5.78-3.fc40.noarch perl-Fcntl-1.15-507.fc41.x86_64 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.x86_64 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.x86_64 perl-Mozilla-CA-20240313-1.fc41.noarch perl-Net-SSLeay-1.94-3.fc40.x86_64 perl-POSIX-2.13-507.fc41.x86_64 perl-PathTools-3.89-502.fc40.x86_64 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.x86_64 perl-SelectSaver-1.02-507.fc41.noarch perl-Socket-4:2.038-1.fc41.x86_64 perl-Storable-1:3.32-502.fc40.x86_64 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.x86_64 perl-libnet-3.15-503.fc40.noarch perl-libs-4:5.38.2-507.fc41.x86_64 perl-locale-1.10-507.fc41.noarch perl-mro-1.28-507.fc41.x86_64 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.x86_64 python3-libs-3.12.3-2.fc41.x86_64 remake-0.14-10.fc40.x86_64 texlive-base-11:20230311-84.fc41.x86_64 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: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1717027200 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.JiBLZv + 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.iqKU0b + 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.sjTTWu + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd 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/cc0UPrmV.o: in function `main': remake.cpp:(.text.startup+0xe3a): warning: the use of `tempnam' is dangerous, better use `mkstemp' === Summary === Vernacular directory /usr/lib64/ocaml/coq/user-contrib Plugin directory /usr/lib64/ocaml/coq-gappa Plugin compilation native bytecode configure: creating ./config.status config.status: creating Remakefile + rm -f remake + ln -s /usr/bin/remake remake + remake -d -j2 Building src/Gappa_common.vo Building src/Gappa_decimal.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_decimal.v | ./remake -r src/Gappa_decimal.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_common.v | ./remake -r src/Gappa_common.vo Building src/Gappa_definitions.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_definitions.v | ./remake -r src/Gappa_definitions.vo Building src/Gappa_dyadic.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_dyadic.v | ./remake -r src/Gappa_dyadic.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_definitions.v Building src/Gappa_real.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_real.v | ./remake -r src/Gappa_real.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_real.v 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] Finished src/Gappa_definitions.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] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_real.v", line 349, characters 15-31: Warning: Notation Ropp_inv_permute is deprecated since 8.16. Use Rinv_opp. [deprecated-syntactic-definition-since-8.16,deprecated-since-8.16,deprecated-syntactic-definition,deprecated,default] /usr/bin/coqc -q -R src Gappa -I src src/Gappa_dyadic.v Finished src/Gappa_real.vo Building src/Gappa_fixed.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_fixed.v | ./remake -r src/Gappa_fixed.vo Building src/Gappa_pred_bnd.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_bnd.v | ./remake -r src/Gappa_pred_bnd.vo Building src/Gappa_round.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round.v | ./remake -r src/Gappa_round.vo Building src/Gappa_round_aux.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_aux.v | ./remake -r src/Gappa_round_aux.vo Building src/Gappa_round_def.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_round_def.v | ./remake -r src/Gappa_round_def.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_def.v Finished src/Gappa_dyadic.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round_aux.v Finished src/Gappa_round_def.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_common.v Finished src/Gappa_round_aux.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_round.v Finished src/Gappa_common.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_decimal.v Finished src/Gappa_round.vo Building src/Gappa_float.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_float.v | ./remake -r src/Gappa_float.vo Building src/Gappa_library.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_library.v | ./remake -r src/Gappa_library.vo Building src/Gappa_pred_abs.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_abs.v | ./remake -r src/Gappa_pred_abs.vo Building src/Gappa_pred_nzr.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_nzr.v | ./remake -r src/Gappa_pred_nzr.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_nzr.v Finished src/Gappa_decimal.vo Building src/Gappa_pred_fixflt.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_fixflt.v | ./remake -r src/Gappa_pred_fixflt.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_fixflt.v Finished src/Gappa_pred_nzr.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_abs.v File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_pred_fixflt.v", line 323, characters 11-18: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_pred_fixflt.vo Building src/Gappa_pred_rel.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_pred_rel.v | ./remake -r src/Gappa_pred_rel.vo 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 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] /usr/bin/coqc -q -R src Gappa -I src src/Gappa_rewriting.v Finished src/Gappa_pred_abs.vo Building src/Gappa_tree.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_tree.v | ./remake -r src/Gappa_tree.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_tree.v Finished src/Gappa_rewriting.vo Building src/Gappa_user.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_user.v | ./remake -r src/Gappa_user.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_bnd.v Finished src/Gappa_tree.vo Building src/Gappa_obfuscate.vo /usr/bin/coqdep -m src/META.coq-gappa -R src Gappa -I src src/Gappa_obfuscate.v | ./remake -r src/Gappa_obfuscate.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_obfuscate.v Finished src/Gappa_obfuscate.vo Building src/Gappa_tactic_loader.v gcc -E -DCOQVERSION=81800 -P src/Gappa_tactic_loader.c -o src/Gappa_tactic_loader.v Finished src/Gappa_tactic_loader.v Building src/Gappa_tactic.vo /usr/bin/coqdep -R src Gappa -I src src/Gappa_tactic.v | ./remake -r src/Gappa_tactic.vo Building src/gappatac.ml gcc -E -DCOQVERSION=81800 src/gappatac.c -o src/gappatac.ml Finished src/gappatac.ml Building src/gappatac.cmxs /usr/bin/ocamlfind ocamlopt -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -shared src/gappatac.ml -o src/gappatac.cmxs File "src/gappatac.c", line 139, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 844, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 847, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 879, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 902, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 905, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. Finished src/Gappa_pred_bnd.vo Building src/gappatac.cmo /usr/bin/ocamlfind ocamlc -g -rectypes -thread -package coq-core.clib -package coq-core.engine -package coq-core.kernel -package coq-core.interp -package coq-core.lib -package coq-core.library -package coq-core.parsing -package coq-core.pretyping -package coq-core.printing -package coq-core.proofs -package coq-core.tactics -package coq-core.toplevel -package coq-core.vernac -package coq-core.plugins.ltac -package zarith -c src/gappatac.ml -o src/gappatac.cmo File "src/gappatac.c", line 139, characters 37-61: Alert deprecated: Coqlib.gen_reference_in_modules Please use Coqlib.lib_ref File "src/gappatac.c", line 844, characters 6-23: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 847, characters 2-19: Alert deprecated: Dumpglob.continue Use pop_output File "src/gappatac.c", line 879, characters 14-27: Alert deprecated: EConstr.decompose_lam Use [decompose_lambda] instead. File "src/gappatac.c", line 902, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. File "src/gappatac.c", line 905, characters 20-36: Warning 20 [ignored-extra-argument]: this argument will not be used by the function. Finished src/gappatac.cmo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_user.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 /usr/bin/coqc -q -R src Gappa -I src src/Gappa_pred_rel.v Finished src/Gappa_user.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_float.v Finished src/Gappa_pred_rel.vo /usr/bin/coqc -q -R src Gappa -I src src/Gappa_fixed.v File "./src/Gappa_float.v", line 304, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 304, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 352, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] File "./src/Gappa_float.v", line 352, characters 16-23: Warning: Notation IZR_neq is deprecated since 8.19. Use eq_IZR_contrapositive. [deprecated-syntactic-definition-since-8.19,deprecated-since-8.19,deprecated-syntactic-definition,deprecated,default] Finished src/Gappa_float.vo Finished src/Gappa_fixed.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.Hfo8Qh + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + '[' /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT ++ dirname /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build + mkdir /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + mkdir -p /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + DESTDIR=/builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT + remake install Building install Finished install + cp -p src/Gappa_common.v src/Gappa_decimal.v src/Gappa_definitions.v src/Gappa_dyadic.v src/Gappa_fixed.v src/Gappa_float.v src/Gappa_library.v src/Gappa_obfuscate.v src/Gappa_pred_abs.v src/Gappa_pred_bnd.v src/Gappa_pred_fixflt.v src/Gappa_pred_nzr.v src/Gappa_pred_rel.v src/Gappa_real.v src/Gappa_rewriting.v src/Gappa_round.v src/Gappa_round_aux.v src/Gappa_round_def.v src/Gappa_tactic.v src/Gappa_tactic_loader.v src/Gappa_tree.v src/Gappa_user.v /builddir/build/BUILD/gappalib-coq-1.5.5-build/BUILDROOT/usr/lib64/ocaml/coq/user-contrib/Gappa + /usr/bin/find-debuginfo -j2 --strict-build-id -m -i --build-id-seed 1.5.5-2.fc41 --unique-debug-suffix -1.5.5-2.fc41.x86_64 --unique-debug-src-base gappalib-coq-1.5.5-2.fc41.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 -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.x86_64 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 -j2 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j2 /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! Reading /builddir/build/BUILD/gappalib-coq-1.5.5-build/SPECPARTS/rpm-debuginfo.specpart Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.3d0Rdh + umask 022 + cd /builddir/build/BUILD/gappalib-coq-1.5.5-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -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,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd coq-gappalib-coq-1.5.5-32cf6128ef2c57c3daee75945b46aa5ae2225b80 + remake check Building testsuite/check Finished testsuite/check Building check Finished check Processing files: gappalib-coq-1.5.5-2.fc41.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.G8cuad + RPM_EC=0 ++ jobs -p + exit 0 + 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.rRJvZ9 + 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(x86-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.x86_64 Provides: gappalib-coq-source = 1.5.5-2.fc41 gappalib-coq-source(x86-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.x86_64 Provides: gappalib-coq-debugsource = 1.5.5-2.fc41 gappalib-coq-debugsource(x86-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.x86_64 Provides: debuginfo(build-id) = 2ef6cbc278317ab9e91a4e836e9dff044738b6a0 gappalib-coq-debuginfo = 1.5.5-2.fc41 gappalib-coq-debuginfo(x86-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(x86-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-source-1.5.5-2.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debuginfo-1.5.5-2.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-debugsource-1.5.5-2.fc41.x86_64.rpm Wrote: /builddir/build/RPMS/gappalib-coq-1.5.5-2.fc41.x86_64.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.UlGoHt + 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-x86_64-1717061401.720084/root/var/log/dnf.log /var/lib/mock/fedora-39-x86_64-1717061401.720084/root/var/log/dnf.librepo.log /var/lib/mock/fedora-39-x86_64-1717061401.720084/root/var/log/dnf.rpm.log INFO: Done(/var/lib/copr-rpmbuild/results/gappalib-coq-1.5.5-2.fc41.src.rpm) Config(child) 1 minutes 22 seconds INFO: Results and/or logs in: /var/lib/copr-rpmbuild/results INFO: Cleaning up build root ('cleanup_on_success=True') Start: clean chroot INFO: unmounting tmpfs. Finish: clean chroot Finish: run Running RPMResults tool Package info: { "packages": [ { "name": "gappalib-coq", "epoch": null, "version": "1.5.5", "release": "2.fc41", "arch": "x86_64" }, { "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": "x86_64" }, { "name": "gappalib-coq-source", "epoch": null, "version": "1.5.5", "release": "2.fc41", "arch": "x86_64" }, { "name": "gappalib-coq-debuginfo", "epoch": null, "version": "1.5.5", "release": "2.fc41", "arch": "x86_64" } ] } RPMResults finished