Warning: Permanently added '98.91.215.6' (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/10303618-epel-9-x86_64 --chroot epel-9-x86_64 Version: 1.6 PID: 15713 Logging PID: 15715 Task: {'allow_user_ssh': False, 'appstream': False, 'background': True, 'build_id': 10303618, 'buildroot_pkgs': [], 'chroot': 'epel-9-x86_64', 'enable_net': False, 'fedora_review': False, 'git_hash': 'a9f49cf60de2d981855f8481cc35295eb9cc82a6', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/@copr/PyPI/python-certora-cli-alpha-master', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'python-certora-cli-alpha-master', 'package_version': '20260409.2.12.645071-1', 'project_dirname': 'PyPI', 'project_name': 'PyPI', 'project_owner': '@copr', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/@copr/PyPI/epel-9-x86_64/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}], 'sandbox': '@copr/PyPI--ksurma', 'source_json': {}, 'source_type': None, 'ssh_public_keys': None, 'storage': 0, 'submitter': 'ksurma', 'tags': [], 'task_id': '10303618-epel-9-x86_64', 'timeout': 18000, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/@copr/PyPI/python-certora-cli-alpha-master /var/lib/copr-rpmbuild/workspace/workdir-kibxr9r6/python-certora-cli-alpha-master --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/@copr/PyPI/python-certora-cli-alpha-master', '/var/lib/copr-rpmbuild/workspace/workdir-kibxr9r6/python-certora-cli-alpha-master', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-kibxr9r6/python-certora-cli-alpha-master'... Running: git checkout a9f49cf60de2d981855f8481cc35295eb9cc82a6 -- cmd: ['git', 'checkout', 'a9f49cf60de2d981855f8481cc35295eb9cc82a6', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-kibxr9r6/python-certora-cli-alpha-master rc: 0 stdout: stderr: Note: switching to 'a9f49cf60de2d981855f8481cc35295eb9cc82a6'. 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 a9f49cf automatic import of python-certora-cli-alpha-master Running: dist-git-client sources cmd: ['dist-git-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-kibxr9r6/python-certora-cli-alpha-master 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 certora_cli_alpha_master-20260409.2.12.645071.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -H 'Accept-Encoding: identity' -o certora_cli_alpha_master-20260409.2.12.645071.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/@copr/PyPI/python-certora-cli-alpha-master/certora_cli_alpha_master-20260409.2.12.645071.tar.gz/md5/9c7c4b599c6cf88e439b50a33e201411/certora_cli_alpha_master-20260409.2.12.645071.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 41.1M 100 41.1M 0 0 266M 0 --:--:-- --:--:-- --:--:-- 265M INFO: Reading stdout from command: md5sum certora_cli_alpha_master-20260409.2.12.645071.tar.gz tail: /var/lib/copr-rpmbuild/main.log: file truncated Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-kibxr9r6/python-certora-cli-alpha-master/python-certora-cli-alpha-master.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-kibxr9r6/python-certora-cli-alpha-master --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1775704082.002419 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 6.7 starting (python version = 3.14.2, NVR = mock-6.7-1.fc43), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-kibxr9r6/python-certora-cli-alpha-master/python-certora-cli-alpha-master.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-kibxr9r6/python-certora-cli-alpha-master --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1775704082.002419 -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-kibxr9r6/python-certora-cli-alpha-master/python-certora-cli-alpha-master.spec) Config(rhel+epel-9-x86_64) Start: clean chroot Finish: clean chroot Mock Version: 6.7 INFO: Mock Version: 6.7 Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/rhel+epel-9-x86_64-bootstrap-1775704082.002419/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start(bootstrap): cleaning package manager metadata Finish(bootstrap): cleaning package manager metadata INFO: Guessed host environment type: unknown INFO: Using container image: registry.access.redhat.com/ubi9/ubi INFO: Pulling image: registry.access.redhat.com/ubi9/ubi INFO: Tagging container image as mock-bootstrap-7c8e819e-da4c-4539-812f-afe3cffe6a1b INFO: Checking that ee7e53017f1986fb9734917a2ca22d540f5f2359f3bcfaa7193497968228c21c image matches host's architecture INFO: Copy content of container ee7e53017f1986fb9734917a2ca22d540f5f2359f3bcfaa7193497968228c21c to /var/lib/mock/rhel+epel-9-x86_64-bootstrap-1775704082.002419/root INFO: mounting ee7e53017f1986fb9734917a2ca22d540f5f2359f3bcfaa7193497968228c21c with podman image mount INFO: image ee7e53017f1986fb9734917a2ca22d540f5f2359f3bcfaa7193497968228c21c as /var/lib/containers/storage/overlay/97ae2680b771b7373a7288255e069b457175016c1d9c4d2e49306350d9b10da9/merged INFO: umounting image ee7e53017f1986fb9734917a2ca22d540f5f2359f3bcfaa7193497968228c21c (/var/lib/containers/storage/overlay/97ae2680b771b7373a7288255e069b457175016c1d9c4d2e49306350d9b10da9/merged) with podman image umount INFO: Removing image mock-bootstrap-7c8e819e-da4c-4539-812f-afe3cffe6a1b INFO: Package manager dnf4 detected and used (fallback) INFO: Not updating bootstrap chroot, bootstrap_image_ready=True Start(bootstrap): creating root cache Finish(bootstrap): creating root cache Finish(bootstrap): chroot init Start: chroot init INFO: mounting tmpfs at /var/lib/mock/rhel+epel-9-x86_64-1775704082.002419/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 dnf4 detected and used (direct choice) INFO: Buildroot is handled by package management downloaded with a bootstrap image: rpm-4.16.1.3-39.el9.x86_64 python3-dnf-4.14.0-31.el9.noarch python3-dnf-plugins-core-4.3.0-24.el9_7.noarch yum-4.14.0-31.el9.noarch Start: installing minimal buildroot with dnf No matches found for the following disable plugin patterns: local, spacewalk, versionlock Updating Subscription Management repositories. Unable to read consumer identity This system is not registered with an entitlement server. You can use subscription-manager to register. Copr repository 205 MB/s | 68 MB 00:00 Red Hat Enterprise Linux - BaseOS 103 MB/s | 110 MB 00:01 Red Hat Enterprise Linux - AppStream 95 MB/s | 87 MB 00:00 Red Hat Enterprise Linux - CodeReady Linux Buil 27 MB/s | 17 MB 00:00 Extra Packages for Enterprise Linux 9 - x86_64 18 MB/s | 20 MB 00:01 Last metadata expiration check: 0:00:03 ago on Thu Apr 9 03:09:26 2026. Dependencies resolved. ================================================================================ Package Arch Version Repo Size ================================================================================ Installing: bash x86_64 5.1.8-9.el9 baseos 1.7 M bzip2 x86_64 1.0.8-10.el9_5 baseos 60 k coreutils x86_64 8.32-39.el9 baseos 1.2 M cpio x86_64 2.13-16.el9 baseos 279 k diffutils x86_64 3.7-12.el9 baseos 402 k epel-rpm-macros noarch 9-18.el9 epel 15 k findutils x86_64 1:4.8.0-7.el9 baseos 550 k gawk x86_64 5.1.0-6.el9 baseos 1.0 M glibc-minimal-langpack x86_64 2.34-231.el9_7.10 baseos 28 k grep x86_64 3.6-5.el9 baseos 273 k gzip x86_64 1.12-1.el9 baseos 167 k info x86_64 6.7-15.el9 baseos 228 k patch x86_64 2.7.6-16.el9 appstream 130 k redhat-release x86_64 9.7-0.7.el9 baseos 53 k redhat-rpm-config noarch 210-1.el9 appstream 70 k rpm-build x86_64 4.16.1.3-39.el9 appstream 66 k sed x86_64 4.8-9.el9 baseos 309 k tar x86_64 2:1.34-9.el9_7 baseos 885 k unzip x86_64 6.0-59.el9 baseos 182 k util-linux x86_64 2.37.4-21.el9_7 baseos 2.3 M which x86_64 2.21-30.el9_6 baseos 41 k xz x86_64 5.2.5-8.el9_0 baseos 230 k Installing dependencies: R-srpm-macros noarch 1.3.7-1.el9 epel 11 k alternatives x86_64 1.24-2.el9 baseos 42 k ansible-srpm-macros noarch 1-16.el9 epel 21 k audit-libs x86_64 3.1.5-7.el9 baseos 119 k basesystem noarch 11-13.el9 baseos 8.0 k binutils x86_64 2.35.2-67.el9_7.1 baseos 4.6 M binutils-gold x86_64 2.35.2-67.el9_7.1 baseos 734 k bzip2-libs x86_64 1.0.8-10.el9_5 baseos 42 k ca-certificates noarch 2025.2.80_v9.0.305-91.el9 baseos 1.0 M coreutils-common x86_64 8.32-39.el9 baseos 2.0 M cracklib x86_64 2.9.6-27.el9 baseos 99 k cracklib-dicts x86_64 2.9.6-27.el9 baseos 3.6 M crypto-policies noarch 20250905-1.git377cc42.el9_7 baseos 90 k curl x86_64 7.76.1-35.el9_7.3 baseos 292 k cyrus-sasl-lib x86_64 2.1.27-22.el9 baseos 768 k debugedit x86_64 5.0-11.el9 appstream 77 k dwz x86_64 0.16-1.el9 appstream 134 k ed x86_64 1.14.2-12.el9 baseos 78 k efi-srpm-macros noarch 6-4.el9 appstream 21 k elfutils x86_64 0.193-1.el9 baseos 598 k elfutils-debuginfod-client x86_64 0.193-1.el9 baseos 44 k elfutils-default-yama-scope noarch 0.193-1.el9 baseos 9.7 k elfutils-libelf x86_64 0.193-1.el9 baseos 205 k elfutils-libs x86_64 0.193-1.el9 baseos 268 k file x86_64 5.39-16.el9 baseos 52 k file-libs x86_64 5.39-16.el9 baseos 593 k filesystem x86_64 3.16-5.el9 baseos 4.8 M fonts-srpm-macros noarch 1:2.0.5-7.el9.1 appstream 29 k forge-srpm-macros noarch 0.4.0-1.el9 epel 19 k fpc-srpm-macros noarch 1.3-7.el9 epel 7.5 k gdb-minimal x86_64 16.3-2.el9 appstream 4.4 M gdbm-libs x86_64 1:1.23-1.el9 baseos 59 k ghc-srpm-macros noarch 1.5.0-6.el9 appstream 9.0 k ghc-srpm-macros-epel noarch 1.9.1-1.el9 epel 7.5 k glibc x86_64 2.34-231.el9_7.10 baseos 2.0 M glibc-common x86_64 2.34-231.el9_7.10 baseos 312 k glibc-gconv-extra x86_64 2.34-231.el9_7.10 baseos 1.7 M gmp x86_64 1:6.2.0-13.el9 baseos 319 k go-srpm-macros noarch 3.6.0-13.el9_7 appstream 33 k go-srpm-macros-epel noarch 3.8.0-1.el9 epel 26 k groff-base x86_64 1.22.4-10.el9 baseos 1.1 M json-c x86_64 0.14-11.el9 baseos 45 k kernel-srpm-macros noarch 1.0-14.el9 appstream 14 k keyutils-libs x86_64 1.6.3-1.el9 baseos 34 k krb5-libs x86_64 1.21.1-8.el9_6 baseos 766 k libacl x86_64 2.3.1-4.el9 baseos 24 k libarchive x86_64 3.5.3-7.el9_7 baseos 393 k libattr x86_64 2.5.1-3.el9 baseos 20 k libblkid x86_64 2.37.4-21.el9_7 baseos 111 k libbrotli x86_64 1.0.9-9.el9_7 baseos 319 k libcap x86_64 2.48-10.el9 baseos 70 k libcap-ng x86_64 0.8.2-7.el9 baseos 36 k libcom_err x86_64 1.46.5-8.el9 baseos 26 k libcurl x86_64 7.76.1-35.el9_7.3 baseos 283 k libdb x86_64 5.3.28-57.el9_6 baseos 737 k libeconf x86_64 0.4.1-4.el9 baseos 30 k libevent x86_64 2.1.12-8.el9_4 baseos 266 k libfdisk x86_64 2.37.4-21.el9_7 baseos 158 k libffi x86_64 3.4.2-8.el9 baseos 40 k libgcc x86_64 11.5.0-11.el9 baseos 85 k libgcrypt x86_64 1.10.0-11.el9 baseos 510 k libgomp x86_64 11.5.0-11.el9 baseos 257 k libgpg-error x86_64 1.42-5.el9 baseos 220 k libidn2 x86_64 2.3.0-7.el9 baseos 105 k libmount x86_64 2.37.4-21.el9_7 baseos 138 k libnghttp2 x86_64 1.43.0-6.el9 baseos 75 k libpkgconf x86_64 1.7.3-10.el9 baseos 37 k libpsl x86_64 0.21.1-5.el9 baseos 66 k libpwquality x86_64 1.4.4-8.el9 baseos 123 k libselinux x86_64 3.6-3.el9 baseos 88 k libsemanage x86_64 3.6-5.el9_6 baseos 121 k libsepol x86_64 3.6-3.el9 baseos 331 k libsigsegv x86_64 2.13-4.el9 baseos 30 k libsmartcols x86_64 2.37.4-21.el9_7 baseos 67 k libssh x86_64 0.10.4-17.el9_7 baseos 214 k libssh-config noarch 0.10.4-17.el9_7 baseos 8.1 k libstdc++ x86_64 11.5.0-11.el9 baseos 742 k libtasn1 x86_64 4.16.0-9.el9 baseos 77 k libtool-ltdl x86_64 2.4.6-46.el9 baseos 37 k libunistring x86_64 0.9.10-15.el9 baseos 499 k libutempter x86_64 1.2.1-6.el9 baseos 30 k libuuid x86_64 2.37.4-21.el9_7 baseos 32 k libverto x86_64 0.3.2-3.el9 baseos 24 k libxcrypt x86_64 4.4.18-3.el9 baseos 120 k libxml2 x86_64 2.9.13-14.el9_7 baseos 747 k libzstd x86_64 1.5.5-1.el9 baseos 297 k lua-libs x86_64 5.4.4-4.el9 baseos 132 k lua-srpm-macros noarch 1-6.el9 appstream 10 k lz4-libs x86_64 1.9.3-5.el9 baseos 69 k mpfr x86_64 4.1.0-7.el9 baseos 329 k ncurses x86_64 6.2-12.20210508.el9 baseos 406 k ncurses-base noarch 6.2-12.20210508.el9 baseos 96 k ncurses-libs x86_64 6.2-12.20210508.el9 baseos 328 k ocaml-srpm-macros noarch 6-6.el9 appstream 9.1 k openblas-srpm-macros noarch 2-11.el9 appstream 8.6 k openldap x86_64 2.6.8-4.el9 baseos 290 k openssl x86_64 1:3.5.1-7.el9_7 baseos 1.5 M openssl-fips-provider x86_64 3.0.7-8.el9 baseos 9.2 k openssl-fips-provider-so x86_64 3.0.7-8.el9 baseos 576 k openssl-libs x86_64 1:3.5.1-7.el9_7 baseos 2.3 M p11-kit x86_64 0.25.3-3.el9_5 baseos 536 k p11-kit-trust x86_64 0.25.3-3.el9_5 baseos 144 k pam x86_64 1.5.1-26.el9_6 baseos 622 k pcre x86_64 8.44-4.el9 baseos 200 k pcre2 x86_64 10.40-6.el9 baseos 236 k pcre2-syntax noarch 10.40-6.el9 baseos 144 k perl-AutoLoader noarch 5.74-481.1.el9_6 appstream 21 k perl-B x86_64 1.80-481.1.el9_6 appstream 180 k perl-Carp noarch 1.50-460.el9 appstream 31 k perl-Class-Struct noarch 0.66-481.1.el9_6 appstream 22 k perl-Data-Dumper x86_64 2.174-462.el9 appstream 59 k perl-Digest noarch 1.19-4.el9 appstream 29 k perl-Digest-MD5 x86_64 2.58-4.el9 appstream 39 k perl-Encode x86_64 4:3.08-462.el9 appstream 1.7 M perl-Errno x86_64 1.30-481.1.el9_6 appstream 15 k perl-Exporter noarch 5.74-461.el9 appstream 34 k perl-Fcntl x86_64 1.13-481.1.el9_6 appstream 20 k perl-File-Basename noarch 2.85-481.1.el9_6 appstream 17 k perl-File-Path noarch 2.18-4.el9 appstream 38 k perl-File-Temp noarch 1:0.231.100-4.el9 appstream 63 k perl-File-stat noarch 1.09-481.1.el9_6 appstream 17 k perl-FileHandle noarch 2.03-481.1.el9_6 appstream 15 k perl-Getopt-Long noarch 1:2.52-4.el9 appstream 64 k perl-Getopt-Std noarch 1.12-481.1.el9_6 appstream 15 k perl-HTTP-Tiny noarch 0.076-462.el9 appstream 57 k perl-IO x86_64 1.43-481.1.el9_6 appstream 88 k perl-IO-Socket-IP noarch 0.41-5.el9 appstream 45 k perl-IO-Socket-SSL noarch 2.073-2.el9 appstream 221 k perl-IPC-Open3 noarch 1.21-481.1.el9_6 appstream 22 k perl-MIME-Base64 x86_64 3.16-4.el9 appstream 34 k perl-Mozilla-CA noarch 20200520-6.el9 appstream 14 k perl-Net-SSLeay x86_64 1.94-3.el9 appstream 414 k perl-POSIX x86_64 1.94-481.1.el9_6 appstream 96 k perl-PathTools x86_64 3.78-461.el9 appstream 92 k perl-Pod-Escapes noarch 1:1.07-460.el9 appstream 22 k perl-Pod-Perldoc noarch 3.28.01-461.el9 appstream 92 k perl-Pod-Simple noarch 1:3.42-4.el9 appstream 229 k perl-Pod-Usage noarch 4:2.01-4.el9 appstream 43 k perl-Scalar-List-Utils x86_64 4:1.56-462.el9 appstream 75 k perl-SelectSaver noarch 1.02-481.1.el9_6 appstream 11 k perl-Socket x86_64 4:2.031-4.el9 appstream 58 k perl-Storable x86_64 1:3.21-460.el9 appstream 98 k perl-Symbol noarch 1.08-481.1.el9_6 appstream 14 k perl-Term-ANSIColor noarch 5.01-461.el9 appstream 51 k perl-Term-Cap noarch 1.17-460.el9 appstream 24 k perl-Text-ParseWords noarch 3.30-460.el9 appstream 18 k perl-Text-Tabs+Wrap noarch 2013.0523-460.el9 appstream 25 k perl-Time-Local noarch 2:1.300-7.el9 appstream 37 k perl-URI noarch 5.09-3.el9 appstream 125 k perl-base noarch 2.27-481.1.el9_6 appstream 16 k perl-constant noarch 1.33-461.el9 appstream 25 k perl-if noarch 0.60.800-481.1.el9_6 appstream 14 k perl-interpreter x86_64 4:5.32.1-481.1.el9_6 appstream 70 k perl-libnet noarch 3.13-4.el9 appstream 134 k perl-libs x86_64 4:5.32.1-481.1.el9_6 appstream 2.2 M perl-mro x86_64 1.23-481.1.el9_6 appstream 28 k perl-overload noarch 1.31-481.1.el9_6 appstream 45 k perl-overloading noarch 0.02-481.1.el9_6 appstream 12 k perl-parent noarch 1:0.238-460.el9 appstream 16 k perl-podlators noarch 1:4.14-460.el9 appstream 118 k perl-srpm-macros noarch 1-41.el9 appstream 9.4 k perl-subs noarch 1.03-481.1.el9_6 appstream 11 k perl-vars noarch 1.05-481.1.el9_6 appstream 13 k pkgconf x86_64 1.7.3-10.el9 baseos 45 k pkgconf-m4 noarch 1.7.3-10.el9 baseos 16 k pkgconf-pkg-config x86_64 1.7.3-10.el9 baseos 12 k popt x86_64 1.18-8.el9 baseos 69 k publicsuffix-list-dafsa noarch 20210518-3.el9 baseos 59 k pyproject-srpm-macros noarch 1.16.2-1.el9 appstream 14 k python-srpm-macros noarch 3.9-54.el9 appstream 18 k qt5-srpm-macros noarch 5.15.9-1.el9 appstream 9.1 k qt6-srpm-macros noarch 6.6.2-1.el9 epel 8.7 k readline x86_64 8.1-4.el9 baseos 215 k rpm x86_64 4.16.1.3-39.el9 baseos 535 k rpm-build-libs x86_64 4.16.1.3-39.el9 baseos 88 k rpm-libs x86_64 4.16.1.3-39.el9 baseos 307 k rpmautospec-rpm-macros noarch 0.8.4-1.el9 epel 10 k rust-srpm-macros noarch 17-4.el9 appstream 11 k rust-srpm-macros-epel noarch 26.3-1.el9 epel 10 k setup noarch 2.13.7-10.el9 baseos 150 k shadow-utils x86_64 2:4.9-15.el9 baseos 1.2 M sqlite-libs x86_64 3.34.1-9.el9_7 baseos 642 k systemd-libs x86_64 252-55.el9_7.8 baseos 662 k tzdata noarch 2026a-1.el9 baseos 911 k util-linux-core x86_64 2.37.4-21.el9_7 baseos 464 k xz-libs x86_64 5.2.5-8.el9_0 baseos 94 k zip x86_64 3.0-35.el9 baseos 270 k zlib x86_64 1.2.11-40.el9 baseos 93 k zstd x86_64 1.5.5-1.el9 baseos 468 k Transaction Summary ================================================================================ Install 211 Packages Total download size: 70 M Installed size: 222 M Downloading Packages: (1/211): basesystem-11-13.el9.noarch.rpm 54 kB/s | 8.0 kB 00:00 (2/211): cracklib-2.9.6-27.el9.x86_64.rpm 546 kB/s | 99 kB 00:00 (3/211): cpio-2.13-16.el9.x86_64.rpm 1.4 MB/s | 279 kB 00:00 (4/211): ed-1.14.2-12.el9.x86_64.rpm 546 kB/s | 78 kB 00:00 (5/211): grep-3.6-5.el9.x86_64.rpm 2.2 MB/s | 273 kB 00:00 (6/211): json-c-0.14-11.el9.x86_64.rpm 493 kB/s | 45 kB 00:00 (7/211): info-6.7-15.el9.x86_64.rpm 1.8 MB/s | 228 kB 00:00 (8/211): groff-base-1.22.4-10.el9.x86_64.rpm 4.1 MB/s | 1.1 MB 00:00 (9/211): libattr-2.5.1-3.el9.x86_64.rpm 237 kB/s | 20 kB 00:00 (10/211): libcap-ng-0.8.2-7.el9.x86_64.rpm 399 kB/s | 36 kB 00:00 (11/211): libgpg-error-1.42-5.el9.x86_64.rpm 2.3 MB/s | 220 kB 00:00 (12/211): libidn2-2.3.0-7.el9.x86_64.rpm 1.1 MB/s | 105 kB 00:00 (13/211): libpsl-0.21.1-5.el9.x86_64.rpm 732 kB/s | 66 kB 00:00 (14/211): libpwquality-1.4.4-8.el9.x86_64.rpm 1.4 MB/s | 123 kB 00:00 (15/211): libsigsegv-2.13-4.el9.x86_64.rpm 343 kB/s | 30 kB 00:00 (16/211): libunistring-0.9.10-15.el9.x86_64.rpm 4.4 MB/s | 499 kB 00:00 (17/211): libverto-0.3.2-3.el9.x86_64.rpm 229 kB/s | 24 kB 00:00 (18/211): libutempter-1.2.1-6.el9.x86_64.rpm 239 kB/s | 30 kB 00:00 (19/211): libxcrypt-4.4.18-3.el9.x86_64.rpm 1.2 MB/s | 120 kB 00:00 (20/211): lz4-libs-1.9.3-5.el9.x86_64.rpm 720 kB/s | 69 kB 00:00 (21/211): mpfr-4.1.0-7.el9.x86_64.rpm 3.5 MB/s | 329 kB 00:00 (22/211): popt-1.18-8.el9.x86_64.rpm 699 kB/s | 69 kB 00:00 (23/211): publicsuffix-list-dafsa-20210518-3.el 687 kB/s | 59 kB 00:00 (24/211): readline-8.1-4.el9.x86_64.rpm 2.2 MB/s | 215 kB 00:00 (25/211): sed-4.8-9.el9.x86_64.rpm 3.0 MB/s | 309 kB 00:00 (26/211): diffutils-3.7-12.el9.x86_64.rpm 4.3 MB/s | 402 kB 00:00 (27/211): gawk-5.1.0-6.el9.x86_64.rpm 8.9 MB/s | 1.0 MB 00:00 (28/211): cracklib-dicts-2.9.6-27.el9.x86_64.rp 21 MB/s | 3.6 MB 00:00 (29/211): xz-5.2.5-8.el9_0.x86_64.rpm 2.5 MB/s | 230 kB 00:00 (30/211): xz-libs-5.2.5-8.el9_0.x86_64.rpm 1.0 MB/s | 94 kB 00:00 (31/211): gzip-1.12-1.el9.x86_64.rpm 1.9 MB/s | 167 kB 00:00 (32/211): keyutils-libs-1.6.3-1.el9.x86_64.rpm 336 kB/s | 34 kB 00:00 (33/211): libpkgconf-1.7.3-10.el9.x86_64.rpm 422 kB/s | 37 kB 00:00 (34/211): pkgconf-1.7.3-10.el9.x86_64.rpm 511 kB/s | 45 kB 00:00 (35/211): pkgconf-m4-1.7.3-10.el9.noarch.rpm 172 kB/s | 16 kB 00:00 (36/211): zip-3.0-35.el9.x86_64.rpm 3.1 MB/s | 270 kB 00:00 (37/211): pkgconf-pkg-config-1.7.3-10.el9.x86_6 140 kB/s | 12 kB 00:00 (38/211): gmp-6.2.0-13.el9.x86_64.rpm 3.4 MB/s | 319 kB 00:00 (39/211): libffi-3.4.2-8.el9.x86_64.rpm 473 kB/s | 40 kB 00:00 (40/211): lua-libs-5.4.4-4.el9.x86_64.rpm 1.4 MB/s | 132 kB 00:00 (41/211): zlib-1.2.11-40.el9.x86_64.rpm 1.1 MB/s | 93 kB 00:00 (42/211): bash-5.1.8-9.el9.x86_64.rpm 19 MB/s | 1.7 MB 00:00 (43/211): file-5.39-16.el9.x86_64.rpm 590 kB/s | 52 kB 00:00 (44/211): file-libs-5.39-16.el9.x86_64.rpm 5.4 MB/s | 593 kB 00:00 (45/211): libacl-2.3.1-4.el9.x86_64.rpm 277 kB/s | 24 kB 00:00 (46/211): setup-2.13.7-10.el9.noarch.rpm 1.6 MB/s | 150 kB 00:00 (47/211): libevent-2.1.12-8.el9_4.x86_64.rpm 2.7 MB/s | 266 kB 00:00 (48/211): filesystem-3.16-5.el9.x86_64.rpm 43 MB/s | 4.8 MB 00:00 (49/211): findutils-4.8.0-7.el9.x86_64.rpm 4.7 MB/s | 550 kB 00:00 (50/211): gdbm-libs-1.23-1.el9.x86_64.rpm 673 kB/s | 59 kB 00:00 (51/211): libeconf-0.4.1-4.el9.x86_64.rpm 310 kB/s | 30 kB 00:00 (52/211): libgcrypt-1.10.0-11.el9.x86_64.rpm 5.5 MB/s | 510 kB 00:00 (53/211): libnghttp2-1.43.0-6.el9.x86_64.rpm 802 kB/s | 75 kB 00:00 (54/211): pcre2-10.40-6.el9.x86_64.rpm 2.6 MB/s | 236 kB 00:00 (55/211): pcre-8.44-4.el9.x86_64.rpm 1.9 MB/s | 200 kB 00:00 (56/211): pcre2-syntax-10.40-6.el9.noarch.rpm 1.5 MB/s | 144 kB 00:00 (57/211): bzip2-1.0.8-10.el9_5.x86_64.rpm 626 kB/s | 60 kB 00:00 (58/211): bzip2-libs-1.0.8-10.el9_5.x86_64.rpm 461 kB/s | 42 kB 00:00 (59/211): p11-kit-0.25.3-3.el9_5.x86_64.rpm 5.4 MB/s | 536 kB 00:00 (60/211): p11-kit-trust-0.25.3-3.el9_5.x86_64.r 1.5 MB/s | 144 kB 00:00 (61/211): alternatives-1.24-2.el9.x86_64.rpm 431 kB/s | 42 kB 00:00 (62/211): coreutils-8.32-39.el9.x86_64.rpm 11 MB/s | 1.2 MB 00:00 (63/211): libselinux-3.6-3.el9.x86_64.rpm 1.0 MB/s | 88 kB 00:00 (64/211): coreutils-common-8.32-39.el9.x86_64.r 17 MB/s | 2.0 MB 00:00 (65/211): libsemanage-3.6-5.el9_6.x86_64.rpm 1.3 MB/s | 121 kB 00:00 (66/211): libtasn1-4.16.0-9.el9.x86_64.rpm 825 kB/s | 77 kB 00:00 (67/211): libtool-ltdl-2.4.6-46.el9.x86_64.rpm 412 kB/s | 37 kB 00:00 (68/211): libzstd-1.5.5-1.el9.x86_64.rpm 3.3 MB/s | 297 kB 00:00 (69/211): openldap-2.6.8-4.el9.x86_64.rpm 3.3 MB/s | 290 kB 00:00 (70/211): krb5-libs-1.21.1-8.el9_6.x86_64.rpm 8.0 MB/s | 766 kB 00:00 (71/211): zstd-1.5.5-1.el9.x86_64.rpm 2.1 MB/s | 468 kB 00:00 (72/211): elfutils-0.193-1.el9.x86_64.rpm 6.1 MB/s | 598 kB 00:00 (73/211): libdb-5.3.28-57.el9_6.x86_64.rpm 4.2 MB/s | 737 kB 00:00 (74/211): elfutils-libs-0.193-1.el9.x86_64.rpm 2.9 MB/s | 268 kB 00:00 (75/211): libgcc-11.5.0-11.el9.x86_64.rpm 878 kB/s | 85 kB 00:00 (76/211): ncurses-libs-6.2-12.20210508.el9.x86_ 3.6 MB/s | 328 kB 00:00 (77/211): pam-1.5.1-26.el9_6.x86_64.rpm 6.8 MB/s | 622 kB 00:00 (78/211): rpm-build-libs-4.16.1.3-39.el9.x86_64 1.0 MB/s | 88 kB 00:00 (79/211): unzip-6.0-59.el9.x86_64.rpm 2.1 MB/s | 182 kB 00:00 (80/211): which-2.21-30.el9_6.x86_64.rpm 438 kB/s | 41 kB 00:00 (81/211): audit-libs-3.1.5-7.el9.x86_64.rpm 1.2 MB/s | 119 kB 00:00 (82/211): crypto-policies-20250905-1.git377cc42 993 kB/s | 90 kB 00:00 (83/211): cyrus-sasl-lib-2.1.27-22.el9.x86_64.r 7.8 MB/s | 768 kB 00:00 (84/211): elfutils-default-yama-scope-0.193-1.e 103 kB/s | 9.7 kB 00:00 (85/211): elfutils-debuginfod-client-0.193-1.el 444 kB/s | 44 kB 00:00 (86/211): libcap-2.48-10.el9.x86_64.rpm 817 kB/s | 70 kB 00:00 (87/211): elfutils-libelf-0.193-1.el9.x86_64.rp 2.2 MB/s | 205 kB 00:00 (88/211): libcom_err-1.46.5-8.el9.x86_64.rpm 310 kB/s | 26 kB 00:00 (89/211): libgomp-11.5.0-11.el9.x86_64.rpm 2.9 MB/s | 257 kB 00:00 (90/211): libsepol-3.6-3.el9.x86_64.rpm 3.7 MB/s | 331 kB 00:00 (91/211): libstdc++-11.5.0-11.el9.x86_64.rpm 6.7 MB/s | 742 kB 00:00 (92/211): ncurses-6.2-12.20210508.el9.x86_64.rp 4.5 MB/s | 406 kB 00:00 (93/211): ncurses-base-6.2-12.20210508.el9.noar 1.1 MB/s | 96 kB 00:00 (94/211): openssl-fips-provider-3.0.7-8.el9.x86 101 kB/s | 9.2 kB 00:00 (95/211): rpm-4.16.1.3-39.el9.x86_64.rpm 5.9 MB/s | 535 kB 00:00 (96/211): openssl-fips-provider-so-3.0.7-8.el9. 6.0 MB/s | 576 kB 00:00 (97/211): rpm-libs-4.16.1.3-39.el9.x86_64.rpm 3.2 MB/s | 307 kB 00:00 (98/211): redhat-release-9.7-0.7.el9.x86_64.rpm 595 kB/s | 53 kB 00:00 (99/211): sqlite-libs-3.34.1-9.el9_7.x86_64.rpm 6.6 MB/s | 642 kB 00:00 (100/211): shadow-utils-4.9-15.el9.x86_64.rpm 9.1 MB/s | 1.2 MB 00:00 (101/211): ca-certificates-2025.2.80_v9.0.305-9 11 MB/s | 1.0 MB 00:00 (102/211): libxml2-2.9.13-14.el9_7.x86_64.rpm 7.9 MB/s | 747 kB 00:00 (103/211): libssh-0.10.4-17.el9_7.x86_64.rpm 2.2 MB/s | 214 kB 00:00 (104/211): libssh-config-0.10.4-17.el9_7.noarch 79 kB/s | 8.1 kB 00:00 (105/211): binutils-gold-2.35.2-67.el9_7.1.x86_ 7.7 MB/s | 734 kB 00:00 (106/211): binutils-2.35.2-67.el9_7.1.x86_64.rp 35 MB/s | 4.6 MB 00:00 (107/211): tar-1.34-9.el9_7.x86_64.rpm 9.1 MB/s | 885 kB 00:00 (108/211): curl-7.76.1-35.el9_7.3.x86_64.rpm 3.2 MB/s | 292 kB 00:00 (109/211): libcurl-7.76.1-35.el9_7.3.x86_64.rpm 3.1 MB/s | 283 kB 00:00 (110/211): openssl-3.5.1-7.el9_7.x86_64.rpm 16 MB/s | 1.5 MB 00:00 (111/211): openssl-libs-3.5.1-7.el9_7.x86_64.rp 21 MB/s | 2.3 MB 00:00 (112/211): libblkid-2.37.4-21.el9_7.x86_64.rpm 1.2 MB/s | 111 kB 00:00 (113/211): libfdisk-2.37.4-21.el9_7.x86_64.rpm 1.8 MB/s | 158 kB 00:00 (114/211): libmount-2.37.4-21.el9_7.x86_64.rpm 1.6 MB/s | 138 kB 00:00 (115/211): libsmartcols-2.37.4-21.el9_7.x86_64. 723 kB/s | 67 kB 00:00 (116/211): libuuid-2.37.4-21.el9_7.x86_64.rpm 298 kB/s | 32 kB 00:00 (117/211): util-linux-2.37.4-21.el9_7.x86_64.rp 22 MB/s | 2.3 MB 00:00 (118/211): util-linux-core-2.37.4-21.el9_7.x86_ 5.0 MB/s | 464 kB 00:00 (119/211): libbrotli-1.0.9-9.el9_7.x86_64.rpm 3.4 MB/s | 319 kB 00:00 (120/211): glibc-common-2.34-231.el9_7.10.x86_6 3.3 MB/s | 312 kB 00:00 (121/211): glibc-2.34-231.el9_7.10.x86_64.rpm 20 MB/s | 2.0 MB 00:00 (122/211): glibc-gconv-extra-2.34-231.el9_7.10. 18 MB/s | 1.7 MB 00:00 (123/211): glibc-minimal-langpack-2.34-231.el9_ 303 kB/s | 28 kB 00:00 (124/211): tzdata-2026a-1.el9.noarch.rpm 9.6 MB/s | 911 kB 00:00 (125/211): libarchive-3.5.3-7.el9_7.x86_64.rpm 3.9 MB/s | 393 kB 00:00 (126/211): systemd-libs-252-55.el9_7.8.x86_64.r 6.3 MB/s | 662 kB 00:00 (127/211): lua-srpm-macros-1-6.el9.noarch.rpm 108 kB/s | 10 kB 00:00 (128/211): perl-Data-Dumper-2.174-462.el9.x86_6 566 kB/s | 59 kB 00:00 (129/211): ghc-srpm-macros-1.5.0-6.el9.noarch.r 43 kB/s | 9.0 kB 00:00 (130/211): perl-Digest-MD5-2.58-4.el9.x86_64.rp 332 kB/s | 39 kB 00:00 (131/211): perl-Encode-3.08-462.el9.x86_64.rpm 19 MB/s | 1.7 MB 00:00 (132/211): perl-Mozilla-CA-20200520-6.el9.noarc 160 kB/s | 14 kB 00:00 (133/211): perl-Pod-Simple-3.42-4.el9.noarch.rp 2.4 MB/s | 229 kB 00:00 (134/211): perl-Term-Cap-1.17-460.el9.noarch.rp 276 kB/s | 24 kB 00:00 (135/211): perl-Time-Local-1.300-7.el9.noarch.r 375 kB/s | 37 kB 00:00 (136/211): rust-srpm-macros-17-4.el9.noarch.rpm 127 kB/s | 11 kB 00:00 (137/211): perl-Pod-Escapes-1.07-460.el9.noarch 246 kB/s | 22 kB 00:00 (138/211): perl-Storable-3.21-460.el9.x86_64.rp 976 kB/s | 98 kB 00:00 (139/211): perl-podlators-4.14-460.el9.noarch.r 939 kB/s | 118 kB 00:00 (140/211): perl-Exporter-5.74-461.el9.noarch.rp 310 kB/s | 34 kB 00:00 (141/211): perl-File-Temp-0.231.100-4.el9.noarc 703 kB/s | 63 kB 00:00 (142/211): perl-MIME-Base64-3.16-4.el9.x86_64.r 372 kB/s | 34 kB 00:00 (143/211): perl-Text-Tabs+Wrap-2013.0523-460.el 272 kB/s | 25 kB 00:00 (144/211): perl-parent-0.238-460.el9.noarch.rpm 172 kB/s | 16 kB 00:00 (145/211): perl-Getopt-Long-2.52-4.el9.noarch.r 298 kB/s | 64 kB 00:00 (146/211): perl-srpm-macros-1-41.el9.noarch.rpm 83 kB/s | 9.4 kB 00:00 (147/211): openblas-srpm-macros-2-11.el9.noarch 88 kB/s | 8.6 kB 00:00 (148/211): perl-Digest-1.19-4.el9.noarch.rpm 309 kB/s | 29 kB 00:00 (149/211): perl-IO-Socket-IP-0.41-5.el9.noarch. 487 kB/s | 45 kB 00:00 (150/211): perl-Pod-Usage-2.01-4.el9.noarch.rpm 484 kB/s | 43 kB 00:00 (151/211): perl-File-Path-2.18-4.el9.noarch.rpm 189 kB/s | 38 kB 00:00 (152/211): perl-Term-ANSIColor-5.01-461.el9.noa 519 kB/s | 51 kB 00:00 (153/211): perl-Socket-2.031-4.el9.x86_64.rpm 526 kB/s | 58 kB 00:00 (154/211): perl-Text-ParseWords-3.30-460.el9.no 207 kB/s | 18 kB 00:00 (155/211): perl-URI-5.09-3.el9.noarch.rpm 1.3 MB/s | 125 kB 00:00 (156/211): perl-constant-1.33-461.el9.noarch.rp 271 kB/s | 25 kB 00:00 (157/211): fonts-srpm-macros-2.0.5-7.el9.1.noar 339 kB/s | 29 kB 00:00 (158/211): ocaml-srpm-macros-6-6.el9.noarch.rpm 104 kB/s | 9.1 kB 00:00 (159/211): patch-2.7.6-16.el9.x86_64.rpm 1.4 MB/s | 130 kB 00:00 (160/211): perl-Pod-Perldoc-3.28.01-461.el9.noa 1.0 MB/s | 92 kB 00:00 (161/211): perl-libnet-3.13-4.el9.noarch.rpm 1.4 MB/s | 134 kB 00:00 (162/211): perl-Carp-1.50-460.el9.noarch.rpm 336 kB/s | 31 kB 00:00 (163/211): perl-PathTools-3.78-461.el9.x86_64.r 894 kB/s | 92 kB 00:00 (164/211): qt5-srpm-macros-5.15.9-1.el9.noarch. 98 kB/s | 9.1 kB 00:00 (165/211): perl-HTTP-Tiny-0.076-462.el9.noarch. 598 kB/s | 57 kB 00:00 (166/211): python-srpm-macros-3.9-54.el9.noarch 204 kB/s | 18 kB 00:00 (167/211): perl-IO-Socket-SSL-2.073-2.el9.noarc 2.5 MB/s | 221 kB 00:00 (168/211): pyproject-srpm-macros-1.16.2-1.el9.n 147 kB/s | 14 kB 00:00 (169/211): perl-Scalar-List-Utils-1.56-462.el9. 716 kB/s | 75 kB 00:00 (170/211): perl-AutoLoader-5.74-481.1.el9_6.noa 203 kB/s | 21 kB 00:00 (171/211): perl-B-1.80-481.1.el9_6.x86_64.rpm 1.9 MB/s | 180 kB 00:00 (172/211): perl-Class-Struct-0.66-481.1.el9_6.n 225 kB/s | 22 kB 00:00 (173/211): perl-Errno-1.30-481.1.el9_6.x86_64.r 135 kB/s | 15 kB 00:00 (174/211): perl-Fcntl-1.13-481.1.el9_6.x86_64.r 226 kB/s | 20 kB 00:00 (175/211): perl-File-Basename-2.85-481.1.el9_6. 146 kB/s | 17 kB 00:00 (176/211): perl-File-stat-1.09-481.1.el9_6.noar 191 kB/s | 17 kB 00:00 (177/211): perl-FileHandle-2.03-481.1.el9_6.noa 163 kB/s | 15 kB 00:00 (178/211): perl-Getopt-Std-1.12-481.1.el9_6.noa 132 kB/s | 15 kB 00:00 (179/211): perl-IO-1.43-481.1.el9_6.x86_64.rpm 989 kB/s | 88 kB 00:00 (180/211): perl-IPC-Open3-1.21-481.1.el9_6.noar 258 kB/s | 22 kB 00:00 (181/211): perl-POSIX-1.94-481.1.el9_6.x86_64.r 954 kB/s | 96 kB 00:00 (182/211): perl-SelectSaver-1.02-481.1.el9_6.no 126 kB/s | 11 kB 00:00 (183/211): perl-Symbol-1.08-481.1.el9_6.noarch. 148 kB/s | 14 kB 00:00 (184/211): perl-base-2.27-481.1.el9_6.noarch.rp 183 kB/s | 16 kB 00:00 (185/211): perl-if-0.60.800-481.1.el9_6.noarch. 150 kB/s | 14 kB 00:00 (186/211): perl-interpreter-5.32.1-481.1.el9_6. 744 kB/s | 70 kB 00:00 (187/211): perl-mro-1.23-481.1.el9_6.x86_64.rpm 307 kB/s | 28 kB 00:00 (188/211): perl-libs-5.32.1-481.1.el9_6.x86_64. 18 MB/s | 2.2 MB 00:00 (189/211): perl-overload-1.31-481.1.el9_6.noarc 470 kB/s | 45 kB 00:00 (190/211): perl-overloading-0.02-481.1.el9_6.no 142 kB/s | 12 kB 00:00 (191/211): perl-subs-1.03-481.1.el9_6.noarch.rp 123 kB/s | 11 kB 00:00 (192/211): perl-vars-1.05-481.1.el9_6.noarch.rp 110 kB/s | 13 kB 00:00 (193/211): dwz-0.16-1.el9.x86_64.rpm 1.4 MB/s | 134 kB 00:00 (194/211): debugedit-5.0-11.el9.x86_64.rpm 875 kB/s | 77 kB 00:00 (195/211): efi-srpm-macros-6-4.el9.noarch.rpm 242 kB/s | 21 kB 00:00 (196/211): kernel-srpm-macros-1.0-14.el9.noarch 149 kB/s | 14 kB 00:00 (197/211): gdb-minimal-16.3-2.el9.x86_64.rpm 38 MB/s | 4.4 MB 00:00 (198/211): perl-Net-SSLeay-1.94-3.el9.x86_64.rp 4.6 MB/s | 414 kB 00:00 (199/211): redhat-rpm-config-210-1.el9.noarch.r 770 kB/s | 70 kB 00:00 (200/211): go-srpm-macros-3.6.0-13.el9_7.noarch 380 kB/s | 33 kB 00:00 (201/211): rpm-build-4.16.1.3-39.el9.x86_64.rpm 668 kB/s | 66 kB 00:00 (202/211): R-srpm-macros-1.3.7-1.el9.noarch.rpm 53 kB/s | 11 kB 00:00 (203/211): ansible-srpm-macros-1-16.el9.noarch. 69 kB/s | 21 kB 00:00 (204/211): epel-rpm-macros-9-18.el9.noarch.rpm 50 kB/s | 15 kB 00:00 (205/211): forge-srpm-macros-0.4.0-1.el9.noarch 150 kB/s | 19 kB 00:00 (206/211): fpc-srpm-macros-1.3-7.el9.noarch.rpm 76 kB/s | 7.5 kB 00:00 (207/211): ghc-srpm-macros-epel-1.9.1-1.el9.noa 74 kB/s | 7.5 kB 00:00 (208/211): go-srpm-macros-epel-3.8.0-1.el9.noar 182 kB/s | 26 kB 00:00 (209/211): qt6-srpm-macros-6.6.2-1.el9.noarch.r 82 kB/s | 8.7 kB 00:00 (210/211): rpmautospec-rpm-macros-0.8.4-1.el9.n 92 kB/s | 10 kB 00:00 (211/211): rust-srpm-macros-epel-26.3-1.el9.noa 100 kB/s | 10 kB 00:00 -------------------------------------------------------------------------------- Total 9.3 MB/s | 70 MB 00:07 Red Hat Enterprise Linux - BaseOS 3.5 MB/s | 3.6 kB 00:00 Importing GPG key 0xFD431D51: Userid : "Red Hat, Inc. (release key 2) " Fingerprint: 567E 347A D004 4ADE 55BA 8A5F 199E 2F91 FD43 1D51 From : /usr/share/distribution-gpg-keys/redhat/RPM-GPG-KEY-redhat9-release Key imported successfully Importing GPG key 0x5A6340B3: Userid : "Red Hat, Inc. (auxiliary key 3) " Fingerprint: 7E46 2425 8C40 6535 D56D 6F13 5054 E4A4 5A63 40B3 From : /usr/share/distribution-gpg-keys/redhat/RPM-GPG-KEY-redhat9-release Key imported successfully Red Hat Enterprise Linux - BaseOS 16 MB/s | 16 kB 00:00 Extra Packages for Enterprise Linux 9 - x86_64 1.6 MB/s | 1.6 kB 00:00 Importing GPG key 0x3228467C: Userid : "Fedora (epel9) " Fingerprint: FF8A D134 4597 106E CE81 3B91 8A38 72BF 3228 467C From : /usr/share/distribution-gpg-keys/epel/RPM-GPG-KEY-EPEL-9 Key imported successfully Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.16-5.el9.x86_64 1/1 Preparing : 1/1 Installing : rust-srpm-macros-17-4.el9.noarch 1/211 Installing : redhat-release-9.7-0.7.el9.x86_64 2/211 Installing : setup-2.13.7-10.el9.noarch 3/211 warning: /etc/hosts created as /etc/hosts.rpmnew Running scriptlet: setup-2.13.7-10.el9.noarch 3/211 Installing : filesystem-3.16-5.el9.x86_64 4/211 Installing : basesystem-11-13.el9.noarch 5/211 Installing : rust-srpm-macros-epel-26.3-1.el9.noarch 6/211 Installing : qt6-srpm-macros-6.6.2-1.el9.noarch 7/211 Installing : ghc-srpm-macros-epel-1.9.1-1.el9.noarch 8/211 Installing : fpc-srpm-macros-1.3-7.el9.noarch 9/211 Installing : ansible-srpm-macros-1-16.el9.noarch 10/211 Installing : qt5-srpm-macros-5.15.9-1.el9.noarch 11/211 Installing : ocaml-srpm-macros-6-6.el9.noarch 12/211 Installing : openblas-srpm-macros-2-11.el9.noarch 13/211 Installing : perl-srpm-macros-1-41.el9.noarch 14/211 Installing : ghc-srpm-macros-1.5.0-6.el9.noarch 15/211 Installing : tzdata-2026a-1.el9.noarch 16/211 Installing : libssh-config-0.10.4-17.el9_7.noarch 17/211 Installing : ncurses-base-6.2-12.20210508.el9.noarch 18/211 Installing : ncurses-libs-6.2-12.20210508.el9.x86_64 19/211 Installing : bash-5.1.8-9.el9.x86_64 20/211 Running scriptlet: bash-5.1.8-9.el9.x86_64 20/211 Installing : libgcc-11.5.0-11.el9.x86_64 21/211 Running scriptlet: libgcc-11.5.0-11.el9.x86_64 21/211 Installing : glibc-common-2.34-231.el9_7.10.x86_64 22/211 Installing : glibc-gconv-extra-2.34-231.el9_7.10.x86_64 23/211 Running scriptlet: glibc-gconv-extra-2.34-231.el9_7.10.x86_64 23/211 Installing : glibc-minimal-langpack-2.34-231.el9_7.10.x86_64 24/211 Running scriptlet: glibc-2.34-231.el9_7.10.x86_64 25/211 Installing : glibc-2.34-231.el9_7.10.x86_64 25/211 Running scriptlet: glibc-2.34-231.el9_7.10.x86_64 25/211 Installing : zlib-1.2.11-40.el9.x86_64 26/211 Installing : xz-libs-5.2.5-8.el9_0.x86_64 27/211 Installing : bzip2-libs-1.0.8-10.el9_5.x86_64 28/211 Installing : libzstd-1.5.5-1.el9.x86_64 29/211 Installing : elfutils-libelf-0.193-1.el9.x86_64 30/211 Installing : libxcrypt-4.4.18-3.el9.x86_64 31/211 Installing : libstdc++-11.5.0-11.el9.x86_64 32/211 Installing : libuuid-2.37.4-21.el9_7.x86_64 33/211 Installing : libattr-2.5.1-3.el9.x86_64 34/211 Installing : libacl-2.3.1-4.el9.x86_64 35/211 Installing : popt-1.18-8.el9.x86_64 36/211 Installing : gmp-1:6.2.0-13.el9.x86_64 37/211 Installing : libcap-2.48-10.el9.x86_64 38/211 Installing : lz4-libs-1.9.3-5.el9.x86_64 39/211 Installing : readline-8.1-4.el9.x86_64 40/211 Installing : libcom_err-1.46.5-8.el9.x86_64 41/211 Installing : crypto-policies-20250905-1.git377cc42.el9_7.noar 42/211 Running scriptlet: crypto-policies-20250905-1.git377cc42.el9_7.noar 42/211 Installing : mpfr-4.1.0-7.el9.x86_64 43/211 Installing : dwz-0.16-1.el9.x86_64 44/211 Installing : unzip-6.0-59.el9.x86_64 45/211 Installing : file-libs-5.39-16.el9.x86_64 46/211 Installing : file-5.39-16.el9.x86_64 47/211 Installing : sqlite-libs-3.34.1-9.el9_7.x86_64 48/211 Installing : libcap-ng-0.8.2-7.el9.x86_64 49/211 Installing : audit-libs-3.1.5-7.el9.x86_64 50/211 Installing : libsigsegv-2.13-4.el9.x86_64 51/211 Installing : gawk-5.1.0-6.el9.x86_64 52/211 Installing : libunistring-0.9.10-15.el9.x86_64 53/211 Installing : libidn2-2.3.0-7.el9.x86_64 54/211 Installing : libffi-3.4.2-8.el9.x86_64 55/211 Installing : lua-libs-5.4.4-4.el9.x86_64 56/211 Installing : alternatives-1.24-2.el9.x86_64 57/211 Installing : libtasn1-4.16.0-9.el9.x86_64 58/211 Installing : p11-kit-0.25.3-3.el9_5.x86_64 59/211 Installing : libsepol-3.6-3.el9.x86_64 60/211 Installing : libsmartcols-2.37.4-21.el9_7.x86_64 61/211 Installing : p11-kit-trust-0.25.3-3.el9_5.x86_64 62/211 Running scriptlet: p11-kit-trust-0.25.3-3.el9_5.x86_64 62/211 Installing : zip-3.0-35.el9.x86_64 63/211 Installing : zstd-1.5.5-1.el9.x86_64 64/211 Running scriptlet: groff-base-1.22.4-10.el9.x86_64 65/211 Installing : groff-base-1.22.4-10.el9.x86_64 65/211 Running scriptlet: groff-base-1.22.4-10.el9.x86_64 65/211 Installing : bzip2-1.0.8-10.el9_5.x86_64 66/211 Installing : libxml2-2.9.13-14.el9_7.x86_64 67/211 Installing : info-6.7-15.el9.x86_64 68/211 Installing : ed-1.14.2-12.el9.x86_64 69/211 Installing : cpio-2.13-16.el9.x86_64 70/211 Installing : json-c-0.14-11.el9.x86_64 71/211 Installing : libgpg-error-1.42-5.el9.x86_64 72/211 Installing : libgcrypt-1.10.0-11.el9.x86_64 73/211 Installing : libverto-0.3.2-3.el9.x86_64 74/211 Installing : diffutils-3.7-12.el9.x86_64 75/211 Installing : keyutils-libs-1.6.3-1.el9.x86_64 76/211 Installing : libpkgconf-1.7.3-10.el9.x86_64 77/211 Installing : pkgconf-1.7.3-10.el9.x86_64 78/211 Installing : gdbm-libs-1:1.23-1.el9.x86_64 79/211 Installing : libeconf-0.4.1-4.el9.x86_64 80/211 Installing : libnghttp2-1.43.0-6.el9.x86_64 81/211 Installing : pcre-8.44-4.el9.x86_64 82/211 Installing : grep-3.6-5.el9.x86_64 83/211 Installing : xz-5.2.5-8.el9_0.x86_64 84/211 Installing : libtool-ltdl-2.4.6-46.el9.x86_64 85/211 Installing : libdb-5.3.28-57.el9_6.x86_64 86/211 Installing : libgomp-11.5.0-11.el9.x86_64 87/211 Installing : ncurses-6.2-12.20210508.el9.x86_64 88/211 Installing : libbrotli-1.0.9-9.el9_7.x86_64 89/211 Installing : elfutils-default-yama-scope-0.193-1.el9.noarch 90/211 Running scriptlet: elfutils-default-yama-scope-0.193-1.el9.noarch 90/211 Installing : elfutils-libs-0.193-1.el9.x86_64 91/211 Installing : coreutils-common-8.32-39.el9.x86_64 92/211 Installing : pcre2-syntax-10.40-6.el9.noarch 93/211 Installing : pcre2-10.40-6.el9.x86_64 94/211 Installing : libselinux-3.6-3.el9.x86_64 95/211 Installing : sed-4.8-9.el9.x86_64 96/211 Installing : findutils-1:4.8.0-7.el9.x86_64 97/211 Installing : openssl-fips-provider-so-3.0.7-8.el9.x86_64 98/211 Installing : openssl-fips-provider-3.0.7-8.el9.x86_64 99/211 Installing : openssl-libs-1:3.5.1-7.el9_7.x86_64 100/211 Installing : coreutils-8.32-39.el9.x86_64 101/211 Running scriptlet: ca-certificates-2025.2.80_v9.0.305-91.el9.noarch 102/211 Installing : ca-certificates-2025.2.80_v9.0.305-91.el9.noarch 102/211 Running scriptlet: ca-certificates-2025.2.80_v9.0.305-91.el9.noarch 102/211 Installing : libblkid-2.37.4-21.el9_7.x86_64 103/211 Running scriptlet: libblkid-2.37.4-21.el9_7.x86_64 103/211 Installing : krb5-libs-1.21.1-8.el9_6.x86_64 104/211 Installing : libmount-2.37.4-21.el9_7.x86_64 105/211 Installing : gzip-1.12-1.el9.x86_64 106/211 Installing : cracklib-2.9.6-27.el9.x86_64 107/211 Installing : systemd-libs-252-55.el9_7.8.x86_64 108/211 Running scriptlet: systemd-libs-252-55.el9_7.8.x86_64 108/211 Installing : libarchive-3.5.3-7.el9_7.x86_64 109/211 Installing : util-linux-core-2.37.4-21.el9_7.x86_64 110/211 Running scriptlet: util-linux-core-2.37.4-21.el9_7.x86_64 110/211 Installing : cracklib-dicts-2.9.6-27.el9.x86_64 111/211 Installing : cyrus-sasl-lib-2.1.27-22.el9.x86_64 112/211 Installing : libssh-0.10.4-17.el9_7.x86_64 113/211 Installing : libfdisk-2.37.4-21.el9_7.x86_64 114/211 Installing : perl-Digest-1.19-4.el9.noarch 115/211 Installing : perl-Digest-MD5-2.58-4.el9.x86_64 116/211 Installing : perl-B-1.80-481.1.el9_6.x86_64 117/211 Installing : perl-FileHandle-2.03-481.1.el9_6.noarch 118/211 Installing : perl-Data-Dumper-2.174-462.el9.x86_64 119/211 Installing : perl-libnet-3.13-4.el9.noarch 120/211 Installing : perl-AutoLoader-5.74-481.1.el9_6.noarch 121/211 Installing : perl-base-2.27-481.1.el9_6.noarch 122/211 Installing : perl-URI-5.09-3.el9.noarch 123/211 Installing : perl-Time-Local-2:1.300-7.el9.noarch 124/211 Installing : perl-Mozilla-CA-20200520-6.el9.noarch 125/211 Installing : perl-if-0.60.800-481.1.el9_6.noarch 126/211 Installing : perl-IO-Socket-IP-0.41-5.el9.noarch 127/211 Installing : perl-Pod-Escapes-1:1.07-460.el9.noarch 128/211 Installing : perl-Text-Tabs+Wrap-2013.0523-460.el9.noarch 129/211 Installing : perl-File-Path-2.18-4.el9.noarch 130/211 Installing : perl-IO-Socket-SSL-2.073-2.el9.noarch 131/211 Installing : perl-Net-SSLeay-1.94-3.el9.x86_64 132/211 Installing : perl-Term-ANSIColor-5.01-461.el9.noarch 133/211 Installing : perl-Class-Struct-0.66-481.1.el9_6.noarch 134/211 Installing : perl-POSIX-1.94-481.1.el9_6.x86_64 135/211 Installing : perl-IPC-Open3-1.21-481.1.el9_6.noarch 136/211 Installing : perl-subs-1.03-481.1.el9_6.noarch 137/211 Installing : perl-Term-Cap-1.17-460.el9.noarch 138/211 Installing : perl-File-Temp-1:0.231.100-4.el9.noarch 139/211 Installing : perl-Pod-Simple-1:3.42-4.el9.noarch 140/211 Installing : perl-HTTP-Tiny-0.076-462.el9.noarch 141/211 Installing : perl-Socket-4:2.031-4.el9.x86_64 142/211 Installing : perl-SelectSaver-1.02-481.1.el9_6.noarch 143/211 Installing : perl-Symbol-1.08-481.1.el9_6.noarch 144/211 Installing : perl-File-stat-1.09-481.1.el9_6.noarch 145/211 Installing : perl-podlators-1:4.14-460.el9.noarch 146/211 Installing : perl-Pod-Perldoc-3.28.01-461.el9.noarch 147/211 Installing : perl-Text-ParseWords-3.30-460.el9.noarch 148/211 Installing : perl-Fcntl-1.13-481.1.el9_6.x86_64 149/211 Installing : perl-mro-1.23-481.1.el9_6.x86_64 150/211 Installing : perl-IO-1.43-481.1.el9_6.x86_64 151/211 Installing : perl-overloading-0.02-481.1.el9_6.noarch 152/211 Installing : perl-Pod-Usage-4:2.01-4.el9.noarch 153/211 Installing : perl-parent-1:0.238-460.el9.noarch 154/211 Installing : perl-MIME-Base64-3.16-4.el9.x86_64 155/211 Installing : perl-constant-1.33-461.el9.noarch 156/211 Installing : perl-Scalar-List-Utils-4:1.56-462.el9.x86_64 157/211 Installing : perl-Errno-1.30-481.1.el9_6.x86_64 158/211 Installing : perl-File-Basename-2.85-481.1.el9_6.noarch 159/211 Installing : perl-Getopt-Std-1.12-481.1.el9_6.noarch 160/211 Installing : perl-Storable-1:3.21-460.el9.x86_64 161/211 Installing : perl-overload-1.31-481.1.el9_6.noarch 162/211 Installing : perl-vars-1.05-481.1.el9_6.noarch 163/211 Installing : perl-Getopt-Long-1:2.52-4.el9.noarch 164/211 Installing : perl-Exporter-5.74-461.el9.noarch 165/211 Installing : perl-Carp-1.50-460.el9.noarch 166/211 Installing : perl-PathTools-3.78-461.el9.x86_64 167/211 Installing : perl-Encode-4:3.08-462.el9.x86_64 168/211 Installing : perl-libs-4:5.32.1-481.1.el9_6.x86_64 169/211 Installing : perl-interpreter-4:5.32.1-481.1.el9_6.x86_64 170/211 Installing : kernel-srpm-macros-1.0-14.el9.noarch 171/211 Installing : openssl-1:3.5.1-7.el9_7.x86_64 172/211 Installing : libpwquality-1.4.4-8.el9.x86_64 173/211 Installing : pam-1.5.1-26.el9_6.x86_64 174/211 Installing : libevent-2.1.12-8.el9_4.x86_64 175/211 Installing : libsemanage-3.6-5.el9_6.x86_64 176/211 Installing : shadow-utils-2:4.9-15.el9.x86_64 177/211 Running scriptlet: libutempter-1.2.1-6.el9.x86_64 178/211 Installing : libutempter-1.2.1-6.el9.x86_64 178/211 Installing : openldap-2.6.8-4.el9.x86_64 179/211 Installing : tar-2:1.34-9.el9_7.x86_64 180/211 Installing : patch-2.7.6-16.el9.x86_64 181/211 Installing : pkgconf-m4-1.7.3-10.el9.noarch 182/211 Installing : pkgconf-pkg-config-1.7.3-10.el9.x86_64 183/211 Installing : publicsuffix-list-dafsa-20210518-3.el9.noarch 184/211 Installing : libpsl-0.21.1-5.el9.x86_64 185/211 Installing : libcurl-7.76.1-35.el9_7.3.x86_64 186/211 Installing : elfutils-debuginfod-client-0.193-1.el9.x86_64 187/211 Installing : binutils-gold-2.35.2-67.el9_7.1.x86_64 188/211 Installing : binutils-2.35.2-67.el9_7.1.x86_64 189/211 Running scriptlet: binutils-2.35.2-67.el9_7.1.x86_64 189/211 Installing : elfutils-0.193-1.el9.x86_64 190/211 Installing : gdb-minimal-16.3-2.el9.x86_64 191/211 Installing : debugedit-5.0-11.el9.x86_64 192/211 Installing : curl-7.76.1-35.el9_7.3.x86_64 193/211 Installing : rpm-libs-4.16.1.3-39.el9.x86_64 194/211 Installing : rpm-4.16.1.3-39.el9.x86_64 195/211 Installing : lua-srpm-macros-1-6.el9.noarch 196/211 Installing : efi-srpm-macros-6-4.el9.noarch 197/211 Installing : rpmautospec-rpm-macros-0.8.4-1.el9.noarch 198/211 Installing : rpm-build-libs-4.16.1.3-39.el9.x86_64 199/211 Installing : fonts-srpm-macros-1:2.0.5-7.el9.1.noarch 200/211 Installing : python-srpm-macros-3.9-54.el9.noarch 201/211 Installing : go-srpm-macros-3.6.0-13.el9_7.noarch 202/211 Installing : redhat-rpm-config-210-1.el9.noarch 203/211 Installing : rpm-build-4.16.1.3-39.el9.x86_64 204/211 Installing : pyproject-srpm-macros-1.16.2-1.el9.noarch 205/211 Installing : forge-srpm-macros-0.4.0-1.el9.noarch 206/211 Installing : go-srpm-macros-epel-3.8.0-1.el9.noarch 207/211 Installing : R-srpm-macros-1.3.7-1.el9.noarch 208/211 Installing : epel-rpm-macros-9-18.el9.noarch 209/211 Installing : util-linux-2.37.4-21.el9_7.x86_64 210/211 Installing : which-2.21-30.el9_6.x86_64 211/211 Running scriptlet: filesystem-3.16-5.el9.x86_64 211/211 Running scriptlet: ca-certificates-2025.2.80_v9.0.305-91.el9.noarch 211/211 Running scriptlet: rpm-4.16.1.3-39.el9.x86_64 211/211 Running scriptlet: which-2.21-30.el9_6.x86_64 211/211 Verifying : basesystem-11-13.el9.noarch 1/211 Verifying : cpio-2.13-16.el9.x86_64 2/211 Verifying : cracklib-2.9.6-27.el9.x86_64 3/211 Verifying : ed-1.14.2-12.el9.x86_64 4/211 Verifying : grep-3.6-5.el9.x86_64 5/211 Verifying : groff-base-1.22.4-10.el9.x86_64 6/211 Verifying : info-6.7-15.el9.x86_64 7/211 Verifying : json-c-0.14-11.el9.x86_64 8/211 Verifying : libattr-2.5.1-3.el9.x86_64 9/211 Verifying : libcap-ng-0.8.2-7.el9.x86_64 10/211 Verifying : libgpg-error-1.42-5.el9.x86_64 11/211 Verifying : libidn2-2.3.0-7.el9.x86_64 12/211 Verifying : libpsl-0.21.1-5.el9.x86_64 13/211 Verifying : libpwquality-1.4.4-8.el9.x86_64 14/211 Verifying : libsigsegv-2.13-4.el9.x86_64 15/211 Verifying : libunistring-0.9.10-15.el9.x86_64 16/211 Verifying : libutempter-1.2.1-6.el9.x86_64 17/211 Verifying : libverto-0.3.2-3.el9.x86_64 18/211 Verifying : libxcrypt-4.4.18-3.el9.x86_64 19/211 Verifying : lz4-libs-1.9.3-5.el9.x86_64 20/211 Verifying : mpfr-4.1.0-7.el9.x86_64 21/211 Verifying : popt-1.18-8.el9.x86_64 22/211 Verifying : publicsuffix-list-dafsa-20210518-3.el9.noarch 23/211 Verifying : readline-8.1-4.el9.x86_64 24/211 Verifying : sed-4.8-9.el9.x86_64 25/211 Verifying : cracklib-dicts-2.9.6-27.el9.x86_64 26/211 Verifying : diffutils-3.7-12.el9.x86_64 27/211 Verifying : gawk-5.1.0-6.el9.x86_64 28/211 Verifying : xz-5.2.5-8.el9_0.x86_64 29/211 Verifying : xz-libs-5.2.5-8.el9_0.x86_64 30/211 Verifying : gzip-1.12-1.el9.x86_64 31/211 Verifying : keyutils-libs-1.6.3-1.el9.x86_64 32/211 Verifying : libpkgconf-1.7.3-10.el9.x86_64 33/211 Verifying : pkgconf-1.7.3-10.el9.x86_64 34/211 Verifying : pkgconf-m4-1.7.3-10.el9.noarch 35/211 Verifying : pkgconf-pkg-config-1.7.3-10.el9.x86_64 36/211 Verifying : zip-3.0-35.el9.x86_64 37/211 Verifying : gmp-1:6.2.0-13.el9.x86_64 38/211 Verifying : libffi-3.4.2-8.el9.x86_64 39/211 Verifying : lua-libs-5.4.4-4.el9.x86_64 40/211 Verifying : zlib-1.2.11-40.el9.x86_64 41/211 Verifying : bash-5.1.8-9.el9.x86_64 42/211 Verifying : file-5.39-16.el9.x86_64 43/211 Verifying : file-libs-5.39-16.el9.x86_64 44/211 Verifying : libacl-2.3.1-4.el9.x86_64 45/211 Verifying : setup-2.13.7-10.el9.noarch 46/211 Verifying : libevent-2.1.12-8.el9_4.x86_64 47/211 Verifying : filesystem-3.16-5.el9.x86_64 48/211 Verifying : findutils-1:4.8.0-7.el9.x86_64 49/211 Verifying : gdbm-libs-1:1.23-1.el9.x86_64 50/211 Verifying : libeconf-0.4.1-4.el9.x86_64 51/211 Verifying : libgcrypt-1.10.0-11.el9.x86_64 52/211 Verifying : libnghttp2-1.43.0-6.el9.x86_64 53/211 Verifying : pcre-8.44-4.el9.x86_64 54/211 Verifying : pcre2-10.40-6.el9.x86_64 55/211 Verifying : pcre2-syntax-10.40-6.el9.noarch 56/211 Verifying : bzip2-1.0.8-10.el9_5.x86_64 57/211 Verifying : bzip2-libs-1.0.8-10.el9_5.x86_64 58/211 Verifying : p11-kit-0.25.3-3.el9_5.x86_64 59/211 Verifying : p11-kit-trust-0.25.3-3.el9_5.x86_64 60/211 Verifying : alternatives-1.24-2.el9.x86_64 61/211 Verifying : coreutils-8.32-39.el9.x86_64 62/211 Verifying : coreutils-common-8.32-39.el9.x86_64 63/211 Verifying : libselinux-3.6-3.el9.x86_64 64/211 Verifying : libsemanage-3.6-5.el9_6.x86_64 65/211 Verifying : libtasn1-4.16.0-9.el9.x86_64 66/211 Verifying : libtool-ltdl-2.4.6-46.el9.x86_64 67/211 Verifying : libzstd-1.5.5-1.el9.x86_64 68/211 Verifying : openldap-2.6.8-4.el9.x86_64 69/211 Verifying : zstd-1.5.5-1.el9.x86_64 70/211 Verifying : krb5-libs-1.21.1-8.el9_6.x86_64 71/211 Verifying : libdb-5.3.28-57.el9_6.x86_64 72/211 Verifying : elfutils-0.193-1.el9.x86_64 73/211 Verifying : elfutils-libs-0.193-1.el9.x86_64 74/211 Verifying : libgcc-11.5.0-11.el9.x86_64 75/211 Verifying : ncurses-libs-6.2-12.20210508.el9.x86_64 76/211 Verifying : pam-1.5.1-26.el9_6.x86_64 77/211 Verifying : rpm-build-libs-4.16.1.3-39.el9.x86_64 78/211 Verifying : unzip-6.0-59.el9.x86_64 79/211 Verifying : which-2.21-30.el9_6.x86_64 80/211 Verifying : audit-libs-3.1.5-7.el9.x86_64 81/211 Verifying : crypto-policies-20250905-1.git377cc42.el9_7.noar 82/211 Verifying : cyrus-sasl-lib-2.1.27-22.el9.x86_64 83/211 Verifying : elfutils-debuginfod-client-0.193-1.el9.x86_64 84/211 Verifying : elfutils-default-yama-scope-0.193-1.el9.noarch 85/211 Verifying : elfutils-libelf-0.193-1.el9.x86_64 86/211 Verifying : libcap-2.48-10.el9.x86_64 87/211 Verifying : libcom_err-1.46.5-8.el9.x86_64 88/211 Verifying : libgomp-11.5.0-11.el9.x86_64 89/211 Verifying : libsepol-3.6-3.el9.x86_64 90/211 Verifying : libstdc++-11.5.0-11.el9.x86_64 91/211 Verifying : ncurses-6.2-12.20210508.el9.x86_64 92/211 Verifying : ncurses-base-6.2-12.20210508.el9.noarch 93/211 Verifying : openssl-fips-provider-3.0.7-8.el9.x86_64 94/211 Verifying : openssl-fips-provider-so-3.0.7-8.el9.x86_64 95/211 Verifying : rpm-4.16.1.3-39.el9.x86_64 96/211 Verifying : rpm-libs-4.16.1.3-39.el9.x86_64 97/211 Verifying : shadow-utils-2:4.9-15.el9.x86_64 98/211 Verifying : redhat-release-9.7-0.7.el9.x86_64 99/211 Verifying : sqlite-libs-3.34.1-9.el9_7.x86_64 100/211 Verifying : ca-certificates-2025.2.80_v9.0.305-91.el9.noarch 101/211 Verifying : libxml2-2.9.13-14.el9_7.x86_64 102/211 Verifying : libssh-0.10.4-17.el9_7.x86_64 103/211 Verifying : libssh-config-0.10.4-17.el9_7.noarch 104/211 Verifying : binutils-2.35.2-67.el9_7.1.x86_64 105/211 Verifying : binutils-gold-2.35.2-67.el9_7.1.x86_64 106/211 Verifying : tar-2:1.34-9.el9_7.x86_64 107/211 Verifying : curl-7.76.1-35.el9_7.3.x86_64 108/211 Verifying : libcurl-7.76.1-35.el9_7.3.x86_64 109/211 Verifying : openssl-1:3.5.1-7.el9_7.x86_64 110/211 Verifying : openssl-libs-1:3.5.1-7.el9_7.x86_64 111/211 Verifying : libblkid-2.37.4-21.el9_7.x86_64 112/211 Verifying : libfdisk-2.37.4-21.el9_7.x86_64 113/211 Verifying : libmount-2.37.4-21.el9_7.x86_64 114/211 Verifying : libsmartcols-2.37.4-21.el9_7.x86_64 115/211 Verifying : libuuid-2.37.4-21.el9_7.x86_64 116/211 Verifying : util-linux-2.37.4-21.el9_7.x86_64 117/211 Verifying : util-linux-core-2.37.4-21.el9_7.x86_64 118/211 Verifying : libbrotli-1.0.9-9.el9_7.x86_64 119/211 Verifying : glibc-2.34-231.el9_7.10.x86_64 120/211 Verifying : glibc-common-2.34-231.el9_7.10.x86_64 121/211 Verifying : glibc-gconv-extra-2.34-231.el9_7.10.x86_64 122/211 Verifying : glibc-minimal-langpack-2.34-231.el9_7.10.x86_64 123/211 Verifying : tzdata-2026a-1.el9.noarch 124/211 Verifying : libarchive-3.5.3-7.el9_7.x86_64 125/211 Verifying : systemd-libs-252-55.el9_7.8.x86_64 126/211 Verifying : ghc-srpm-macros-1.5.0-6.el9.noarch 127/211 Verifying : lua-srpm-macros-1-6.el9.noarch 128/211 Verifying : perl-Data-Dumper-2.174-462.el9.x86_64 129/211 Verifying : perl-Digest-MD5-2.58-4.el9.x86_64 130/211 Verifying : perl-Encode-4:3.08-462.el9.x86_64 131/211 Verifying : perl-Mozilla-CA-20200520-6.el9.noarch 132/211 Verifying : perl-Pod-Simple-1:3.42-4.el9.noarch 133/211 Verifying : perl-Term-Cap-1.17-460.el9.noarch 134/211 Verifying : perl-Time-Local-2:1.300-7.el9.noarch 135/211 Verifying : rust-srpm-macros-17-4.el9.noarch 136/211 Verifying : perl-Pod-Escapes-1:1.07-460.el9.noarch 137/211 Verifying : perl-Storable-1:3.21-460.el9.x86_64 138/211 Verifying : perl-podlators-1:4.14-460.el9.noarch 139/211 Verifying : perl-Exporter-5.74-461.el9.noarch 140/211 Verifying : perl-File-Temp-1:0.231.100-4.el9.noarch 141/211 Verifying : perl-Getopt-Long-1:2.52-4.el9.noarch 142/211 Verifying : perl-MIME-Base64-3.16-4.el9.x86_64 143/211 Verifying : perl-Text-Tabs+Wrap-2013.0523-460.el9.noarch 144/211 Verifying : perl-parent-1:0.238-460.el9.noarch 145/211 Verifying : perl-srpm-macros-1-41.el9.noarch 146/211 Verifying : openblas-srpm-macros-2-11.el9.noarch 147/211 Verifying : perl-Digest-1.19-4.el9.noarch 148/211 Verifying : perl-File-Path-2.18-4.el9.noarch 149/211 Verifying : perl-IO-Socket-IP-0.41-5.el9.noarch 150/211 Verifying : perl-Pod-Usage-4:2.01-4.el9.noarch 151/211 Verifying : perl-Socket-4:2.031-4.el9.x86_64 152/211 Verifying : perl-Term-ANSIColor-5.01-461.el9.noarch 153/211 Verifying : perl-Text-ParseWords-3.30-460.el9.noarch 154/211 Verifying : perl-URI-5.09-3.el9.noarch 155/211 Verifying : perl-constant-1.33-461.el9.noarch 156/211 Verifying : fonts-srpm-macros-1:2.0.5-7.el9.1.noarch 157/211 Verifying : ocaml-srpm-macros-6-6.el9.noarch 158/211 Verifying : patch-2.7.6-16.el9.x86_64 159/211 Verifying : perl-Pod-Perldoc-3.28.01-461.el9.noarch 160/211 Verifying : perl-libnet-3.13-4.el9.noarch 161/211 Verifying : perl-Carp-1.50-460.el9.noarch 162/211 Verifying : perl-PathTools-3.78-461.el9.x86_64 163/211 Verifying : qt5-srpm-macros-5.15.9-1.el9.noarch 164/211 Verifying : perl-HTTP-Tiny-0.076-462.el9.noarch 165/211 Verifying : python-srpm-macros-3.9-54.el9.noarch 166/211 Verifying : perl-IO-Socket-SSL-2.073-2.el9.noarch 167/211 Verifying : perl-Scalar-List-Utils-4:1.56-462.el9.x86_64 168/211 Verifying : pyproject-srpm-macros-1.16.2-1.el9.noarch 169/211 Verifying : perl-AutoLoader-5.74-481.1.el9_6.noarch 170/211 Verifying : perl-B-1.80-481.1.el9_6.x86_64 171/211 Verifying : perl-Class-Struct-0.66-481.1.el9_6.noarch 172/211 Verifying : perl-Errno-1.30-481.1.el9_6.x86_64 173/211 Verifying : perl-Fcntl-1.13-481.1.el9_6.x86_64 174/211 Verifying : perl-File-Basename-2.85-481.1.el9_6.noarch 175/211 Verifying : perl-File-stat-1.09-481.1.el9_6.noarch 176/211 Verifying : perl-FileHandle-2.03-481.1.el9_6.noarch 177/211 Verifying : perl-Getopt-Std-1.12-481.1.el9_6.noarch 178/211 Verifying : perl-IO-1.43-481.1.el9_6.x86_64 179/211 Verifying : perl-IPC-Open3-1.21-481.1.el9_6.noarch 180/211 Verifying : perl-POSIX-1.94-481.1.el9_6.x86_64 181/211 Verifying : perl-SelectSaver-1.02-481.1.el9_6.noarch 182/211 Verifying : perl-Symbol-1.08-481.1.el9_6.noarch 183/211 Verifying : perl-base-2.27-481.1.el9_6.noarch 184/211 Verifying : perl-if-0.60.800-481.1.el9_6.noarch 185/211 Verifying : perl-interpreter-4:5.32.1-481.1.el9_6.x86_64 186/211 Verifying : perl-libs-4:5.32.1-481.1.el9_6.x86_64 187/211 Verifying : perl-mro-1.23-481.1.el9_6.x86_64 188/211 Verifying : perl-overload-1.31-481.1.el9_6.noarch 189/211 Verifying : perl-overloading-0.02-481.1.el9_6.noarch 190/211 Verifying : perl-subs-1.03-481.1.el9_6.noarch 191/211 Verifying : perl-vars-1.05-481.1.el9_6.noarch 192/211 Verifying : dwz-0.16-1.el9.x86_64 193/211 Verifying : debugedit-5.0-11.el9.x86_64 194/211 Verifying : efi-srpm-macros-6-4.el9.noarch 195/211 Verifying : gdb-minimal-16.3-2.el9.x86_64 196/211 Verifying : kernel-srpm-macros-1.0-14.el9.noarch 197/211 Verifying : perl-Net-SSLeay-1.94-3.el9.x86_64 198/211 Verifying : redhat-rpm-config-210-1.el9.noarch 199/211 Verifying : rpm-build-4.16.1.3-39.el9.x86_64 200/211 Verifying : go-srpm-macros-3.6.0-13.el9_7.noarch 201/211 Verifying : R-srpm-macros-1.3.7-1.el9.noarch 202/211 Verifying : ansible-srpm-macros-1-16.el9.noarch 203/211 Verifying : epel-rpm-macros-9-18.el9.noarch 204/211 Verifying : forge-srpm-macros-0.4.0-1.el9.noarch 205/211 Verifying : fpc-srpm-macros-1.3-7.el9.noarch 206/211 Verifying : ghc-srpm-macros-epel-1.9.1-1.el9.noarch 207/211 Verifying : go-srpm-macros-epel-3.8.0-1.el9.noarch 208/211 Verifying : qt6-srpm-macros-6.6.2-1.el9.noarch 209/211 Verifying : rpmautospec-rpm-macros-0.8.4-1.el9.noarch 210/211 Verifying : rust-srpm-macros-epel-26.3-1.el9.noarch 211/211 Installed products updated. Installed: R-srpm-macros-1.3.7-1.el9.noarch alternatives-1.24-2.el9.x86_64 ansible-srpm-macros-1-16.el9.noarch audit-libs-3.1.5-7.el9.x86_64 basesystem-11-13.el9.noarch bash-5.1.8-9.el9.x86_64 binutils-2.35.2-67.el9_7.1.x86_64 binutils-gold-2.35.2-67.el9_7.1.x86_64 bzip2-1.0.8-10.el9_5.x86_64 bzip2-libs-1.0.8-10.el9_5.x86_64 ca-certificates-2025.2.80_v9.0.305-91.el9.noarch coreutils-8.32-39.el9.x86_64 coreutils-common-8.32-39.el9.x86_64 cpio-2.13-16.el9.x86_64 cracklib-2.9.6-27.el9.x86_64 cracklib-dicts-2.9.6-27.el9.x86_64 crypto-policies-20250905-1.git377cc42.el9_7.noarch curl-7.76.1-35.el9_7.3.x86_64 cyrus-sasl-lib-2.1.27-22.el9.x86_64 debugedit-5.0-11.el9.x86_64 diffutils-3.7-12.el9.x86_64 dwz-0.16-1.el9.x86_64 ed-1.14.2-12.el9.x86_64 efi-srpm-macros-6-4.el9.noarch elfutils-0.193-1.el9.x86_64 elfutils-debuginfod-client-0.193-1.el9.x86_64 elfutils-default-yama-scope-0.193-1.el9.noarch elfutils-libelf-0.193-1.el9.x86_64 elfutils-libs-0.193-1.el9.x86_64 epel-rpm-macros-9-18.el9.noarch file-5.39-16.el9.x86_64 file-libs-5.39-16.el9.x86_64 filesystem-3.16-5.el9.x86_64 findutils-1:4.8.0-7.el9.x86_64 fonts-srpm-macros-1:2.0.5-7.el9.1.noarch forge-srpm-macros-0.4.0-1.el9.noarch fpc-srpm-macros-1.3-7.el9.noarch gawk-5.1.0-6.el9.x86_64 gdb-minimal-16.3-2.el9.x86_64 gdbm-libs-1:1.23-1.el9.x86_64 ghc-srpm-macros-1.5.0-6.el9.noarch ghc-srpm-macros-epel-1.9.1-1.el9.noarch glibc-2.34-231.el9_7.10.x86_64 glibc-common-2.34-231.el9_7.10.x86_64 glibc-gconv-extra-2.34-231.el9_7.10.x86_64 glibc-minimal-langpack-2.34-231.el9_7.10.x86_64 gmp-1:6.2.0-13.el9.x86_64 go-srpm-macros-3.6.0-13.el9_7.noarch go-srpm-macros-epel-3.8.0-1.el9.noarch grep-3.6-5.el9.x86_64 groff-base-1.22.4-10.el9.x86_64 gzip-1.12-1.el9.x86_64 info-6.7-15.el9.x86_64 json-c-0.14-11.el9.x86_64 kernel-srpm-macros-1.0-14.el9.noarch keyutils-libs-1.6.3-1.el9.x86_64 krb5-libs-1.21.1-8.el9_6.x86_64 libacl-2.3.1-4.el9.x86_64 libarchive-3.5.3-7.el9_7.x86_64 libattr-2.5.1-3.el9.x86_64 libblkid-2.37.4-21.el9_7.x86_64 libbrotli-1.0.9-9.el9_7.x86_64 libcap-2.48-10.el9.x86_64 libcap-ng-0.8.2-7.el9.x86_64 libcom_err-1.46.5-8.el9.x86_64 libcurl-7.76.1-35.el9_7.3.x86_64 libdb-5.3.28-57.el9_6.x86_64 libeconf-0.4.1-4.el9.x86_64 libevent-2.1.12-8.el9_4.x86_64 libfdisk-2.37.4-21.el9_7.x86_64 libffi-3.4.2-8.el9.x86_64 libgcc-11.5.0-11.el9.x86_64 libgcrypt-1.10.0-11.el9.x86_64 libgomp-11.5.0-11.el9.x86_64 libgpg-error-1.42-5.el9.x86_64 libidn2-2.3.0-7.el9.x86_64 libmount-2.37.4-21.el9_7.x86_64 libnghttp2-1.43.0-6.el9.x86_64 libpkgconf-1.7.3-10.el9.x86_64 libpsl-0.21.1-5.el9.x86_64 libpwquality-1.4.4-8.el9.x86_64 libselinux-3.6-3.el9.x86_64 libsemanage-3.6-5.el9_6.x86_64 libsepol-3.6-3.el9.x86_64 libsigsegv-2.13-4.el9.x86_64 libsmartcols-2.37.4-21.el9_7.x86_64 libssh-0.10.4-17.el9_7.x86_64 libssh-config-0.10.4-17.el9_7.noarch libstdc++-11.5.0-11.el9.x86_64 libtasn1-4.16.0-9.el9.x86_64 libtool-ltdl-2.4.6-46.el9.x86_64 libunistring-0.9.10-15.el9.x86_64 libutempter-1.2.1-6.el9.x86_64 libuuid-2.37.4-21.el9_7.x86_64 libverto-0.3.2-3.el9.x86_64 libxcrypt-4.4.18-3.el9.x86_64 libxml2-2.9.13-14.el9_7.x86_64 libzstd-1.5.5-1.el9.x86_64 lua-libs-5.4.4-4.el9.x86_64 lua-srpm-macros-1-6.el9.noarch lz4-libs-1.9.3-5.el9.x86_64 mpfr-4.1.0-7.el9.x86_64 ncurses-6.2-12.20210508.el9.x86_64 ncurses-base-6.2-12.20210508.el9.noarch ncurses-libs-6.2-12.20210508.el9.x86_64 ocaml-srpm-macros-6-6.el9.noarch openblas-srpm-macros-2-11.el9.noarch openldap-2.6.8-4.el9.x86_64 openssl-1:3.5.1-7.el9_7.x86_64 openssl-fips-provider-3.0.7-8.el9.x86_64 openssl-fips-provider-so-3.0.7-8.el9.x86_64 openssl-libs-1:3.5.1-7.el9_7.x86_64 p11-kit-0.25.3-3.el9_5.x86_64 p11-kit-trust-0.25.3-3.el9_5.x86_64 pam-1.5.1-26.el9_6.x86_64 patch-2.7.6-16.el9.x86_64 pcre-8.44-4.el9.x86_64 pcre2-10.40-6.el9.x86_64 pcre2-syntax-10.40-6.el9.noarch perl-AutoLoader-5.74-481.1.el9_6.noarch perl-B-1.80-481.1.el9_6.x86_64 perl-Carp-1.50-460.el9.noarch perl-Class-Struct-0.66-481.1.el9_6.noarch perl-Data-Dumper-2.174-462.el9.x86_64 perl-Digest-1.19-4.el9.noarch perl-Digest-MD5-2.58-4.el9.x86_64 perl-Encode-4:3.08-462.el9.x86_64 perl-Errno-1.30-481.1.el9_6.x86_64 perl-Exporter-5.74-461.el9.noarch perl-Fcntl-1.13-481.1.el9_6.x86_64 perl-File-Basename-2.85-481.1.el9_6.noarch perl-File-Path-2.18-4.el9.noarch perl-File-Temp-1:0.231.100-4.el9.noarch perl-File-stat-1.09-481.1.el9_6.noarch perl-FileHandle-2.03-481.1.el9_6.noarch perl-Getopt-Long-1:2.52-4.el9.noarch perl-Getopt-Std-1.12-481.1.el9_6.noarch perl-HTTP-Tiny-0.076-462.el9.noarch perl-IO-1.43-481.1.el9_6.x86_64 perl-IO-Socket-IP-0.41-5.el9.noarch perl-IO-Socket-SSL-2.073-2.el9.noarch perl-IPC-Open3-1.21-481.1.el9_6.noarch perl-MIME-Base64-3.16-4.el9.x86_64 perl-Mozilla-CA-20200520-6.el9.noarch perl-Net-SSLeay-1.94-3.el9.x86_64 perl-POSIX-1.94-481.1.el9_6.x86_64 perl-PathTools-3.78-461.el9.x86_64 perl-Pod-Escapes-1:1.07-460.el9.noarch perl-Pod-Perldoc-3.28.01-461.el9.noarch perl-Pod-Simple-1:3.42-4.el9.noarch perl-Pod-Usage-4:2.01-4.el9.noarch perl-Scalar-List-Utils-4:1.56-462.el9.x86_64 perl-SelectSaver-1.02-481.1.el9_6.noarch perl-Socket-4:2.031-4.el9.x86_64 perl-Storable-1:3.21-460.el9.x86_64 perl-Symbol-1.08-481.1.el9_6.noarch perl-Term-ANSIColor-5.01-461.el9.noarch perl-Term-Cap-1.17-460.el9.noarch perl-Text-ParseWords-3.30-460.el9.noarch perl-Text-Tabs+Wrap-2013.0523-460.el9.noarch perl-Time-Local-2:1.300-7.el9.noarch perl-URI-5.09-3.el9.noarch perl-base-2.27-481.1.el9_6.noarch perl-constant-1.33-461.el9.noarch perl-if-0.60.800-481.1.el9_6.noarch perl-interpreter-4:5.32.1-481.1.el9_6.x86_64 perl-libnet-3.13-4.el9.noarch perl-libs-4:5.32.1-481.1.el9_6.x86_64 perl-mro-1.23-481.1.el9_6.x86_64 perl-overload-1.31-481.1.el9_6.noarch perl-overloading-0.02-481.1.el9_6.noarch perl-parent-1:0.238-460.el9.noarch perl-podlators-1:4.14-460.el9.noarch perl-srpm-macros-1-41.el9.noarch perl-subs-1.03-481.1.el9_6.noarch perl-vars-1.05-481.1.el9_6.noarch pkgconf-1.7.3-10.el9.x86_64 pkgconf-m4-1.7.3-10.el9.noarch pkgconf-pkg-config-1.7.3-10.el9.x86_64 popt-1.18-8.el9.x86_64 publicsuffix-list-dafsa-20210518-3.el9.noarch pyproject-srpm-macros-1.16.2-1.el9.noarch python-srpm-macros-3.9-54.el9.noarch qt5-srpm-macros-5.15.9-1.el9.noarch qt6-srpm-macros-6.6.2-1.el9.noarch readline-8.1-4.el9.x86_64 redhat-release-9.7-0.7.el9.x86_64 redhat-rpm-config-210-1.el9.noarch rpm-4.16.1.3-39.el9.x86_64 rpm-build-4.16.1.3-39.el9.x86_64 rpm-build-libs-4.16.1.3-39.el9.x86_64 rpm-libs-4.16.1.3-39.el9.x86_64 rpmautospec-rpm-macros-0.8.4-1.el9.noarch rust-srpm-macros-17-4.el9.noarch rust-srpm-macros-epel-26.3-1.el9.noarch sed-4.8-9.el9.x86_64 setup-2.13.7-10.el9.noarch shadow-utils-2:4.9-15.el9.x86_64 sqlite-libs-3.34.1-9.el9_7.x86_64 systemd-libs-252-55.el9_7.8.x86_64 tar-2:1.34-9.el9_7.x86_64 tzdata-2026a-1.el9.noarch unzip-6.0-59.el9.x86_64 util-linux-2.37.4-21.el9_7.x86_64 util-linux-core-2.37.4-21.el9_7.x86_64 which-2.21-30.el9_6.x86_64 xz-5.2.5-8.el9_0.x86_64 xz-libs-5.2.5-8.el9_0.x86_64 zip-3.0-35.el9.x86_64 zlib-1.2.11-40.el9.x86_64 zstd-1.5.5-1.el9.x86_64 Complete! Finish: installing minimal buildroot with dnf Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: R-srpm-macros-1.3.7-1.el9.noarch alternatives-1.24-2.el9.x86_64 ansible-srpm-macros-1-16.el9.noarch audit-libs-3.1.5-7.el9.x86_64 basesystem-11-13.el9.noarch bash-5.1.8-9.el9.x86_64 binutils-2.35.2-67.el9_7.1.x86_64 binutils-gold-2.35.2-67.el9_7.1.x86_64 bzip2-1.0.8-10.el9_5.x86_64 bzip2-libs-1.0.8-10.el9_5.x86_64 ca-certificates-2025.2.80_v9.0.305-91.el9.noarch coreutils-8.32-39.el9.x86_64 coreutils-common-8.32-39.el9.x86_64 cpio-2.13-16.el9.x86_64 cracklib-2.9.6-27.el9.x86_64 cracklib-dicts-2.9.6-27.el9.x86_64 crypto-policies-20250905-1.git377cc42.el9_7.noarch curl-7.76.1-35.el9_7.3.x86_64 cyrus-sasl-lib-2.1.27-22.el9.x86_64 debugedit-5.0-11.el9.x86_64 diffutils-3.7-12.el9.x86_64 dwz-0.16-1.el9.x86_64 ed-1.14.2-12.el9.x86_64 efi-srpm-macros-6-4.el9.noarch elfutils-0.193-1.el9.x86_64 elfutils-debuginfod-client-0.193-1.el9.x86_64 elfutils-default-yama-scope-0.193-1.el9.noarch elfutils-libelf-0.193-1.el9.x86_64 elfutils-libs-0.193-1.el9.x86_64 epel-rpm-macros-9-18.el9.noarch file-5.39-16.el9.x86_64 file-libs-5.39-16.el9.x86_64 filesystem-3.16-5.el9.x86_64 findutils-4.8.0-7.el9.x86_64 fonts-srpm-macros-2.0.5-7.el9.1.noarch forge-srpm-macros-0.4.0-1.el9.noarch fpc-srpm-macros-1.3-7.el9.noarch gawk-5.1.0-6.el9.x86_64 gdb-minimal-16.3-2.el9.x86_64 gdbm-libs-1.23-1.el9.x86_64 ghc-srpm-macros-1.5.0-6.el9.noarch ghc-srpm-macros-epel-1.9.1-1.el9.noarch glibc-2.34-231.el9_7.10.x86_64 glibc-common-2.34-231.el9_7.10.x86_64 glibc-gconv-extra-2.34-231.el9_7.10.x86_64 glibc-minimal-langpack-2.34-231.el9_7.10.x86_64 gmp-6.2.0-13.el9.x86_64 go-srpm-macros-3.6.0-13.el9_7.noarch go-srpm-macros-epel-3.8.0-1.el9.noarch gpg-pubkey-3228467c-613798eb gpg-pubkey-5a6340b3-6229229e gpg-pubkey-fd431d51-4ae0493b grep-3.6-5.el9.x86_64 groff-base-1.22.4-10.el9.x86_64 gzip-1.12-1.el9.x86_64 info-6.7-15.el9.x86_64 json-c-0.14-11.el9.x86_64 kernel-srpm-macros-1.0-14.el9.noarch keyutils-libs-1.6.3-1.el9.x86_64 krb5-libs-1.21.1-8.el9_6.x86_64 libacl-2.3.1-4.el9.x86_64 libarchive-3.5.3-7.el9_7.x86_64 libattr-2.5.1-3.el9.x86_64 libblkid-2.37.4-21.el9_7.x86_64 libbrotli-1.0.9-9.el9_7.x86_64 libcap-2.48-10.el9.x86_64 libcap-ng-0.8.2-7.el9.x86_64 libcom_err-1.46.5-8.el9.x86_64 libcurl-7.76.1-35.el9_7.3.x86_64 libdb-5.3.28-57.el9_6.x86_64 libeconf-0.4.1-4.el9.x86_64 libevent-2.1.12-8.el9_4.x86_64 libfdisk-2.37.4-21.el9_7.x86_64 libffi-3.4.2-8.el9.x86_64 libgcc-11.5.0-11.el9.x86_64 libgcrypt-1.10.0-11.el9.x86_64 libgomp-11.5.0-11.el9.x86_64 libgpg-error-1.42-5.el9.x86_64 libidn2-2.3.0-7.el9.x86_64 libmount-2.37.4-21.el9_7.x86_64 libnghttp2-1.43.0-6.el9.x86_64 libpkgconf-1.7.3-10.el9.x86_64 libpsl-0.21.1-5.el9.x86_64 libpwquality-1.4.4-8.el9.x86_64 libselinux-3.6-3.el9.x86_64 libsemanage-3.6-5.el9_6.x86_64 libsepol-3.6-3.el9.x86_64 libsigsegv-2.13-4.el9.x86_64 libsmartcols-2.37.4-21.el9_7.x86_64 libssh-0.10.4-17.el9_7.x86_64 libssh-config-0.10.4-17.el9_7.noarch libstdc++-11.5.0-11.el9.x86_64 libtasn1-4.16.0-9.el9.x86_64 libtool-ltdl-2.4.6-46.el9.x86_64 libunistring-0.9.10-15.el9.x86_64 libutempter-1.2.1-6.el9.x86_64 libuuid-2.37.4-21.el9_7.x86_64 libverto-0.3.2-3.el9.x86_64 libxcrypt-4.4.18-3.el9.x86_64 libxml2-2.9.13-14.el9_7.x86_64 libzstd-1.5.5-1.el9.x86_64 lua-libs-5.4.4-4.el9.x86_64 lua-srpm-macros-1-6.el9.noarch lz4-libs-1.9.3-5.el9.x86_64 mpfr-4.1.0-7.el9.x86_64 ncurses-6.2-12.20210508.el9.x86_64 ncurses-base-6.2-12.20210508.el9.noarch ncurses-libs-6.2-12.20210508.el9.x86_64 ocaml-srpm-macros-6-6.el9.noarch openblas-srpm-macros-2-11.el9.noarch openldap-2.6.8-4.el9.x86_64 openssl-3.5.1-7.el9_7.x86_64 openssl-fips-provider-3.0.7-8.el9.x86_64 openssl-fips-provider-so-3.0.7-8.el9.x86_64 openssl-libs-3.5.1-7.el9_7.x86_64 p11-kit-0.25.3-3.el9_5.x86_64 p11-kit-trust-0.25.3-3.el9_5.x86_64 pam-1.5.1-26.el9_6.x86_64 patch-2.7.6-16.el9.x86_64 pcre-8.44-4.el9.x86_64 pcre2-10.40-6.el9.x86_64 pcre2-syntax-10.40-6.el9.noarch perl-AutoLoader-5.74-481.1.el9_6.noarch perl-B-1.80-481.1.el9_6.x86_64 perl-Carp-1.50-460.el9.noarch perl-Class-Struct-0.66-481.1.el9_6.noarch perl-Data-Dumper-2.174-462.el9.x86_64 perl-Digest-1.19-4.el9.noarch perl-Digest-MD5-2.58-4.el9.x86_64 perl-Encode-3.08-462.el9.x86_64 perl-Errno-1.30-481.1.el9_6.x86_64 perl-Exporter-5.74-461.el9.noarch perl-Fcntl-1.13-481.1.el9_6.x86_64 perl-File-Basename-2.85-481.1.el9_6.noarch perl-File-Path-2.18-4.el9.noarch perl-File-Temp-0.231.100-4.el9.noarch perl-File-stat-1.09-481.1.el9_6.noarch perl-FileHandle-2.03-481.1.el9_6.noarch perl-Getopt-Long-2.52-4.el9.noarch perl-Getopt-Std-1.12-481.1.el9_6.noarch perl-HTTP-Tiny-0.076-462.el9.noarch perl-IO-1.43-481.1.el9_6.x86_64 perl-IO-Socket-IP-0.41-5.el9.noarch perl-IO-Socket-SSL-2.073-2.el9.noarch perl-IPC-Open3-1.21-481.1.el9_6.noarch perl-MIME-Base64-3.16-4.el9.x86_64 perl-Mozilla-CA-20200520-6.el9.noarch perl-Net-SSLeay-1.94-3.el9.x86_64 perl-POSIX-1.94-481.1.el9_6.x86_64 perl-PathTools-3.78-461.el9.x86_64 perl-Pod-Escapes-1.07-460.el9.noarch perl-Pod-Perldoc-3.28.01-461.el9.noarch perl-Pod-Simple-3.42-4.el9.noarch perl-Pod-Usage-2.01-4.el9.noarch perl-Scalar-List-Utils-1.56-462.el9.x86_64 perl-SelectSaver-1.02-481.1.el9_6.noarch perl-Socket-2.031-4.el9.x86_64 perl-Storable-3.21-460.el9.x86_64 perl-Symbol-1.08-481.1.el9_6.noarch perl-Term-ANSIColor-5.01-461.el9.noarch perl-Term-Cap-1.17-460.el9.noarch perl-Text-ParseWords-3.30-460.el9.noarch perl-Text-Tabs+Wrap-2013.0523-460.el9.noarch perl-Time-Local-1.300-7.el9.noarch perl-URI-5.09-3.el9.noarch perl-base-2.27-481.1.el9_6.noarch perl-constant-1.33-461.el9.noarch perl-if-0.60.800-481.1.el9_6.noarch perl-interpreter-5.32.1-481.1.el9_6.x86_64 perl-libnet-3.13-4.el9.noarch perl-libs-5.32.1-481.1.el9_6.x86_64 perl-mro-1.23-481.1.el9_6.x86_64 perl-overload-1.31-481.1.el9_6.noarch perl-overloading-0.02-481.1.el9_6.noarch perl-parent-0.238-460.el9.noarch perl-podlators-4.14-460.el9.noarch perl-srpm-macros-1-41.el9.noarch perl-subs-1.03-481.1.el9_6.noarch perl-vars-1.05-481.1.el9_6.noarch pkgconf-1.7.3-10.el9.x86_64 pkgconf-m4-1.7.3-10.el9.noarch pkgconf-pkg-config-1.7.3-10.el9.x86_64 popt-1.18-8.el9.x86_64 publicsuffix-list-dafsa-20210518-3.el9.noarch pyproject-srpm-macros-1.16.2-1.el9.noarch python-srpm-macros-3.9-54.el9.noarch qt5-srpm-macros-5.15.9-1.el9.noarch qt6-srpm-macros-6.6.2-1.el9.noarch readline-8.1-4.el9.x86_64 redhat-release-9.7-0.7.el9.x86_64 redhat-rpm-config-210-1.el9.noarch rpm-4.16.1.3-39.el9.x86_64 rpm-build-4.16.1.3-39.el9.x86_64 rpm-build-libs-4.16.1.3-39.el9.x86_64 rpm-libs-4.16.1.3-39.el9.x86_64 rpmautospec-rpm-macros-0.8.4-1.el9.noarch rust-srpm-macros-17-4.el9.noarch rust-srpm-macros-epel-26.3-1.el9.noarch sed-4.8-9.el9.x86_64 setup-2.13.7-10.el9.noarch shadow-utils-4.9-15.el9.x86_64 sqlite-libs-3.34.1-9.el9_7.x86_64 systemd-libs-252-55.el9_7.8.x86_64 tar-1.34-9.el9_7.x86_64 tzdata-2026a-1.el9.noarch unzip-6.0-59.el9.x86_64 util-linux-2.37.4-21.el9_7.x86_64 util-linux-core-2.37.4-21.el9_7.x86_64 which-2.21-30.el9_6.x86_64 xz-5.2.5-8.el9_0.x86_64 xz-libs-5.2.5-8.el9_0.x86_64 zip-3.0-35.el9.x86_64 zlib-1.2.11-40.el9.x86_64 zstd-1.5.5-1.el9.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1775692800 Wrote: /builddir/build/SRPMS/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm Finish: rpmbuild -bs INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/rhel+epel-9-x86_64-1775704082.002419/root/var/log/dnf.rpm.log /var/lib/mock/rhel+epel-9-x86_64-1775704082.002419/root/var/log/dnf.librepo.log /var/lib/mock/rhel+epel-9-x86_64-1775704082.002419/root/var/log/dnf.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-kibxr9r6/python-certora-cli-alpha-master/python-certora-cli-alpha-master.spec) Config(child) 1 minutes 52 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/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm) Config(rhel+epel-9-x86_64) Start(bootstrap): chroot init INFO: mounting tmpfs at /var/lib/mock/rhel+epel-9-x86_64-bootstrap-1775704082.002419/root. INFO: reusing tmpfs at /var/lib/mock/rhel+epel-9-x86_64-bootstrap-1775704082.002419/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/rhel+epel-9-x86_64-1775704082.002419/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.16.1.3-39.el9.x86_64 python3-dnf-4.14.0-31.el9.noarch python3-dnf-plugins-core-4.3.0-24.el9_7.noarch yum-4.14.0-31.el9.noarch Finish: chroot init Start: build phase for python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm Start: build setup for python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1775692800 Wrote: /builddir/build/SRPMS/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm No matches found for the following disable plugin patterns: local, spacewalk, versionlock Updating Subscription Management repositories. Unable to read consumer identity This system is not registered with an entitlement server. You can use subscription-manager to register. Copr repository 39 kB/s | 1.5 kB 00:00 Copr repository 377 MB/s | 68 MB 00:00 Red Hat Enterprise Linux - BaseOS 26 kB/s | 4.1 kB 00:00 Red Hat Enterprise Linux - AppStream 30 kB/s | 4.5 kB 00:00 Red Hat Enterprise Linux - CodeReady Linux Buil 31 kB/s | 4.5 kB 00:00 Extra Packages for Enterprise Linux 9 - x86_64 130 kB/s | 16 kB 00:00 Dependencies resolved. ================================================================================ Package Arch Version Repository Size ================================================================================ Installing: python3-devel x86_64 3.9.25-3.el9_7.2 appstream 252 k Installing dependencies: expat x86_64 2.5.0-5.el9_7.1 baseos 117 k pyproject-rpm-macros noarch 1.16.2-1.el9 codeready-builder 46 k python-rpm-macros noarch 3.9-54.el9 appstream 16 k python3 x86_64 3.9.25-3.el9_7.2 baseos 33 k python3-libs x86_64 3.9.25-3.el9_7.2 baseos 8.1 M python3-packaging noarch 26.0-1.el9 copr_base 124 k python3-pip-wheel noarch 21.3.1-1.el9 baseos 1.1 M python3-rpm-generators noarch 12-9.el9 appstream 29 k python3-rpm-macros noarch 3.9-54.el9 appstream 10 k python3-setuptools noarch 69.0.2-1.el9 copr_base 978 k python3-setuptools-wheel noarch 53.0.0-15.el9 baseos 468 k Transaction Summary ================================================================================ Install 12 Packages Total download size: 11 M Installed size: 40 M Downloading Packages: (1/12): python3-packaging-26.0-1.el9.noarch.rpm 7.8 MB/s | 124 kB 00:00 (2/12): python3-setuptools-69.0.2-1.el9.noarch. 35 MB/s | 978 kB 00:00 (3/12): expat-2.5.0-5.el9_7.1.x86_64.rpm 634 kB/s | 117 kB 00:00 (4/12): python3-setuptools-wheel-53.0.0-15.el9. 1.9 MB/s | 468 kB 00:00 (5/12): python3-pip-wheel-21.3.1-1.el9.noarch.r 4.2 MB/s | 1.1 MB 00:00 (6/12): python3-3.9.25-3.el9_7.2.x86_64.rpm 340 kB/s | 33 kB 00:00 (7/12): python3-rpm-generators-12-9.el9.noarch. 328 kB/s | 29 kB 00:00 (8/12): python3-rpm-macros-3.9-54.el9.noarch.rp 117 kB/s | 10 kB 00:00 (9/12): python3-libs-3.9.25-3.el9_7.2.x86_64.rp 42 MB/s | 8.1 MB 00:00 (10/12): python-rpm-macros-3.9-54.el9.noarch.rp 170 kB/s | 16 kB 00:00 (11/12): python3-devel-3.9.25-3.el9_7.2.x86_64. 1.8 MB/s | 252 kB 00:00 (12/12): pyproject-rpm-macros-1.16.2-1.el9.noar 462 kB/s | 46 kB 00:00 -------------------------------------------------------------------------------- Total 21 MB/s | 11 MB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : python-rpm-macros-3.9-54.el9.noarch 1/12 Installing : python3-rpm-macros-3.9-54.el9.noarch 2/12 Installing : expat-2.5.0-5.el9_7.1.x86_64 3/12 Installing : python3-setuptools-wheel-53.0.0-15.el9.noarch 4/12 Installing : python3-pip-wheel-21.3.1-1.el9.noarch 5/12 Installing : python3-3.9.25-3.el9_7.2.x86_64 6/12 Installing : python3-libs-3.9.25-3.el9_7.2.x86_64 7/12 Installing : python3-packaging-26.0-1.el9.noarch 8/12 Installing : python3-rpm-generators-12-9.el9.noarch 9/12 Installing : python3-setuptools-69.0.2-1.el9.noarch 10/12 Installing : python3-devel-3.9.25-3.el9_7.2.x86_64 11/12 Installing : pyproject-rpm-macros-1.16.2-1.el9.noarch 12/12 Running scriptlet: pyproject-rpm-macros-1.16.2-1.el9.noarch 12/12 Verifying : python3-packaging-26.0-1.el9.noarch 1/12 Verifying : python3-setuptools-69.0.2-1.el9.noarch 2/12 Verifying : python3-pip-wheel-21.3.1-1.el9.noarch 3/12 Verifying : python3-setuptools-wheel-53.0.0-15.el9.noarch 4/12 Verifying : expat-2.5.0-5.el9_7.1.x86_64 5/12 Verifying : python3-3.9.25-3.el9_7.2.x86_64 6/12 Verifying : python3-libs-3.9.25-3.el9_7.2.x86_64 7/12 Verifying : python3-rpm-generators-12-9.el9.noarch 8/12 Verifying : python3-rpm-macros-3.9-54.el9.noarch 9/12 Verifying : python-rpm-macros-3.9-54.el9.noarch 10/12 Verifying : python3-devel-3.9.25-3.el9_7.2.x86_64 11/12 Verifying : pyproject-rpm-macros-1.16.2-1.el9.noarch 12/12 Installed products updated. Installed: expat-2.5.0-5.el9_7.1.x86_64 pyproject-rpm-macros-1.16.2-1.el9.noarch python-rpm-macros-3.9-54.el9.noarch python3-3.9.25-3.el9_7.2.x86_64 python3-devel-3.9.25-3.el9_7.2.x86_64 python3-libs-3.9.25-3.el9_7.2.x86_64 python3-packaging-26.0-1.el9.noarch python3-pip-wheel-21.3.1-1.el9.noarch python3-rpm-generators-12-9.el9.noarch python3-rpm-macros-3.9-54.el9.noarch python3-setuptools-69.0.2-1.el9.noarch python3-setuptools-wheel-53.0.0-15.el9.noarch Complete! Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1775692800 Wrote: /builddir/build/SRPMS/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm No matches found for the following disable plugin patterns: local, spacewalk, versionlock Updating Subscription Management repositories. Unable to read consumer identity This system is not registered with an entitlement server. You can use subscription-manager to register. Copr repository 38 kB/s | 1.5 kB 00:00 Copr repository 237 MB/s | 68 MB 00:00 Red Hat Enterprise Linux - BaseOS 28 kB/s | 4.1 kB 00:00 Red Hat Enterprise Linux - AppStream 32 kB/s | 4.5 kB 00:00 Red Hat Enterprise Linux - CodeReady Linux Buil 31 kB/s | 4.5 kB 00:00 Extra Packages for Enterprise Linux 9 - x86_64 248 kB/s | 16 kB 00:00 Package python3-devel-3.9.25-3.el9_7.2.x86_64 is already installed. Dependencies resolved. Nothing to do. Complete! Finish: build setup for python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm Start: rpmbuild python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1775692800 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.x8v8xE + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf certora_cli_alpha_master-20260409.2.12.645071 + /usr/bin/gzip -dc /builddir/build/SOURCES/certora_cli_alpha_master-20260409.2.12.645071.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd certora_cli_alpha_master-20260409.2.12.645071 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + RPM_EC=0 ++ jobs -p + exit 0 Executing(%generate_buildrequires): /bin/sh -e /var/tmp/rpm-tmp.dWN8JE + umask 022 + cd /builddir/build/BUILD + cd certora_cli_alpha_master-20260409.2.12.645071 + echo pyproject-rpm-macros + echo python3-devel + echo 'python3dist(packaging)' + echo 'python3dist(pip) >= 19' + '[' -f pyproject.toml ']' + '[' -f setup.py ']' + echo 'python3dist(setuptools) >= 40.8' + rm -rfv '*.dist-info/' + '[' -f /usr/bin/python3 ']' + mkdir -p /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + echo -n + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' + LT_SYS_LIBRARY_PATH=/usr/lib64: + CC=gcc + CXX=g++ + TMPDIR=/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + RPM_TOXENV=py39 + HOSTNAME=rpmbuild + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_buildrequires.py --generate-extras --python3_pkgversion 3 --wheeldir /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/pyproject-wheeldir --output /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-buildrequires Handling setuptools >= 40.8 from default build backend Requirement satisfied: setuptools >= 40.8 (installed: setuptools 69.0.2) running egg_info writing certora_cli_alpha_master.egg-info/PKG-INFO writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt writing requirements to certora_cli_alpha_master.egg-info/requires.txt writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no files found matching 'gambit' under directory 'certora_bins' adding license file 'LICENSE' writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' Handling wheel from get_requires_for_build_wheel Requirement not satisfied: wheel Exiting dependency generation pass: get_requires_for_build_wheel + cat /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-buildrequires + rm -rfv '*.dist-info/' + RPM_EC=0 ++ jobs -p + exit 0 Wrote: /builddir/build/SRPMS/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.buildreqs.nosrc.rpm INFO: Going to install missing dynamic buildrequires No matches found for the following disable plugin patterns: local, spacewalk, versionlock Updating Subscription Management repositories. Unable to read consumer identity This system is not registered with an entitlement server. You can use subscription-manager to register. Copr repository 3.3 kB/s | 1.5 kB 00:00 Red Hat Enterprise Linux - BaseOS 26 kB/s | 4.1 kB 00:00 Red Hat Enterprise Linux - AppStream 31 kB/s | 4.5 kB 00:00 Red Hat Enterprise Linux - CodeReady Linux Buil 30 kB/s | 4.5 kB 00:00 Extra Packages for Enterprise Linux 9 - x86_64 120 kB/s | 16 kB 00:00 Package pyproject-rpm-macros-1.16.2-1.el9.noarch is already installed. Package python3-devel-3.9.25-3.el9_7.2.x86_64 is already installed. Package python3-devel-3.9.25-3.el9_7.2.x86_64 is already installed. Package python3-packaging-26.0-1.el9.noarch is already installed. Package python3-setuptools-69.0.2-1.el9.noarch is already installed. Dependencies resolved. ================================================================================ Package Arch Version Repository Size ================================================================================ Installing: python3-pip noarch 22.0.4-1.el9 copr_base 2.7 M python3-wheel noarch 1:0.36.2-8.el9 codeready-builder 87 k Transaction Summary ================================================================================ Install 2 Packages Total download size: 2.7 M Installed size: 13 M Downloading Packages: (1/2): python3-pip-22.0.4-1.el9.noarch.rpm 101 MB/s | 2.7 MB 00:00 (2/2): python3-wheel-0.36.2-8.el9.noarch.rpm 447 kB/s | 87 kB 00:00 -------------------------------------------------------------------------------- Total 14 MB/s | 2.7 MB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : python3-wheel-1:0.36.2-8.el9.noarch 1/2 Installing : python3-pip-22.0.4-1.el9.noarch 2/2 Running scriptlet: python3-pip-22.0.4-1.el9.noarch 2/2 Verifying : python3-pip-22.0.4-1.el9.noarch 1/2 Verifying : python3-wheel-1:0.36.2-8.el9.noarch 2/2 Installed products updated. Installed: python3-pip-22.0.4-1.el9.noarch python3-wheel-1:0.36.2-8.el9.noarch Complete! Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1775692800 Executing(%generate_buildrequires): /bin/sh -e /var/tmp/rpm-tmp.7t6CWW + umask 022 + cd /builddir/build/BUILD + cd certora_cli_alpha_master-20260409.2.12.645071 + echo pyproject-rpm-macros + echo python3-devel + echo 'python3dist(packaging)' + echo 'python3dist(pip) >= 19' + '[' -f pyproject.toml ']' + '[' -f setup.py ']' + echo 'python3dist(setuptools) >= 40.8' + rm -rfv '*.dist-info/' + '[' -f /usr/bin/python3 ']' + mkdir -p /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + echo -n + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' + LT_SYS_LIBRARY_PATH=/usr/lib64: + CC=gcc + CXX=g++ + TMPDIR=/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + RPM_TOXENV=py39 + HOSTNAME=rpmbuild + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_buildrequires.py --generate-extras --python3_pkgversion 3 --wheeldir /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/pyproject-wheeldir --output /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-buildrequires Handling setuptools >= 40.8 from default build backend Requirement satisfied: setuptools >= 40.8 (installed: setuptools 69.0.2) running egg_info writing certora_cli_alpha_master.egg-info/PKG-INFO writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt writing requirements to certora_cli_alpha_master.egg-info/requires.txt writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no files found matching 'gambit' under directory 'certora_bins' adding license file 'LICENSE' writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' Handling wheel from get_requires_for_build_wheel Requirement satisfied: wheel (installed: wheel 0.36.2) running dist_info writing certora_cli_alpha_master.egg-info/PKG-INFO writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt writing requirements to certora_cli_alpha_master.egg-info/requires.txt writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no files found matching 'gambit' under directory 'certora_bins' adding license file 'LICENSE' writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' creating '/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/certora_cli_alpha_master-20260409.2.12.645071.dist-info' adding license file "LICENSE" (matched pattern "LICEN[CS]E*") Handling click from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: click Handling json5 from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: json5 Handling pycryptodome from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: pycryptodome Handling requests from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: requests Handling rich from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: rich Handling sly from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: sly Handling tabulate from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: tabulate Handling tqdm from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: tqdm Handling StrEnum from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: StrEnum Handling jinja2 from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: jinja2 Handling wcmatch from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: wcmatch Handling typing-extensions from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement not satisfied: typing-extensions + cat /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-buildrequires + rm -rfv certora_cli_alpha_master-20260409.2.12.645071.dist-info/ removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/LICENSE' removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/METADATA' removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/entry_points.txt' removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/top_level.txt' removed directory 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/' + RPM_EC=0 ++ jobs -p + exit 0 Wrote: /builddir/build/SRPMS/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.buildreqs.nosrc.rpm INFO: Going to install missing dynamic buildrequires No matches found for the following disable plugin patterns: local, spacewalk, versionlock Updating Subscription Management repositories. Unable to read consumer identity This system is not registered with an entitlement server. You can use subscription-manager to register. Copr repository 3.4 kB/s | 1.5 kB 00:00 Red Hat Enterprise Linux - BaseOS 29 kB/s | 4.1 kB 00:00 Red Hat Enterprise Linux - AppStream 27 kB/s | 4.5 kB 00:00 Red Hat Enterprise Linux - CodeReady Linux Buil 30 kB/s | 4.5 kB 00:00 Extra Packages for Enterprise Linux 9 - x86_64 251 kB/s | 16 kB 00:00 Package pyproject-rpm-macros-1.16.2-1.el9.noarch is already installed. Package python3-devel-3.9.25-3.el9_7.2.x86_64 is already installed. Package python3-devel-3.9.25-3.el9_7.2.x86_64 is already installed. Package python3-packaging-26.0-1.el9.noarch is already installed. Package python3-pip-22.0.4-1.el9.noarch is already installed. Package python3-setuptools-69.0.2-1.el9.noarch is already installed. Package python3-wheel-1:0.36.2-8.el9.noarch is already installed. Dependencies resolved. ================================================================================ Package Arch Version Repository Size ================================================================================ Installing: python3-click noarch 8.1.8-1.el9 copr_base 163 k python3-jinja2 noarch 3.1.6-1.el9 copr_base 233 k python3-json5 noarch 0.14.0-1.el9 copr_base 54 k python3-pycryptodome x86_64 3.23.0-1.el9 copr_base 1.5 M python3-requests noarch 2.32.5-1.el9 copr_base 102 k python3-rich noarch 13.7.0-1.el9 copr_base 403 k python3-sly noarch 0.4-1.el9 copr_base 53 k python3-strenum noarch 0.4.15-1.el9 copr_base 20 k python3-tabulate noarch 0.8.10-11.el9 epel 52 k python3-tqdm noarch 4.66.1-1.el9 copr_base 114 k python3-typing-extensions noarch 4.15.0-1.el9 copr_base 76 k python3-wcmatch noarch 10.1-1.el9 copr_base 75 k Installing dependencies: python3-bracex noarch 2.6-1.el9 copr_base 24 k python3-certifi noarch 2026.2.25-1.el9 copr_base 150 k python3-charset-normalizer noarch 3.3.2-1.el9 copr_base 80 k python3-idna noarch 3.3-1.el9 copr_base 91 k python3-markdown-it-py noarch 3.0.0-1.el9 copr_base 134 k python3-markupsafe noarch 2.1.3-1.el9 copr_base 21 k python3-mdurl noarch 0.1.0-1.el9 copr_base 23 k python3-pygments noarch 2.19.2-1.el9 copr_base 1.7 M python3-urllib3 noarch 2.3.0-1.el9 copr_base 191 k Transaction Summary ================================================================================ Install 21 Packages Total download size: 5.3 M Installed size: 22 M Downloading Packages: (1/21): python3-certifi-2026.2.25-1.el9.noarch. 7.1 MB/s | 150 kB 00:00 (2/21): python3-charset-normalizer-3.3.2-1.el9. 3.7 MB/s | 80 kB 00:00 (3/21): python3-click-8.1.8-1.el9.noarch.rpm 21 MB/s | 163 kB 00:00 (4/21): python3-idna-3.3-1.el9.noarch.rpm 11 MB/s | 91 kB 00:00 (5/21): python3-json5-0.14.0-1.el9.noarch.rpm 537 kB/s | 54 kB 00:00 (6/21): python3-markdown-it-py-3.0.0-1.el9.noar 31 MB/s | 134 kB 00:00 (7/21): python3-markupsafe-2.1.3-1.el9.noarch.r 5.3 MB/s | 21 kB 00:00 (8/21): python3-mdurl-0.1.0-1.el9.noarch.rpm 5.6 MB/s | 23 kB 00:00 (9/21): python3-jinja2-3.1.6-1.el9.noarch.rpm 1.6 MB/s | 233 kB 00:00 (10/21): python3-pygments-2.19.2-1.el9.noarch.r 91 MB/s | 1.7 MB 00:00 (11/21): python3-requests-2.32.5-1.el9.noarch.r 19 MB/s | 102 kB 00:00 (12/21): python3-rich-13.7.0-1.el9.noarch.rpm 80 MB/s | 403 kB 00:00 (13/21): python3-sly-0.4-1.el9.noarch.rpm 586 kB/s | 53 kB 00:00 (14/21): python3-pycryptodome-3.23.0-1.el9.x86_ 4.1 MB/s | 1.5 MB 00:00 (15/21): python3-bracex-2.6-1.el9.noarch.rpm 42 kB/s | 24 kB 00:00 (16/21): python3-strenum-0.4.15-1.el9.noarch.rp 68 kB/s | 20 kB 00:00 (17/21): python3-typing-extensions-4.15.0-1.el9 25 MB/s | 76 kB 00:00 (18/21): python3-urllib3-2.3.0-1.el9.noarch.rpm 31 MB/s | 191 kB 00:00 (19/21): python3-tabulate-0.8.10-11.el9.noarch. 385 kB/s | 52 kB 00:00 (20/21): python3-wcmatch-10.1-1.el9.noarch.rpm 409 kB/s | 75 kB 00:00 (21/21): python3-tqdm-4.66.1-1.el9.noarch.rpm 277 kB/s | 114 kB 00:00 -------------------------------------------------------------------------------- Total 5.1 MB/s | 5.3 MB 00:01 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : python3-urllib3-2.3.0-1.el9.noarch 1/21 Installing : python3-pygments-2.19.2-1.el9.noarch 2/21 Installing : python3-mdurl-0.1.0-1.el9.noarch 3/21 Installing : python3-markdown-it-py-3.0.0-1.el9.noarch 4/21 Installing : python3-markupsafe-2.1.3-1.el9.noarch 5/21 Installing : python3-idna-3.3-1.el9.noarch 6/21 Installing : python3-charset-normalizer-3.3.2-1.el9.noarch 7/21 Installing : python3-certifi-2026.2.25-1.el9.noarch 8/21 Installing : python3-bracex-2.6-1.el9.noarch 9/21 Installing : python3-wcmatch-10.1-1.el9.noarch 10/21 Installing : python3-requests-2.32.5-1.el9.noarch 11/21 Installing : python3-jinja2-3.1.6-1.el9.noarch 12/21 Installing : python3-rich-13.7.0-1.el9.noarch 13/21 Installing : python3-tabulate-0.8.10-11.el9.noarch 14/21 Installing : python3-typing-extensions-4.15.0-1.el9.noarch 15/21 Installing : python3-tqdm-4.66.1-1.el9.noarch 16/21 Installing : python3-strenum-0.4.15-1.el9.noarch 17/21 Installing : python3-sly-0.4-1.el9.noarch 18/21 Installing : python3-pycryptodome-3.23.0-1.el9.x86_64 19/21 Installing : python3-json5-0.14.0-1.el9.noarch 20/21 Installing : python3-click-8.1.8-1.el9.noarch 21/21 Running scriptlet: python3-click-8.1.8-1.el9.noarch 21/21 Verifying : python3-bracex-2.6-1.el9.noarch 1/21 Verifying : python3-certifi-2026.2.25-1.el9.noarch 2/21 Verifying : python3-charset-normalizer-3.3.2-1.el9.noarch 3/21 Verifying : python3-click-8.1.8-1.el9.noarch 4/21 Verifying : python3-idna-3.3-1.el9.noarch 5/21 Verifying : python3-jinja2-3.1.6-1.el9.noarch 6/21 Verifying : python3-json5-0.14.0-1.el9.noarch 7/21 Verifying : python3-markdown-it-py-3.0.0-1.el9.noarch 8/21 Verifying : python3-markupsafe-2.1.3-1.el9.noarch 9/21 Verifying : python3-mdurl-0.1.0-1.el9.noarch 10/21 Verifying : python3-pycryptodome-3.23.0-1.el9.x86_64 11/21 Verifying : python3-pygments-2.19.2-1.el9.noarch 12/21 Verifying : python3-requests-2.32.5-1.el9.noarch 13/21 Verifying : python3-rich-13.7.0-1.el9.noarch 14/21 Verifying : python3-sly-0.4-1.el9.noarch 15/21 Verifying : python3-strenum-0.4.15-1.el9.noarch 16/21 Verifying : python3-tqdm-4.66.1-1.el9.noarch 17/21 Verifying : python3-typing-extensions-4.15.0-1.el9.noarch 18/21 Verifying : python3-urllib3-2.3.0-1.el9.noarch 19/21 Verifying : python3-wcmatch-10.1-1.el9.noarch 20/21 Verifying : python3-tabulate-0.8.10-11.el9.noarch 21/21 Installed products updated. Installed: python3-bracex-2.6-1.el9.noarch python3-certifi-2026.2.25-1.el9.noarch python3-charset-normalizer-3.3.2-1.el9.noarch python3-click-8.1.8-1.el9.noarch python3-idna-3.3-1.el9.noarch python3-jinja2-3.1.6-1.el9.noarch python3-json5-0.14.0-1.el9.noarch python3-markdown-it-py-3.0.0-1.el9.noarch python3-markupsafe-2.1.3-1.el9.noarch python3-mdurl-0.1.0-1.el9.noarch python3-pycryptodome-3.23.0-1.el9.x86_64 python3-pygments-2.19.2-1.el9.noarch python3-requests-2.32.5-1.el9.noarch python3-rich-13.7.0-1.el9.noarch python3-sly-0.4-1.el9.noarch python3-strenum-0.4.15-1.el9.noarch python3-tabulate-0.8.10-11.el9.noarch python3-tqdm-4.66.1-1.el9.noarch python3-typing-extensions-4.15.0-1.el9.noarch python3-urllib3-2.3.0-1.el9.noarch python3-wcmatch-10.1-1.el9.noarch Complete! Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1775692800 Executing(%generate_buildrequires): /bin/sh -e /var/tmp/rpm-tmp.yxWy8u + umask 022 + cd /builddir/build/BUILD + cd certora_cli_alpha_master-20260409.2.12.645071 + echo pyproject-rpm-macros + echo python3-devel + echo 'python3dist(packaging)' + echo 'python3dist(pip) >= 19' + '[' -f pyproject.toml ']' + '[' -f setup.py ']' + echo 'python3dist(setuptools) >= 40.8' + rm -rfv '*.dist-info/' + '[' -f /usr/bin/python3 ']' + mkdir -p /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + echo -n + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' + LT_SYS_LIBRARY_PATH=/usr/lib64: + CC=gcc + CXX=g++ + TMPDIR=/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + RPM_TOXENV=py39 + HOSTNAME=rpmbuild + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_buildrequires.py --generate-extras --python3_pkgversion 3 --wheeldir /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/pyproject-wheeldir --output /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-buildrequires Handling setuptools >= 40.8 from default build backend Requirement satisfied: setuptools >= 40.8 (installed: setuptools 69.0.2) running egg_info writing certora_cli_alpha_master.egg-info/PKG-INFO writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt writing requirements to certora_cli_alpha_master.egg-info/requires.txt writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no files found matching 'gambit' under directory 'certora_bins' adding license file 'LICENSE' writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' Handling wheel from get_requires_for_build_wheel Requirement satisfied: wheel (installed: wheel 0.36.2) running dist_info writing certora_cli_alpha_master.egg-info/PKG-INFO writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt writing requirements to certora_cli_alpha_master.egg-info/requires.txt writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no files found matching 'gambit' under directory 'certora_bins' adding license file 'LICENSE' writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' creating '/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/certora_cli_alpha_master-20260409.2.12.645071.dist-info' adding license file "LICENSE" (matched pattern "LICEN[CS]E*") Handling click from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: click (installed: click 8.1.8) Handling json5 from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: json5 (installed: json5 0.14.0) Handling pycryptodome from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: pycryptodome (installed: pycryptodome 3.23.0) Handling requests from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: requests (installed: requests 2.32.5) Handling rich from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: rich (installed: rich 13.7.0) Handling sly from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: sly (installed: sly 0.4) Handling tabulate from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: tabulate (installed: tabulate 0.8.10) Handling tqdm from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: tqdm (installed: tqdm 4.66.1) Handling StrEnum from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: StrEnum (installed: StrEnum 0.4.15) Handling jinja2 from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: jinja2 (installed: jinja2 3.1.6) Handling wcmatch from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: wcmatch (installed: wcmatch 10.1) Handling typing-extensions from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: typing-extensions (installed: typing-extensions 4.15.0) + cat /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-buildrequires + rm -rfv certora_cli_alpha_master-20260409.2.12.645071.dist-info/ removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/LICENSE' removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/METADATA' removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/top_level.txt' removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/entry_points.txt' removed directory 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/' + RPM_EC=0 ++ jobs -p + exit 0 Wrote: /builddir/build/SRPMS/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.buildreqs.nosrc.rpm INFO: Going to install missing dynamic buildrequires No matches found for the following disable plugin patterns: local, spacewalk, versionlock Updating Subscription Management repositories. Unable to read consumer identity This system is not registered with an entitlement server. You can use subscription-manager to register. Copr repository 75 kB/s | 1.5 kB 00:00 Red Hat Enterprise Linux - BaseOS 28 kB/s | 4.1 kB 00:00 Red Hat Enterprise Linux - AppStream 31 kB/s | 4.5 kB 00:00 Red Hat Enterprise Linux - CodeReady Linux Buil 31 kB/s | 4.5 kB 00:00 Extra Packages for Enterprise Linux 9 - x86_64 212 kB/s | 16 kB 00:00 Package pyproject-rpm-macros-1.16.2-1.el9.noarch is already installed. Package python3-devel-3.9.25-3.el9_7.2.x86_64 is already installed. Package python3-devel-3.9.25-3.el9_7.2.x86_64 is already installed. Package python3-click-8.1.8-1.el9.noarch is already installed. Package python3-jinja2-3.1.6-1.el9.noarch is already installed. Package python3-json5-0.14.0-1.el9.noarch is already installed. Package python3-packaging-26.0-1.el9.noarch is already installed. Package python3-pip-22.0.4-1.el9.noarch is already installed. Package python3-pycryptodome-3.23.0-1.el9.x86_64 is already installed. Package python3-requests-2.32.5-1.el9.noarch is already installed. Package python3-rich-13.7.0-1.el9.noarch is already installed. Package python3-setuptools-69.0.2-1.el9.noarch is already installed. Package python3-sly-0.4-1.el9.noarch is already installed. Package python3-strenum-0.4.15-1.el9.noarch is already installed. Package python3-tabulate-0.8.10-11.el9.noarch is already installed. Package python3-tqdm-4.66.1-1.el9.noarch is already installed. Package python3-typing-extensions-4.15.0-1.el9.noarch is already installed. Package python3-wcmatch-10.1-1.el9.noarch is already installed. Package python3-wheel-1:0.36.2-8.el9.noarch is already installed. Dependencies resolved. Nothing to do. Complete! Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1775692800 Executing(%generate_buildrequires): /bin/sh -e /var/tmp/rpm-tmp.VXWu4u + umask 022 + cd /builddir/build/BUILD + cd certora_cli_alpha_master-20260409.2.12.645071 + echo pyproject-rpm-macros + echo python3-devel + echo 'python3dist(packaging)' + echo 'python3dist(pip) >= 19' + '[' -f pyproject.toml ']' + '[' -f setup.py ']' + echo 'python3dist(setuptools) >= 40.8' + rm -rfv '*.dist-info/' + '[' -f /usr/bin/python3 ']' + mkdir -p /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + echo -n + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' + LT_SYS_LIBRARY_PATH=/usr/lib64: + CC=gcc + CXX=g++ + TMPDIR=/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + RPM_TOXENV=py39 + HOSTNAME=rpmbuild + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_buildrequires.py --generate-extras --python3_pkgversion 3 --wheeldir /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/pyproject-wheeldir --output /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-buildrequires Handling setuptools >= 40.8 from default build backend Requirement satisfied: setuptools >= 40.8 (installed: setuptools 69.0.2) running egg_info writing certora_cli_alpha_master.egg-info/PKG-INFO writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt writing requirements to certora_cli_alpha_master.egg-info/requires.txt writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no files found matching 'gambit' under directory 'certora_bins' adding license file 'LICENSE' writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' Handling wheel from get_requires_for_build_wheel Requirement satisfied: wheel (installed: wheel 0.36.2) running dist_info writing certora_cli_alpha_master.egg-info/PKG-INFO writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt writing requirements to certora_cli_alpha_master.egg-info/requires.txt writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no files found matching 'gambit' under directory 'certora_bins' adding license file 'LICENSE' writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' creating '/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/certora_cli_alpha_master-20260409.2.12.645071.dist-info' adding license file "LICENSE" (matched pattern "LICEN[CS]E*") Handling click from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: click (installed: click 8.1.8) Handling json5 from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: json5 (installed: json5 0.14.0) Handling pycryptodome from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: pycryptodome (installed: pycryptodome 3.23.0) Handling requests from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: requests (installed: requests 2.32.5) Handling rich from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: rich (installed: rich 13.7.0) Handling sly from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: sly (installed: sly 0.4) Handling tabulate from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: tabulate (installed: tabulate 0.8.10) Handling tqdm from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: tqdm (installed: tqdm 4.66.1) Handling StrEnum from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: StrEnum (installed: StrEnum 0.4.15) Handling jinja2 from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: jinja2 (installed: jinja2 3.1.6) Handling wcmatch from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: wcmatch (installed: wcmatch 10.1) Handling typing-extensions from hook generated metadata: Requires-Dist (certora-cli-alpha-master) Requirement satisfied: typing-extensions (installed: typing-extensions 4.15.0) + cat /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-buildrequires + rm -rfv certora_cli_alpha_master-20260409.2.12.645071.dist-info/ removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/LICENSE' removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/METADATA' removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/entry_points.txt' removed 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/top_level.txt' removed directory 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.MAHbYt + umask 022 + cd /builddir/build/BUILD + cd certora_cli_alpha_master-20260409.2.12.645071 + mkdir -p /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -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-v2 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib64/gfortran/modules' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 ' + LT_SYS_LIBRARY_PATH=/usr/lib64: + CC=gcc + CXX=g++ + TMPDIR=/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + /usr/bin/python3 -Bs /usr/lib/rpm/redhat/pyproject_wheel.py /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/pyproject-wheeldir Processing /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071 Preparing metadata (pyproject.toml): started Running command Preparing metadata (pyproject.toml) running dist_info creating /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-modern-metadata-6j3met5l/certora_cli_alpha_master.egg-info writing /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-modern-metadata-6j3met5l/certora_cli_alpha_master.egg-info/PKG-INFO writing dependency_links to /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-modern-metadata-6j3met5l/certora_cli_alpha_master.egg-info/dependency_links.txt writing entry points to /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-modern-metadata-6j3met5l/certora_cli_alpha_master.egg-info/entry_points.txt writing requirements to /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-modern-metadata-6j3met5l/certora_cli_alpha_master.egg-info/requires.txt writing top-level names to /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-modern-metadata-6j3met5l/certora_cli_alpha_master.egg-info/top_level.txt writing manifest file '/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-modern-metadata-6j3met5l/certora_cli_alpha_master.egg-info/SOURCES.txt' reading manifest file '/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-modern-metadata-6j3met5l/certora_cli_alpha_master.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no files found matching 'gambit' under directory 'certora_bins' adding license file 'LICENSE' writing manifest file '/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-modern-metadata-6j3met5l/certora_cli_alpha_master.egg-info/SOURCES.txt' creating '/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-modern-metadata-6j3met5l/certora_cli_alpha_master-20260409.2.12.645071.dist-info' adding license file "LICENSE" (matched pattern "LICEN[CS]E*") Preparing metadata (pyproject.toml): finished with status 'done' Building wheels for collected packages: certora-cli-alpha-master Building wheel for certora-cli-alpha-master (pyproject.toml): started Running command Building wheel for certora-cli-alpha-master (pyproject.toml) running bdist_wheel running build running build_py creating build creating build/lib creating build/lib/certora_jars copying certora_jars/__init__.py -> build/lib/certora_jars creating build/lib/certora_cli copying certora_cli/rustMutator.py -> build/lib/certora_cli copying certora_cli/certoraSuiProver.py -> build/lib/certora_cli copying certora_cli/certoraSorobanProver.py -> build/lib/certora_cli copying certora_cli/certoraSolanaProver.py -> build/lib/certora_cli copying certora_cli/certoraRun.py -> build/lib/certora_cli copying certora_cli/certoraRanger.py -> build/lib/certora_cli copying certora_cli/certoraMutate.py -> build/lib/certora_cli copying certora_cli/certoraEqCheck.py -> build/lib/certora_cli copying certora_cli/certoraEVMProver.py -> build/lib/certora_cli copying certora_cli/certoraConcord.py -> build/lib/certora_cli copying certora_cli/certoraCVLFormatter.py -> build/lib/certora_cli copying certora_cli/__init__.py -> build/lib/certora_cli creating build/lib/certora_bins copying certora_bins/__init__.py -> build/lib/certora_bins creating build/lib/certora_cli/Shared copying certora_cli/Shared/proverCommon.py -> build/lib/certora_cli/Shared copying certora_cli/Shared/certoraValidateFuncs.py -> build/lib/certora_cli/Shared copying certora_cli/Shared/certoraUtils.py -> build/lib/certora_cli/Shared copying certora_cli/Shared/certoraLogging.py -> build/lib/certora_cli/Shared copying certora_cli/Shared/certoraAttrUtil.py -> build/lib/certora_cli/Shared copying certora_cli/Shared/__init__.py -> build/lib/certora_cli/Shared copying certora_cli/Shared/ExpectedComparator.py -> build/lib/certora_cli/Shared creating build/lib/certora_cli/Mutate copying certora_cli/Mutate/mutateValidate.py -> build/lib/certora_cli/Mutate copying certora_cli/Mutate/mutateUtil.py -> build/lib/certora_cli/Mutate copying certora_cli/Mutate/mutateConstants.py -> build/lib/certora_cli/Mutate copying certora_cli/Mutate/mutateAttributes.py -> build/lib/certora_cli/Mutate copying certora_cli/Mutate/mutateApp.py -> build/lib/certora_cli/Mutate copying certora_cli/Mutate/__init__.py -> build/lib/certora_cli/Mutate creating build/lib/certora_cli/EquivalenceCheck copying certora_cli/EquivalenceCheck/equivCheck.py -> build/lib/certora_cli/EquivalenceCheck copying certora_cli/EquivalenceCheck/__init__.py -> build/lib/certora_cli/EquivalenceCheck creating build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/storageExtension.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/splitRules.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/erc7201.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraType.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraSourceFinders.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraProjectScanner.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraParseBuildScript.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraOffsetConverter.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraNodeFilters.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraJobList.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraExtensionInfo.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraContractFuncs.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraContextValidator.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraContextClass.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraContextAttributes.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraContext.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraConfigIO.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraCompilerParameters.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraCloudIO.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraBuildSui.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraBuildRust.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraBuild.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/certoraApp.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/castingInstrumenter.py -> build/lib/certora_cli/CertoraProver copying certora_cli/CertoraProver/__init__.py -> build/lib/certora_cli/CertoraProver creating build/lib/certora_cli/CertoraProver/Compiler copying certora_cli/CertoraProver/Compiler/__init__.py -> build/lib/certora_cli/CertoraProver/Compiler copying certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/lib/certora_cli/CertoraProver/Compiler copying certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/lib/certora_cli/CertoraProver/Compiler copying certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/lib/certora_cli/CertoraProver/Compiler copying certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/lib/certora_cli/CertoraProver/Compiler copying certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/lib/certora_cli/CertoraProver/Compiler copying certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/lib/certora_cli/CertoraProver/Compiler running egg_info writing certora_cli_alpha_master.egg-info/PKG-INFO writing dependency_links to certora_cli_alpha_master.egg-info/dependency_links.txt writing entry points to certora_cli_alpha_master.egg-info/entry_points.txt writing requirements to certora_cli_alpha_master.egg-info/requires.txt writing top-level names to certora_cli_alpha_master.egg-info/top_level.txt reading manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' warning: no files found matching 'gambit' under directory 'certora_bins' adding license file 'LICENSE' writing manifest file 'certora_cli_alpha_master.egg-info/SOURCES.txt' copying certora_jars/ASTExtraction.jar -> build/lib/certora_jars copying certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/lib/certora_jars copying certora_jars/Typechecker.jar -> build/lib/certora_jars copying certora_cli/EquivalenceCheck/Eq_default.conf -> build/lib/certora_cli/EquivalenceCheck copying certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/lib/certora_cli/EquivalenceCheck copying certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/lib/certora_cli/EquivalenceCheck copying certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/lib/certora_cli/EquivalenceCheck copying certora_cli/EquivalenceCheck/Eq_template.spec -> build/lib/certora_cli/EquivalenceCheck copying certora_cli/EquivalenceCheck/sanity.spec -> build/lib/certora_cli/EquivalenceCheck installing to build/bdist.linux-x86_64/wheel running install running install_lib creating build/bdist.linux-x86_64 creating build/bdist.linux-x86_64/wheel creating build/bdist.linux-x86_64/wheel/certora_bins copying build/lib/certora_bins/__init__.py -> build/bdist.linux-x86_64/wheel/certora_bins creating build/bdist.linux-x86_64/wheel/certora_cli creating build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver creating build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver/Compiler copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollector.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver/Compiler copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver/Compiler copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver/Compiler copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver/Compiler copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver/Compiler copying build/lib/certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver/Compiler copying build/lib/certora_cli/CertoraProver/Compiler/__init__.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver/Compiler copying build/lib/certora_cli/CertoraProver/__init__.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/castingInstrumenter.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraApp.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraBuild.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraBuildCacheManager.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraBuildDataClasses.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraBuildRust.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraBuildSui.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraCloudIO.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraCollectConfigurationLayout.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraCollectRunMetadata.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraCompilerParameters.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraConfigIO.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraContext.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraContextAttributes.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraContextClass.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraContextValidator.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraContractFuncs.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraExtensionInfo.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraJobList.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraMiniSpecParser.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraNodeFilters.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraOffsetConverter.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraParseBuildScript.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraProjectScanner.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraSourceFinders.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraType.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/certoraVerifyGenerator.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/erc7201.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/splitRules.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/storageExtension.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver copying build/lib/certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py -> build/bdist.linux-x86_64/wheel/certora_cli/CertoraProver creating build/bdist.linux-x86_64/wheel/certora_cli/EquivalenceCheck copying build/lib/certora_cli/EquivalenceCheck/sanity.spec -> build/bdist.linux-x86_64/wheel/certora_cli/EquivalenceCheck copying build/lib/certora_cli/EquivalenceCheck/Eq_template.spec -> build/bdist.linux-x86_64/wheel/certora_cli/EquivalenceCheck copying build/lib/certora_cli/EquivalenceCheck/Eq_sanity.conf -> build/bdist.linux-x86_64/wheel/certora_cli/EquivalenceCheck copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_template.spec -> build/bdist.linux-x86_64/wheel/certora_cli/EquivalenceCheck copying build/lib/certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec -> build/bdist.linux-x86_64/wheel/certora_cli/EquivalenceCheck copying build/lib/certora_cli/EquivalenceCheck/Eq_default.conf -> build/bdist.linux-x86_64/wheel/certora_cli/EquivalenceCheck copying build/lib/certora_cli/EquivalenceCheck/__init__.py -> build/bdist.linux-x86_64/wheel/certora_cli/EquivalenceCheck copying build/lib/certora_cli/EquivalenceCheck/equivCheck.py -> build/bdist.linux-x86_64/wheel/certora_cli/EquivalenceCheck creating build/bdist.linux-x86_64/wheel/certora_cli/Mutate copying build/lib/certora_cli/Mutate/__init__.py -> build/bdist.linux-x86_64/wheel/certora_cli/Mutate copying build/lib/certora_cli/Mutate/mutateApp.py -> build/bdist.linux-x86_64/wheel/certora_cli/Mutate copying build/lib/certora_cli/Mutate/mutateAttributes.py -> build/bdist.linux-x86_64/wheel/certora_cli/Mutate copying build/lib/certora_cli/Mutate/mutateConstants.py -> build/bdist.linux-x86_64/wheel/certora_cli/Mutate copying build/lib/certora_cli/Mutate/mutateUtil.py -> build/bdist.linux-x86_64/wheel/certora_cli/Mutate copying build/lib/certora_cli/Mutate/mutateValidate.py -> build/bdist.linux-x86_64/wheel/certora_cli/Mutate creating build/bdist.linux-x86_64/wheel/certora_cli/Shared copying build/lib/certora_cli/Shared/ExpectedComparator.py -> build/bdist.linux-x86_64/wheel/certora_cli/Shared copying build/lib/certora_cli/Shared/__init__.py -> build/bdist.linux-x86_64/wheel/certora_cli/Shared copying build/lib/certora_cli/Shared/certoraAttrUtil.py -> build/bdist.linux-x86_64/wheel/certora_cli/Shared copying build/lib/certora_cli/Shared/certoraLogging.py -> build/bdist.linux-x86_64/wheel/certora_cli/Shared copying build/lib/certora_cli/Shared/certoraUtils.py -> build/bdist.linux-x86_64/wheel/certora_cli/Shared copying build/lib/certora_cli/Shared/certoraValidateFuncs.py -> build/bdist.linux-x86_64/wheel/certora_cli/Shared copying build/lib/certora_cli/Shared/proverCommon.py -> build/bdist.linux-x86_64/wheel/certora_cli/Shared copying build/lib/certora_cli/__init__.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/certoraCVLFormatter.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/certoraConcord.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/certoraEVMProver.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/certoraEqCheck.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/certoraMutate.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/certoraRanger.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/certoraRun.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/certoraSolanaProver.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/certoraSorobanProver.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/certoraSuiProver.py -> build/bdist.linux-x86_64/wheel/certora_cli copying build/lib/certora_cli/rustMutator.py -> build/bdist.linux-x86_64/wheel/certora_cli creating build/bdist.linux-x86_64/wheel/certora_jars copying build/lib/certora_jars/Typechecker.jar -> build/bdist.linux-x86_64/wheel/certora_jars copying build/lib/certora_jars/CERTORA-CLI-VERSION-METADATA.json -> build/bdist.linux-x86_64/wheel/certora_jars copying build/lib/certora_jars/ASTExtraction.jar -> build/bdist.linux-x86_64/wheel/certora_jars copying build/lib/certora_jars/__init__.py -> build/bdist.linux-x86_64/wheel/certora_jars running install_egg_info Copying certora_cli_alpha_master.egg-info to build/bdist.linux-x86_64/wheel/certora_cli_alpha_master-20260409.2.12.645071-py3.9.egg-info running install_scripts adding license file "LICENSE" (matched pattern "LICEN[CS]E*") creating build/bdist.linux-x86_64/wheel/certora_cli_alpha_master-20260409.2.12.645071.dist-info/WHEEL creating '/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir/pip-wheel-mr58fcv7/.tmp-l0kuclii/certora_cli_alpha_master-20260409.2.12.645071-py3-none-any.whl' and adding 'build/bdist.linux-x86_64/wheel' to it adding 'certora_bins/__init__.py' adding 'certora_cli/__init__.py' adding 'certora_cli/certoraCVLFormatter.py' adding 'certora_cli/certoraConcord.py' adding 'certora_cli/certoraEVMProver.py' adding 'certora_cli/certoraEqCheck.py' adding 'certora_cli/certoraMutate.py' adding 'certora_cli/certoraRanger.py' adding 'certora_cli/certoraRun.py' adding 'certora_cli/certoraSolanaProver.py' adding 'certora_cli/certoraSorobanProver.py' adding 'certora_cli/certoraSuiProver.py' adding 'certora_cli/rustMutator.py' adding 'certora_cli/CertoraProver/__init__.py' adding 'certora_cli/CertoraProver/castingInstrumenter.py' adding 'certora_cli/CertoraProver/certoraApp.py' adding 'certora_cli/CertoraProver/certoraBuild.py' adding 'certora_cli/CertoraProver/certoraBuildCacheManager.py' adding 'certora_cli/CertoraProver/certoraBuildDataClasses.py' adding 'certora_cli/CertoraProver/certoraBuildRust.py' adding 'certora_cli/CertoraProver/certoraBuildSui.py' adding 'certora_cli/CertoraProver/certoraCloudIO.py' adding 'certora_cli/CertoraProver/certoraCollectConfigurationLayout.py' adding 'certora_cli/CertoraProver/certoraCollectRunMetadata.py' adding 'certora_cli/CertoraProver/certoraCompilerParameters.py' adding 'certora_cli/CertoraProver/certoraConfigIO.py' adding 'certora_cli/CertoraProver/certoraContext.py' adding 'certora_cli/CertoraProver/certoraContextAttributes.py' adding 'certora_cli/CertoraProver/certoraContextClass.py' adding 'certora_cli/CertoraProver/certoraContextValidator.py' adding 'certora_cli/CertoraProver/certoraContractFuncs.py' adding 'certora_cli/CertoraProver/certoraExtensionInfo.py' adding 'certora_cli/CertoraProver/certoraJobList.py' adding 'certora_cli/CertoraProver/certoraMiniSpecParser.py' adding 'certora_cli/CertoraProver/certoraNodeFilters.py' adding 'certora_cli/CertoraProver/certoraOffsetConverter.py' adding 'certora_cli/CertoraProver/certoraParseBuildScript.py' adding 'certora_cli/CertoraProver/certoraProjectScanner.py' adding 'certora_cli/CertoraProver/certoraSourceFinders.py' adding 'certora_cli/CertoraProver/certoraType.py' adding 'certora_cli/CertoraProver/certoraVerifyGenerator.py' adding 'certora_cli/CertoraProver/erc7201.py' adding 'certora_cli/CertoraProver/splitRules.py' adding 'certora_cli/CertoraProver/storageExtension.py' adding 'certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py' adding 'certora_cli/CertoraProver/Compiler/CompilerCollector.py' adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py' adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py' adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py' adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py' adding 'certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py' adding 'certora_cli/CertoraProver/Compiler/__init__.py' adding 'certora_cli/EquivalenceCheck/Eq_default.conf' adding 'certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec' adding 'certora_cli/EquivalenceCheck/Eq_mc_template.spec' adding 'certora_cli/EquivalenceCheck/Eq_sanity.conf' adding 'certora_cli/EquivalenceCheck/Eq_template.spec' adding 'certora_cli/EquivalenceCheck/__init__.py' adding 'certora_cli/EquivalenceCheck/equivCheck.py' adding 'certora_cli/EquivalenceCheck/sanity.spec' adding 'certora_cli/Mutate/__init__.py' adding 'certora_cli/Mutate/mutateApp.py' adding 'certora_cli/Mutate/mutateAttributes.py' adding 'certora_cli/Mutate/mutateConstants.py' adding 'certora_cli/Mutate/mutateUtil.py' adding 'certora_cli/Mutate/mutateValidate.py' adding 'certora_cli/Shared/ExpectedComparator.py' adding 'certora_cli/Shared/__init__.py' adding 'certora_cli/Shared/certoraAttrUtil.py' adding 'certora_cli/Shared/certoraLogging.py' adding 'certora_cli/Shared/certoraUtils.py' adding 'certora_cli/Shared/certoraValidateFuncs.py' adding 'certora_cli/Shared/proverCommon.py' adding 'certora_jars/ASTExtraction.jar' adding 'certora_jars/CERTORA-CLI-VERSION-METADATA.json' adding 'certora_jars/Typechecker.jar' adding 'certora_jars/__init__.py' adding 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/LICENSE' adding 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/METADATA' adding 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/WHEEL' adding 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/entry_points.txt' adding 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/top_level.txt' adding 'certora_cli_alpha_master-20260409.2.12.645071.dist-info/RECORD' removing build/bdist.linux-x86_64/wheel Building wheel for certora-cli-alpha-master (pyproject.toml): finished with status 'done' Created wheel for certora-cli-alpha-master: filename=certora_cli_alpha_master-20260409.2.12.645071-py3-none-any.whl size=43252455 sha256=c729da2db0794ae24e82ebdce7c9ad64d690e096e9ff0a59280e3425a91b91cb Stored in directory: /builddir/.cache/pip/wheels/00/38/19/ac4c411f508f78fa7e74d33b00b67c307db97457230cc3fa95 Successfully built certora-cli-alpha-master + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.I2uRWQ + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64 ++ dirname /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64 + cd certora_cli_alpha_master-20260409.2.12.645071 ++ ls /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/pyproject-wheeldir/certora_cli_alpha_master-20260409.2.12.645071-py3-none-any.whl ++ xargs basename --multiple ++ sed -E 's/([^-]+)-([^-]+)-.+\.whl/\1==\2/' + specifier=certora_cli_alpha_master==20260409.2.12.645071 + '[' -z certora_cli_alpha_master==20260409.2.12.645071 ']' + TMPDIR=/builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/.pyproject-builddir + /usr/bin/python3 -m pip install --root /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64 --prefix /usr --no-deps --disable-pip-version-check --progress-bar off --verbose --ignore-installed --no-warn-script-location --no-index --no-cache-dir --find-links /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/pyproject-wheeldir certora_cli_alpha_master==20260409.2.12.645071 Using pip 22.0.4 from /usr/lib/python3.9/site-packages/pip (python 3.9) Looking in links: /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071/pyproject-wheeldir Processing ./pyproject-wheeldir/certora_cli_alpha_master-20260409.2.12.645071-py3-none-any.whl Installing collected packages: certora_cli_alpha_master Creating /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin changing mode of /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraCVLFormatter to 755 changing mode of /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraEVMProver to 755 changing mode of /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraEqCheck to 755 changing mode of /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraMutate to 755 changing mode of /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraRanger to 755 changing mode of /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraRun to 755 changing mode of /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraSolanaProver to 755 changing mode of /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraSorobanProver to 755 changing mode of /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraSuiProver to 755 Successfully installed certora_cli_alpha_master-20260409.2.12.645071 + '[' -d /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin ']' + '[' -z s ']' + shebang_flags=-kas + /usr/bin/python3 -B /usr/lib/rpm/redhat/pathfix.py -pni /usr/bin/python3 -kas /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraCVLFormatter /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraEVMProver /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraEqCheck /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraMutate /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraRanger /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraRun /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraSolanaProver /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraSorobanProver /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraSuiProver /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraCVLFormatter: updating /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraEVMProver: updating /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraEqCheck: updating /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraMutate: updating /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraRanger: updating /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraRun: updating /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraSolanaProver: updating /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraSorobanProver: updating /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/certoraSuiProver: updating + rm -rfv /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin/__pycache__ + rm -f /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-ghost-distinfo + site_dirs=() + '[' -d /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9/site-packages ']' + site_dirs+=("/usr/lib/python3.9/site-packages") + '[' /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib64/python3.9/site-packages '!=' /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9/site-packages ']' + '[' -d /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib64/python3.9/site-packages ']' + for site_dir in ${site_dirs[@]} + for distinfo in /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64$site_dir/*.dist-info + echo '%ghost /usr/lib/python3.9/site-packages/certora_cli_alpha_master-20260409.2.12.645071.dist-info' + sed -i s/pip/rpm/ /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9/site-packages/certora_cli_alpha_master-20260409.2.12.645071.dist-info/INSTALLER + PYTHONPATH=/usr/lib/rpm/redhat + /usr/bin/python3 -B /usr/lib/rpm/redhat/pyproject_preprocess_record.py --buildroot /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64 --record /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9/site-packages/certora_cli_alpha_master-20260409.2.12.645071.dist-info/RECORD --output /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-record + rm -fv /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9/site-packages/certora_cli_alpha_master-20260409.2.12.645071.dist-info/RECORD removed '/builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9/site-packages/certora_cli_alpha_master-20260409.2.12.645071.dist-info/RECORD' + rm -fv /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9/site-packages/certora_cli_alpha_master-20260409.2.12.645071.dist-info/REQUESTED removed '/builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9/site-packages/certora_cli_alpha_master-20260409.2.12.645071.dist-info/REQUESTED' ++ wc -l /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-ghost-distinfo ++ cut -f1 '-d ' + lines=1 + '[' 1 -ne 1 ']' + RPM_FILES_ESCAPE=4.18 + /usr/bin/python3 /usr/lib/rpm/redhat/pyproject_save_files.py --output-files /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-files --output-modules /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-modules --buildroot /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64 --sitelib /usr/lib/python3.9/site-packages --sitearch /usr/lib64/python3.9/site-packages --python-version 3.9 --pyproject-record /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-record --prefix /usr '*' +auto + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 20260409.2.12.645071-1.el9 --unique-debug-suffix -20260409.2.12.645071-1.el9.x86_64 --unique-debug-src-base python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 --remove-section .gnu.build.attributes -S debugsourcefiles.list /builddir/build/BUILD/certora_cli_alpha_master-20260409.2.12.645071 find: 'debug': No such file or directory + /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/redhat/brp-python-bytecompile '' 1 0 Bytecompiling .py files below /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9 using python3.9 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.rkmYIt + umask 022 + cd /builddir/build/BUILD + cd certora_cli_alpha_master-20260409.2.12.645071 ++ cat /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-modules + '[' -z 'certora_bins certora_cli certora_cli.CertoraProver certora_cli.CertoraProver.Compiler certora_cli.CertoraProver.Compiler.CompilerCollector certora_cli.CertoraProver.Compiler.CompilerCollectorFactory certora_cli.CertoraProver.Compiler.CompilerCollectorSol certora_cli.CertoraProver.Compiler.CompilerCollectorSolBased certora_cli.CertoraProver.Compiler.CompilerCollectorVy certora_cli.CertoraProver.Compiler.CompilerCollectorYul certora_cli.CertoraProver.castingInstrumenter certora_cli.CertoraProver.certoraApp certora_cli.CertoraProver.certoraBuild certora_cli.CertoraProver.certoraBuildCacheManager certora_cli.CertoraProver.certoraBuildDataClasses certora_cli.CertoraProver.certoraBuildRust certora_cli.CertoraProver.certoraBuildSui certora_cli.CertoraProver.certoraCloudIO certora_cli.CertoraProver.certoraCollectConfigurationLayout certora_cli.CertoraProver.certoraCollectRunMetadata certora_cli.CertoraProver.certoraCompilerParameters certora_cli.CertoraProver.certoraConfigIO certora_cli.CertoraProver.certoraContext certora_cli.CertoraProver.certoraContextAttributes certora_cli.CertoraProver.certoraContextClass certora_cli.CertoraProver.certoraContextValidator certora_cli.CertoraProver.certoraContractFuncs certora_cli.CertoraProver.certoraExtensionInfo certora_cli.CertoraProver.certoraJobList certora_cli.CertoraProver.certoraMiniSpecParser certora_cli.CertoraProver.certoraNodeFilters certora_cli.CertoraProver.certoraOffsetConverter certora_cli.CertoraProver.certoraParseBuildScript certora_cli.CertoraProver.certoraProjectScanner certora_cli.CertoraProver.certoraSourceFinders certora_cli.CertoraProver.certoraType certora_cli.CertoraProver.certoraVerifyGenerator certora_cli.CertoraProver.erc7201 certora_cli.CertoraProver.splitRules certora_cli.CertoraProver.storageExtension certora_cli.CertoraProver.uncheckedOverflowInstrumenter certora_cli.EquivalenceCheck certora_cli.EquivalenceCheck.equivCheck certora_cli.Mutate certora_cli.Mutate.mutateApp certora_cli.Mutate.mutateAttributes certora_cli.Mutate.mutateConstants certora_cli.Mutate.mutateUtil certora_cli.Mutate.mutateValidate certora_cli.Shared certora_cli.Shared.ExpectedComparator certora_cli.Shared.certoraAttrUtil certora_cli.Shared.certoraLogging certora_cli.Shared.certoraUtils certora_cli.Shared.certoraValidateFuncs certora_cli.Shared.proverCommon certora_cli.certoraCVLFormatter certora_cli.certoraConcord certora_cli.certoraEVMProver certora_cli.certoraEqCheck certora_cli.certoraMutate certora_cli.certoraRanger certora_cli.certoraRun certora_cli.certoraSolanaProver certora_cli.certoraSorobanProver certora_cli.certoraSuiProver certora_cli.rustMutator certora_jars' ']' + '[' '!' -f /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-modules ']' + PATH=/builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/sbin + PYTHONPATH=/builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib64/python3.9/site-packages:/builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9/site-packages + _PYTHONSITE=/builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib64/python3.9/site-packages:/builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64/usr/lib/python3.9/site-packages + PYTHONDONTWRITEBYTECODE=1 + /usr/bin/python3 -s /usr/lib/rpm/redhat/import_all_modules.py -f /builddir/build/BUILD/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64-pyproject-modules -t Check import: certora_bins Check import: certora_cli Check import: certora_jars + RPM_EC=0 ++ jobs -p + exit 0 Processing files: python3-certora-cli-alpha-master-20260409.2.12.645071-1.el9.noarch /usr/lib/rpm/pythondistdeps.py:121: DeprecationWarning: Version._version is private and will be removed soon if isinstance(version._version, str): /usr/lib/rpm/pythondistdeps.py:124: DeprecationWarning: Version._version is private and will be removed soon self.epoch = version._version.epoch /usr/lib/rpm/pythondistdeps.py:125: DeprecationWarning: Version._version is private and will be removed soon self.version = list(version._version.release) /usr/lib/rpm/pythondistdeps.py:126: DeprecationWarning: Version._version is private and will be removed soon self.pre = version._version.pre /usr/lib/rpm/pythondistdeps.py:127: DeprecationWarning: Version._version is private and will be removed soon self.dev = version._version.dev /usr/lib/rpm/pythondistdeps.py:128: DeprecationWarning: Version._version is private and will be removed soon self.post = version._version.post /usr/lib/rpm/pythondistdeps.py:121: DeprecationWarning: Version._version is private and will be removed soon if isinstance(version._version, str): /usr/lib/rpm/pythondistdeps.py:124: DeprecationWarning: Version._version is private and will be removed soon self.epoch = version._version.epoch /usr/lib/rpm/pythondistdeps.py:125: DeprecationWarning: Version._version is private and will be removed soon self.version = list(version._version.release) /usr/lib/rpm/pythondistdeps.py:126: DeprecationWarning: Version._version is private and will be removed soon self.pre = version._version.pre /usr/lib/rpm/pythondistdeps.py:127: DeprecationWarning: Version._version is private and will be removed soon self.dev = version._version.dev /usr/lib/rpm/pythondistdeps.py:128: DeprecationWarning: Version._version is private and will be removed soon self.post = version._version.post Provides: python-certora-cli-alpha-master = 20260409.2.12.645071-1.el9 python3-certora-cli-alpha-master = 20260409.2.12.645071-1.el9 python3.9-certora-cli-alpha-master = 20260409.2.12.645071-1.el9 python3.9dist(certora-cli-alpha-master) = 20260409.2.12.645071 python3dist(certora-cli-alpha-master) = 20260409.2.12.645071 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /usr/bin/python3 python(abi) = 3.9 python3.9dist(click) python3.9dist(jinja2) python3.9dist(json5) python3.9dist(pycryptodome) python3.9dist(requests) python3.9dist(rich) python3.9dist(sly) python3.9dist(strenum) python3.9dist(tabulate) python3.9dist(tqdm) python3.9dist(typing-extensions) python3.9dist(wcmatch) Obsoletes: python39-certora-cli-alpha-master < 20260409.2.12.645071-1.el9 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64 Wrote: /builddir/build/SRPMS/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm Wrote: /builddir/build/RPMS/python3-certora-cli-alpha-master-20260409.2.12.645071-1.el9.noarch.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.qtpX91 + umask 022 + cd /builddir/build/BUILD + cd certora_cli_alpha_master-20260409.2.12.645071 + /usr/bin/rm -rf /builddir/build/BUILDROOT/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm Finish: build phase for python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/rhel+epel-9-x86_64-1775704082.002419/root/var/log/dnf.rpm.log /var/lib/mock/rhel+epel-9-x86_64-1775704082.002419/root/var/log/dnf.librepo.log /var/lib/mock/rhel+epel-9-x86_64-1775704082.002419/root/var/log/dnf.log INFO: chroot_scan: creating tarball /var/lib/copr-rpmbuild/results/chroot_scan.tar.gz /bin/tar: Removing leading `/' from member names INFO: Done(/var/lib/copr-rpmbuild/results/python-certora-cli-alpha-master-20260409.2.12.645071-1.el9.src.rpm) Config(child) 2 minutes 20 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": "python3-certora-cli-alpha-master", "epoch": null, "version": "20260409.2.12.645071", "release": "1.el9", "arch": "noarch" }, { "name": "python-certora-cli-alpha-master", "epoch": null, "version": "20260409.2.12.645071", "release": "1.el9", "arch": "src" } ] } RPMResults finished