Warning: Permanently added '2620:52:3:1:dead:beef:cafe:c199' (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/7781358-fedora-39-x86_64 --chroot fedora-39-x86_64 Version: 0.73 PID: 15914 Logging PID: 15915 Task: {'allow_user_ssh': False, 'appstream': False, 'background': True, 'bootstrap': 'off', 'build_id': 7781358, 'buildroot_pkgs': [], 'chroot': 'fedora-39-x86_64', 'enable_net': False, 'fedora_review': False, 'git_hash': '7b356366f11064ec1e239a6465500599d51c3937', 'git_repo': 'https://copr-dist-git.fedorainfracloud.org/git/@python/python3.12/python-pysmt', 'isolation': 'default', 'memory_reqs': 2048, 'package_name': 'python-pysmt', 'package_version': '0.9.5-8', 'project_dirname': 'python3.12', 'project_name': 'python3.12', 'project_owner': '@python', 'repo_priority': None, 'repos': [{'baseurl': 'https://download.copr.fedorainfracloud.org/results/@python/python3.12/fedora-39-x86_64/', 'id': 'copr_base', 'name': 'Copr repository', 'priority': None}, {'baseurl': 'http://kojipkgs.fedoraproject.org/repos/rawhide/latest/$basearch/', 'id': 'http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch', 'name': 'Additional repo http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch'}], 'sandbox': '@python/python3.12--https://src.fedoraproject.org/user/msuchy', 'source_json': {}, 'source_type': None, 'ssh_public_keys': None, 'submitter': 'https://src.fedoraproject.org/user/msuchy', 'tags': [], 'task_id': '7781358-fedora-39-x86_64', 'timeout': 18000, 'uses_devel_repo': False, 'with_opts': [], 'without_opts': []} Running: git clone https://copr-dist-git.fedorainfracloud.org/git/@python/python3.12/python-pysmt /var/lib/copr-rpmbuild/workspace/workdir-28kdmrhb/python-pysmt --depth 500 --no-single-branch --recursive cmd: ['git', 'clone', 'https://copr-dist-git.fedorainfracloud.org/git/@python/python3.12/python-pysmt', '/var/lib/copr-rpmbuild/workspace/workdir-28kdmrhb/python-pysmt', '--depth', '500', '--no-single-branch', '--recursive'] cwd: . rc: 0 stdout: stderr: Cloning into '/var/lib/copr-rpmbuild/workspace/workdir-28kdmrhb/python-pysmt'... Running: git checkout 7b356366f11064ec1e239a6465500599d51c3937 -- cmd: ['git', 'checkout', '7b356366f11064ec1e239a6465500599d51c3937', '--'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-28kdmrhb/python-pysmt rc: 0 stdout: stderr: Note: switching to '7b356366f11064ec1e239a6465500599d51c3937'. 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 7b35636 automatic import of python-pysmt Running: copr-distgit-client sources cmd: ['copr-distgit-client', 'sources'] cwd: /var/lib/copr-rpmbuild/workspace/workdir-28kdmrhb/python-pysmt 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 PySMT-0.9.5.tar.gz INFO: Reading stdout from command: curl --help all INFO: Calling: curl -H Pragma: -o PySMT-0.9.5.tar.gz --location --connect-timeout 60 --retry 3 --retry-delay 10 --remote-time --show-error --fail --retry-all-errors https://copr-dist-git.fedorainfracloud.org/repo/pkgs/@python/python3.12/python-pysmt/PySMT-0.9.5.tar.gz/md5/bb8524ea39d66fcd1078c1254d0edf1f/PySMT-0.9.5.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 100 1112k 100 1112k 0 0 12.4M 0 --:--:-- --:--:-- --:--:-- 12.4M /usr/bin/tail: /var/lib/copr-rpmbuild/main.log: file truncated INFO: Reading stdout from command: md5sum PySMT-0.9.5.tar.gz Running (timeout=18000): unbuffer mock --spec /var/lib/copr-rpmbuild/workspace/workdir-28kdmrhb/python-pysmt/python-pysmt.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-28kdmrhb/python-pysmt --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1721841947.901545 -r /var/lib/copr-rpmbuild/results/configs/child.cfg INFO: mock.py version 5.6 starting (python version = 3.12.1, NVR = mock-5.6-1.fc39), args: /usr/libexec/mock/mock --spec /var/lib/copr-rpmbuild/workspace/workdir-28kdmrhb/python-pysmt/python-pysmt.spec --sources /var/lib/copr-rpmbuild/workspace/workdir-28kdmrhb/python-pysmt --resultdir /var/lib/copr-rpmbuild/results --uniqueext 1721841947.901545 -r /var/lib/copr-rpmbuild/results/configs/child.cfg 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-28kdmrhb/python-pysmt/python-pysmt.spec) Config(fedora-39-x86_64) Start: clean chroot Finish: clean chroot Mock Version: 5.6 INFO: Mock Version: 5.6 Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-39-x86_64-1721841947.901545/root. INFO: calling preinit hooks INFO: enabled root cache INFO: enabled package manager cache Start: cleaning package manager metadata Finish: cleaning package manager metadata INFO: enabled HW Info plugin INFO: Package manager dnf detected and used (fallback) INFO: Buildroot is handled by package management from host and used with --installroot: rpm-4.19.1.1-1.fc39.x86_64 rpm-sequoia-1.6.0-1.fc39.x86_64 python3-dnf-4.21.0-1.fc39.noarch python3-dnf-plugins-core-4.8.0-1.fc39.noarch yum-4.21.0-1.fc39.noarch dnf5-5.1.17-1.fc39.x86_64 dnf5-plugins-5.1.17-1.fc39.x86_64 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 42 kB/s | 1.5 kB 00:00 Copr repository 53 MB/s | 11 MB 00:00 Additional repo http_kojipkgs_fedoraproject_org 67 kB/s | 3.5 kB 00:00 fedora 1.1 MB/s | 29 kB 00:00 updates 700 kB/s | 18 kB 00:00 Dependencies resolved. ============================================================================================================================================ Package Arch Version Repository Size ============================================================================================================================================ Installing group/module packages: bash x86_64 5.2.26-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.8 M bzip2 x86_64 1.0.8-19.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 53 k coreutils x86_64 9.5-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M cpio x86_64 2.15-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 285 k diffutils x86_64 3.10-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 397 k fedora-release-common noarch 41-0.16 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k findutils x86_64 1:4.10.0-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 540 k gawk x86_64 5.3.0-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M glibc-minimal-langpack x86_64 2.39.9000-35.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 123 k grep x86_64 3.11-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 290 k gzip x86_64 1.13-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 164 k info x86_64 7.1-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 182 k patch x86_64 2.7.6-25.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 131 k redhat-rpm-config noarch 293-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 75 k rpm-build x86_64 4.19.92-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 76 k sed x86_64 4.9-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 309 k shadow-utils x86_64 2:4.15.1-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.3 M tar x86_64 2:1.35-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 852 k unzip x86_64 6.0-64.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 185 k util-linux x86_64 2.40.2-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.2 M which x86_64 2.21-42.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 42 k xz x86_64 1:5.6.2-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 458 k Installing dependencies: add-determinism x86_64 0.3.5-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 861 k alternatives x86_64 1.28-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 41 k ansible-srpm-macros noarch 1-16.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k audit-libs x86_64 4.0.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 125 k authselect x86_64 1.5.0-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 141 k authselect-libs x86_64 1.5.0-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 205 k basesystem noarch 11-21.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 7.4 k binutils x86_64 2.42.50-20.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 6.4 M build-reproducibility-srpm-macros noarch 0.3.5-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 10 k bzip2-libs x86_64 1.0.8-19.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 41 k ca-certificates noarch 2024.2.68_v8.0.302-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 868 k coreutils-common x86_64 9.5-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.1 M cracklib x86_64 2.9.11-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 82 k crypto-policies noarch 20240717-2.git154fd4e.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 66 k curl x86_64 8.8.0-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 302 k cyrus-sasl-lib x86_64 2.1.28-27.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 795 k debugedit x86_64 5.0-17.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 80 k dwz x86_64 0.15-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 138 k ed x86_64 1.20.2-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 82 k efi-srpm-macros noarch 5-12.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 22 k elfutils x86_64 0.191-8.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 524 k elfutils-debuginfod-client x86_64 0.191-8.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 37 k elfutils-default-yama-scope noarch 0.191-8.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 12 k elfutils-libelf x86_64 0.191-8.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 208 k elfutils-libs x86_64 0.191-8.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 258 k fedora-gpg-keys noarch 41-0.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 122 k fedora-release noarch 41-0.16 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 12 k fedora-release-identity-basic noarch 41-0.16 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 12 k fedora-repos noarch 41-0.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.3 k fedora-repos-rawhide noarch 41-0.2 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.9 k file x86_64 5.45-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 49 k file-libs x86_64 5.45-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 762 k filesystem x86_64 3.18-23.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.1 M fonts-srpm-macros noarch 1:2.0.5-17.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 27 k forge-srpm-macros noarch 0.3.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 20 k fpc-srpm-macros noarch 1.3-13.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.0 k gdb-minimal x86_64 14.2-15.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 4.3 M gdbm x86_64 1:1.23-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 147 k gdbm-libs x86_64 1:1.23-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 56 k ghc-srpm-macros noarch 1.9.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.1 k glibc x86_64 2.39.9000-35.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.2 M glibc-common x86_64 2.39.9000-35.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 406 k glibc-gconv-extra x86_64 2.39.9000-35.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.7 M gmp x86_64 1:6.3.0-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 318 k gnat-srpm-macros noarch 6-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.0 k go-srpm-macros noarch 3.6.0-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 28 k jansson x86_64 2.13.1-10.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 44 k kernel-srpm-macros noarch 1.0-24.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.9 k keyutils-libs x86_64 1.6.3-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 32 k krb5-libs x86_64 1.21.3-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 753 k libacl x86_64 2.3.2-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 24 k libarchive x86_64 3.7.4-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 409 k libattr x86_64 2.5.2-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 18 k libblkid x86_64 2.40.2-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 125 k libbrotli x86_64 1.1.0-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 340 k libcap x86_64 2.70-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 87 k libcap-ng x86_64 0.8.5-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 33 k libcom_err x86_64 1.47.1-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 26 k libcurl x86_64 8.8.0-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 356 k libeconf x86_64 0.6.2-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 32 k libevent x86_64 2.1.12-14.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 258 k libfdisk x86_64 2.40.2-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 160 k libffi x86_64 3.4.6-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 40 k libgcc x86_64 14.1.1-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 130 k libgomp x86_64 14.1.1-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 351 k libidn2 x86_64 2.3.7-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 113 k libmount x86_64 2.40.2-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 156 k libnghttp2 x86_64 1.62.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 77 k libnsl2 x86_64 2.0.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 30 k libpkgconf x86_64 2.1.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 38 k libpsl x86_64 0.21.5-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 64 k libpwquality x86_64 1.4.5-11.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 108 k libselinux x86_64 3.7-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 88 k libsemanage x86_64 3.7-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 116 k libsepol x86_64 3.7-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 342 k libsmartcols x86_64 2.40.2-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 84 k libssh x86_64 0.10.6-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 212 k libssh-config noarch 0.10.6-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.1 k libstdc++ x86_64 14.1.1-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 885 k libtasn1 x86_64 4.19.0-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 74 k libtirpc x86_64 1.3.5-0.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 94 k libtool-ltdl x86_64 2.4.7-12.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 36 k libunistring x86_64 1.1-8.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 545 k libutempter x86_64 1.2.1-15.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 27 k libuuid x86_64 2.40.2-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k libverto x86_64 0.3.2-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 21 k libxcrypt x86_64 4.4.36-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 119 k libxml2 x86_64 2.12.8-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 687 k libzstd x86_64 1.5.6-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 310 k lua-libs x86_64 5.4.6-6.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 132 k lua-srpm-macros noarch 1-14.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.9 k lz4-libs x86_64 1.10.0-1.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 71 k mpfr x86_64 4.2.1-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 346 k ncurses-base noarch 6.5-2.20240629.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 64 k ncurses-libs x86_64 6.5-2.20240629.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 334 k ocaml-srpm-macros noarch 10-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.2 k openblas-srpm-macros noarch 2-18.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 7.7 k openldap x86_64 2.6.8-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 256 k openssl-libs x86_64 1:3.2.2-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 2.3 M p11-kit x86_64 0.25.5-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 477 k p11-kit-trust x86_64 0.25.5-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 132 k package-notes-srpm-macros noarch 0.5-12.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.8 k pam x86_64 1.6.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 518 k pam-libs x86_64 1.6.1-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 57 k pcre2 x86_64 10.44-1.fc41.1 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 243 k pcre2-syntax noarch 10.44-1.fc41.1 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 150 k perl-srpm-macros noarch 1-56.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.5 k pkgconf x86_64 2.1.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 44 k pkgconf-m4 noarch 2.1.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 14 k pkgconf-pkg-config x86_64 2.1.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 10 k popt x86_64 1.19-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 59 k publicsuffix-list-dafsa noarch 20240107-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 58 k pyproject-srpm-macros noarch 1.13.0-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 13 k python-srpm-macros noarch 3.13-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 24 k qt5-srpm-macros noarch 5.15.14-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.0 k qt6-srpm-macros noarch 6.7.2-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 9.1 k readline x86_64 8.2-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 213 k rpm x86_64 4.19.92-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 525 k rpm-build-libs x86_64 4.19.92-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 99 k rpm-libs x86_64 4.19.92-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 310 k rpm-sequoia x86_64 1.7.0-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 892 k rust-srpm-macros noarch 26.3-1.fc41 copr_base 13 k setup noarch 2.15.0-5.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 148 k sqlite-libs x86_64 3.46.0-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 712 k systemd-libs x86_64 256.3-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 731 k util-linux-core x86_64 2.40.2-4.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 521 k xxhash-libs x86_64 0.8.2-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 37 k xz-libs x86_64 1:5.6.2-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 112 k zig-srpm-macros noarch 1-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.1 k zip x86_64 3.0-41.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 265 k zlib-ng-compat x86_64 2.1.7-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 78 k zstd x86_64 1.5.6-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 482 k Installing Groups: Buildsystem building group Transaction Summary ============================================================================================================================================ Install 154 Packages Total size: 53 M Installed size: 179 M Downloading Packages: [SKIPPED] rust-srpm-macros-26.3-1.fc41.noarch.rpm: Already downloaded [SKIPPED] add-determinism-0.3.5-1.fc41.x86_64.rpm: Already downloaded [SKIPPED] alternatives-1.28-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] ansible-srpm-macros-1-16.fc41.noarch.rpm: Already downloaded [SKIPPED] audit-libs-4.0.1-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] authselect-1.5.0-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] authselect-libs-1.5.0-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] basesystem-11-21.fc41.noarch.rpm: Already downloaded [SKIPPED] bash-5.2.26-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] binutils-2.42.50-20.fc41.x86_64.rpm: Already downloaded [SKIPPED] build-reproducibility-srpm-macros-0.3.5-1.fc41.noarch.rpm: Already downloaded [SKIPPED] bzip2-1.0.8-19.fc41.x86_64.rpm: Already downloaded [SKIPPED] bzip2-libs-1.0.8-19.fc41.x86_64.rpm: Already downloaded [SKIPPED] ca-certificates-2024.2.68_v8.0.302-3.fc41.noarch.rpm: Already downloaded [SKIPPED] coreutils-9.5-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] coreutils-common-9.5-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] cpio-2.15-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] cracklib-2.9.11-6.fc41.x86_64.rpm: Already downloaded [SKIPPED] crypto-policies-20240717-2.git154fd4e.fc41.noarch.rpm: Already downloaded [SKIPPED] curl-8.8.0-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] cyrus-sasl-lib-2.1.28-27.fc41.x86_64.rpm: Already downloaded [SKIPPED] debugedit-5.0-17.fc41.x86_64.rpm: Already downloaded [SKIPPED] diffutils-3.10-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] dwz-0.15-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] ed-1.20.2-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] efi-srpm-macros-5-12.fc41.noarch.rpm: Already downloaded [SKIPPED] elfutils-0.191-8.fc41.x86_64.rpm: Already downloaded [SKIPPED] elfutils-debuginfod-client-0.191-8.fc41.x86_64.rpm: Already downloaded [SKIPPED] elfutils-default-yama-scope-0.191-8.fc41.noarch.rpm: Already downloaded [SKIPPED] elfutils-libelf-0.191-8.fc41.x86_64.rpm: Already downloaded [SKIPPED] elfutils-libs-0.191-8.fc41.x86_64.rpm: Already downloaded [SKIPPED] fedora-gpg-keys-41-0.2.noarch.rpm: Already downloaded [SKIPPED] fedora-release-41-0.16.noarch.rpm: Already downloaded [SKIPPED] fedora-release-common-41-0.16.noarch.rpm: Already downloaded [SKIPPED] fedora-release-identity-basic-41-0.16.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-41-0.2.noarch.rpm: Already downloaded [SKIPPED] fedora-repos-rawhide-41-0.2.noarch.rpm: Already downloaded [SKIPPED] file-5.45-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] file-libs-5.45-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] filesystem-3.18-23.fc41.x86_64.rpm: Already downloaded [SKIPPED] findutils-4.10.0-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] fonts-srpm-macros-2.0.5-17.fc41.noarch.rpm: Already downloaded [SKIPPED] forge-srpm-macros-0.3.1-2.fc41.noarch.rpm: Already downloaded [SKIPPED] fpc-srpm-macros-1.3-13.fc41.noarch.rpm: Already downloaded [SKIPPED] gawk-5.3.0-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] gdb-minimal-14.2-15.fc41.x86_64.rpm: Already downloaded [SKIPPED] gdbm-1.23-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] gdbm-libs-1.23-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] ghc-srpm-macros-1.9.1-2.fc41.noarch.rpm: Already downloaded [SKIPPED] glibc-2.39.9000-35.fc41.x86_64.rpm: Already downloaded [SKIPPED] glibc-common-2.39.9000-35.fc41.x86_64.rpm: Already downloaded [SKIPPED] glibc-gconv-extra-2.39.9000-35.fc41.x86_64.rpm: Already downloaded [SKIPPED] glibc-minimal-langpack-2.39.9000-35.fc41.x86_64.rpm: Already downloaded [SKIPPED] gmp-6.3.0-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] gnat-srpm-macros-6-6.fc41.noarch.rpm: Already downloaded [SKIPPED] go-srpm-macros-3.6.0-3.fc41.noarch.rpm: Already downloaded [SKIPPED] grep-3.11-9.fc41.x86_64.rpm: Already downloaded [SKIPPED] gzip-1.13-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] info-7.1-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] jansson-2.13.1-10.fc41.x86_64.rpm: Already downloaded [SKIPPED] kernel-srpm-macros-1.0-24.fc41.noarch.rpm: Already downloaded [SKIPPED] keyutils-libs-1.6.3-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] krb5-libs-1.21.3-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libacl-2.3.2-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libarchive-3.7.4-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] libattr-2.5.2-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] libblkid-2.40.2-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] libbrotli-1.1.0-5.fc41.x86_64.rpm: Already downloaded [SKIPPED] libcap-2.70-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] libcap-ng-0.8.5-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] libcom_err-1.47.1-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] libcurl-8.8.0-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] libeconf-0.6.2-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] libevent-2.1.12-14.fc41.x86_64.rpm: Already downloaded [SKIPPED] libfdisk-2.40.2-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] libffi-3.4.6-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libgcc-14.1.1-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] libgomp-14.1.1-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] libidn2-2.3.7-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libmount-2.40.2-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] libnghttp2-1.62.1-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libnsl2-2.0.1-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libpkgconf-2.1.1-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libpsl-0.21.5-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] libpwquality-1.4.5-11.fc41.x86_64.rpm: Already downloaded [SKIPPED] libselinux-3.7-5.fc41.x86_64.rpm: Already downloaded [SKIPPED] libsemanage-3.7-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libsepol-3.7-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libsmartcols-2.40.2-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] libssh-0.10.6-6.fc41.x86_64.rpm: Already downloaded [SKIPPED] libssh-config-0.10.6-6.fc41.noarch.rpm: Already downloaded [SKIPPED] libstdc++-14.1.1-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] libtasn1-4.19.0-9.fc41.x86_64.rpm: Already downloaded [SKIPPED] libtirpc-1.3.5-0.fc41.x86_64.rpm: Already downloaded [SKIPPED] libtool-ltdl-2.4.7-12.fc41.x86_64.rpm: Already downloaded [SKIPPED] libunistring-1.1-8.fc41.x86_64.rpm: Already downloaded [SKIPPED] libutempter-1.2.1-15.fc41.x86_64.rpm: Already downloaded [SKIPPED] libuuid-2.40.2-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] libverto-0.3.2-9.fc41.x86_64.rpm: Already downloaded [SKIPPED] libxcrypt-4.4.36-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] libxml2-2.12.8-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libzstd-1.5.6-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] lua-libs-5.4.6-6.fc41.x86_64.rpm: Already downloaded [SKIPPED] lua-srpm-macros-1-14.fc41.noarch.rpm: Already downloaded [SKIPPED] lz4-libs-1.10.0-1.fc41.x86_64.rpm: Already downloaded [SKIPPED] mpfr-4.2.1-5.fc41.x86_64.rpm: Already downloaded [SKIPPED] ncurses-base-6.5-2.20240629.fc41.noarch.rpm: Already downloaded [SKIPPED] ncurses-libs-6.5-2.20240629.fc41.x86_64.rpm: Already downloaded [SKIPPED] ocaml-srpm-macros-10-3.fc41.noarch.rpm: Already downloaded [SKIPPED] openblas-srpm-macros-2-18.fc41.noarch.rpm: Already downloaded [SKIPPED] openldap-2.6.8-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] openssl-libs-3.2.2-5.fc41.x86_64.rpm: Already downloaded [SKIPPED] p11-kit-0.25.5-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] p11-kit-trust-0.25.5-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] package-notes-srpm-macros-0.5-12.fc41.noarch.rpm: Already downloaded [SKIPPED] pam-1.6.1-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] pam-libs-1.6.1-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] patch-2.7.6-25.fc41.x86_64.rpm: Already downloaded [SKIPPED] pcre2-10.44-1.fc41.1.x86_64.rpm: Already downloaded [SKIPPED] pcre2-syntax-10.44-1.fc41.1.noarch.rpm: Already downloaded [SKIPPED] perl-srpm-macros-1-56.fc41.noarch.rpm: Already downloaded [SKIPPED] pkgconf-2.1.1-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] pkgconf-m4-2.1.1-2.fc41.noarch.rpm: Already downloaded [SKIPPED] pkgconf-pkg-config-2.1.1-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] popt-1.19-7.fc41.x86_64.rpm: Already downloaded [SKIPPED] publicsuffix-list-dafsa-20240107-4.fc41.noarch.rpm: Already downloaded [SKIPPED] pyproject-srpm-macros-1.13.0-2.fc41.noarch.rpm: Already downloaded [SKIPPED] python-srpm-macros-3.13-3.fc41.noarch.rpm: Already downloaded [SKIPPED] qt5-srpm-macros-5.15.14-3.fc41.noarch.rpm: Already downloaded [SKIPPED] qt6-srpm-macros-6.7.2-3.fc41.noarch.rpm: Already downloaded [SKIPPED] readline-8.2-9.fc41.x86_64.rpm: Already downloaded [SKIPPED] redhat-rpm-config-293-1.fc41.noarch.rpm: Already downloaded [SKIPPED] rpm-4.19.92-5.fc41.x86_64.rpm: Already downloaded [SKIPPED] rpm-build-4.19.92-5.fc41.x86_64.rpm: Already downloaded [SKIPPED] rpm-build-libs-4.19.92-5.fc41.x86_64.rpm: Already downloaded [SKIPPED] rpm-libs-4.19.92-5.fc41.x86_64.rpm: Already downloaded [SKIPPED] rpm-sequoia-1.7.0-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] sed-4.9-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] setup-2.15.0-5.fc41.noarch.rpm: Already downloaded [SKIPPED] shadow-utils-4.15.1-9.fc41.x86_64.rpm: Already downloaded [SKIPPED] sqlite-libs-3.46.0-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] systemd-libs-256.3-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] tar-1.35-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] unzip-6.0-64.fc41.x86_64.rpm: Already downloaded [SKIPPED] util-linux-2.40.2-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] util-linux-core-2.40.2-4.fc41.x86_64.rpm: Already downloaded [SKIPPED] which-2.21-42.fc41.x86_64.rpm: Already downloaded [SKIPPED] xxhash-libs-0.8.2-3.fc41.x86_64.rpm: Already downloaded [SKIPPED] xz-5.6.2-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] xz-libs-5.6.2-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] zig-srpm-macros-1-3.fc41.noarch.rpm: Already downloaded [SKIPPED] zip-3.0-41.fc41.x86_64.rpm: Already downloaded [SKIPPED] zlib-ng-compat-2.1.7-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] zstd-1.5.6-2.fc41.x86_64.rpm: Already downloaded Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Running scriptlet: filesystem-3.18-23.fc41.x86_64 1/1 Preparing : 1/1 Installing : libgcc-14.1.1-7.fc41.x86_64 1/154 Running scriptlet: libgcc-14.1.1-7.fc41.x86_64 1/154 Installing : fedora-release-identity-basic-41-0.16.noarch 2/154 Installing : fedora-repos-rawhide-41-0.2.noarch 3/154 Installing : fedora-gpg-keys-41-0.2.noarch 4/154 Installing : fedora-repos-41-0.2.noarch 5/154 Installing : fedora-release-common-41-0.16.noarch 6/154 Installing : fedora-release-41-0.16.noarch 7/154 Installing : setup-2.15.0-5.fc41.noarch 8/154 warning: /etc/hosts created as /etc/hosts.rpmnew Running scriptlet: setup-2.15.0-5.fc41.noarch 8/154 Installing : filesystem-3.18-23.fc41.x86_64 9/154 Installing : basesystem-11-21.fc41.noarch 10/154 Installing : qt6-srpm-macros-6.7.2-3.fc41.noarch 11/154 Installing : qt5-srpm-macros-5.15.14-3.fc41.noarch 12/154 Installing : publicsuffix-list-dafsa-20240107-4.fc41.noarch 13/154 Installing : pkgconf-m4-2.1.1-2.fc41.noarch 14/154 Installing : perl-srpm-macros-1-56.fc41.noarch 15/154 Installing : pcre2-syntax-10.44-1.fc41.1.noarch 16/154 Installing : package-notes-srpm-macros-0.5-12.fc41.noarch 17/154 Installing : openblas-srpm-macros-2-18.fc41.noarch 18/154 Installing : ocaml-srpm-macros-10-3.fc41.noarch 19/154 Installing : ncurses-base-6.5-2.20240629.fc41.noarch 20/154 Installing : glibc-gconv-extra-2.39.9000-35.fc41.x86_64 21/154 Running scriptlet: glibc-gconv-extra-2.39.9000-35.fc41.x86_64 21/154 Installing : glibc-minimal-langpack-2.39.9000-35.fc41.x86_64 22/154 Installing : glibc-common-2.39.9000-35.fc41.x86_64 23/154 Running scriptlet: glibc-2.39.9000-35.fc41.x86_64 24/154 Installing : glibc-2.39.9000-35.fc41.x86_64 24/154 Running scriptlet: glibc-2.39.9000-35.fc41.x86_64 24/154 Installing : ncurses-libs-6.5-2.20240629.fc41.x86_64 25/154 Installing : bash-5.2.26-4.fc41.x86_64 26/154 Running scriptlet: bash-5.2.26-4.fc41.x86_64 26/154 Installing : zlib-ng-compat-2.1.7-2.fc41.x86_64 27/154 Installing : bzip2-libs-1.0.8-19.fc41.x86_64 28/154 Installing : xz-libs-1:5.6.2-2.fc41.x86_64 29/154 Installing : readline-8.2-9.fc41.x86_64 30/154 Installing : libuuid-2.40.2-4.fc41.x86_64 31/154 Installing : popt-1.19-7.fc41.x86_64 32/154 Installing : libblkid-2.40.2-4.fc41.x86_64 33/154 Installing : gmp-1:6.3.0-2.fc41.x86_64 34/154 Installing : libattr-2.5.2-4.fc41.x86_64 35/154 Installing : libacl-2.3.2-2.fc41.x86_64 36/154 Installing : libstdc++-14.1.1-7.fc41.x86_64 37/154 Installing : libxcrypt-4.4.36-7.fc41.x86_64 38/154 Installing : libzstd-1.5.6-2.fc41.x86_64 39/154 Installing : elfutils-libelf-0.191-8.fc41.x86_64 40/154 Running scriptlet: crypto-policies-20240717-2.git154fd4e.fc41.noarc 41/154 /var/tmp/rpm-tmp.tZlWS5: line 2: rm: command not found Installing : crypto-policies-20240717-2.git154fd4e.fc41.noarc 41/154 Running scriptlet: crypto-policies-20240717-2.git154fd4e.fc41.noarc 41/154 Installing : gdbm-libs-1:1.23-7.fc41.x86_64 42/154 Installing : libeconf-0.6.2-3.fc41.x86_64 43/154 Installing : dwz-0.15-7.fc41.x86_64 44/154 Installing : mpfr-4.2.1-5.fc41.x86_64 45/154 Installing : gawk-5.3.0-4.fc41.x86_64 46/154 Installing : unzip-6.0-64.fc41.x86_64 47/154 Installing : file-libs-5.45-7.fc41.x86_64 48/154 Installing : file-5.45-7.fc41.x86_64 49/154 Installing : alternatives-1.28-3.fc41.x86_64 50/154 Installing : libcap-ng-0.8.5-3.fc41.x86_64 51/154 Installing : audit-libs-4.0.1-4.fc41.x86_64 52/154 Installing : pam-libs-1.6.1-4.fc41.x86_64 53/154 Installing : libcap-2.70-4.fc41.x86_64 54/154 Installing : systemd-libs-256.3-2.fc41.x86_64 55/154 Installing : libcom_err-1.47.1-3.fc41.x86_64 56/154 Installing : libsepol-3.7-2.fc41.x86_64 57/154 Installing : libsmartcols-2.40.2-4.fc41.x86_64 58/154 Installing : libtasn1-4.19.0-9.fc41.x86_64 59/154 Installing : libunistring-1.1-8.fc41.x86_64 60/154 Installing : libidn2-2.3.7-2.fc41.x86_64 61/154 Installing : lua-libs-5.4.6-6.fc41.x86_64 62/154 Installing : lz4-libs-1.10.0-1.fc41.x86_64 63/154 Installing : pcre2-10.44-1.fc41.1.x86_64 64/154 Installing : libselinux-3.7-5.fc41.x86_64 65/154 Installing : sed-4.9-3.fc41.x86_64 66/154 Installing : grep-3.11-9.fc41.x86_64 67/154 Installing : findutils-1:4.10.0-4.fc41.x86_64 68/154 Installing : xz-1:5.6.2-2.fc41.x86_64 69/154 Installing : libmount-2.40.2-4.fc41.x86_64 70/154 Installing : util-linux-core-2.40.2-4.fc41.x86_64 71/154 Installing : libsemanage-3.7-2.fc41.x86_64 72/154 Installing : shadow-utils-2:4.15.1-9.fc41.x86_64 73/154 Running scriptlet: libutempter-1.2.1-15.fc41.x86_64 74/154 Installing : libutempter-1.2.1-15.fc41.x86_64 74/154 Installing : tar-2:1.35-4.fc41.x86_64 75/154 Installing : zstd-1.5.6-2.fc41.x86_64 76/154 Installing : libpsl-0.21.5-4.fc41.x86_64 77/154 Installing : zip-3.0-41.fc41.x86_64 78/154 Installing : cyrus-sasl-lib-2.1.28-27.fc41.x86_64 79/154 Installing : gdbm-1:1.23-7.fc41.x86_64 80/154 Installing : libfdisk-2.40.2-4.fc41.x86_64 81/154 Installing : libxml2-2.12.8-2.fc41.x86_64 82/154 Installing : bzip2-1.0.8-19.fc41.x86_64 83/154 Installing : add-determinism-0.3.5-1.fc41.x86_64 84/154 Installing : build-reproducibility-srpm-macros-0.3.5-1.fc41.n 85/154 Installing : sqlite-libs-3.46.0-3.fc41.x86_64 86/154 Installing : ed-1.20.2-2.fc41.x86_64 87/154 Installing : patch-2.7.6-25.fc41.x86_64 88/154 Installing : elfutils-default-yama-scope-0.191-8.fc41.noarch 89/154 Running scriptlet: elfutils-default-yama-scope-0.191-8.fc41.noarch 89/154 Installing : cpio-2.15-2.fc41.x86_64 90/154 Installing : diffutils-3.10-7.fc41.x86_64 91/154 Installing : jansson-2.13.1-10.fc41.x86_64 92/154 Installing : keyutils-libs-1.6.3-4.fc41.x86_64 93/154 Installing : libbrotli-1.1.0-5.fc41.x86_64 94/154 Installing : libffi-3.4.6-2.fc41.x86_64 95/154 Installing : p11-kit-0.25.5-3.fc41.x86_64 96/154 Installing : p11-kit-trust-0.25.5-3.fc41.x86_64 97/154 Running scriptlet: p11-kit-trust-0.25.5-3.fc41.x86_64 97/154 Installing : libgomp-14.1.1-7.fc41.x86_64 98/154 Installing : libnghttp2-1.62.1-2.fc41.x86_64 99/154 Installing : libpkgconf-2.1.1-2.fc41.x86_64 100/154 Installing : pkgconf-2.1.1-2.fc41.x86_64 101/154 Installing : pkgconf-pkg-config-2.1.1-2.fc41.x86_64 102/154 Installing : libtool-ltdl-2.4.7-12.fc41.x86_64 103/154 Installing : libverto-0.3.2-9.fc41.x86_64 104/154 Installing : xxhash-libs-0.8.2-3.fc41.x86_64 105/154 Installing : libssh-config-0.10.6-6.fc41.noarch 106/154 Installing : kernel-srpm-macros-1.0-24.fc41.noarch 107/154 Installing : gnat-srpm-macros-6-6.fc41.noarch 108/154 Installing : ghc-srpm-macros-1.9.1-2.fc41.noarch 109/154 Installing : fpc-srpm-macros-1.3-13.fc41.noarch 110/154 Installing : coreutils-common-9.5-7.fc41.x86_64 111/154 Installing : openssl-libs-1:3.2.2-5.fc41.x86_64 112/154 Installing : coreutils-9.5-7.fc41.x86_64 113/154 Running scriptlet: ca-certificates-2024.2.68_v8.0.302-3.fc41.noarch 114/154 Installing : ca-certificates-2024.2.68_v8.0.302-3.fc41.noarch 114/154 Running scriptlet: ca-certificates-2024.2.68_v8.0.302-3.fc41.noarch 114/154 Installing : krb5-libs-1.21.3-2.fc41.x86_64 115/154 Installing : libarchive-3.7.4-3.fc41.x86_64 116/154 Installing : libtirpc-1.3.5-0.fc41.x86_64 117/154 Installing : authselect-libs-1.5.0-7.fc41.x86_64 118/154 Installing : gzip-1.13-2.fc41.x86_64 119/154 Installing : cracklib-2.9.11-6.fc41.x86_64 120/154 Installing : libpwquality-1.4.5-11.fc41.x86_64 121/154 Installing : libnsl2-2.0.1-2.fc41.x86_64 122/154 Installing : pam-1.6.1-4.fc41.x86_64 123/154 Installing : libssh-0.10.6-6.fc41.x86_64 124/154 Installing : libevent-2.1.12-14.fc41.x86_64 125/154 Installing : openldap-2.6.8-4.fc41.x86_64 126/154 Installing : libcurl-8.8.0-3.fc41.x86_64 127/154 Installing : elfutils-libs-0.191-8.fc41.x86_64 128/154 Installing : elfutils-debuginfod-client-0.191-8.fc41.x86_64 129/154 Installing : binutils-2.42.50-20.fc41.x86_64 130/154 Running scriptlet: binutils-2.42.50-20.fc41.x86_64 130/154 Installing : elfutils-0.191-8.fc41.x86_64 131/154 Installing : gdb-minimal-14.2-15.fc41.x86_64 132/154 Installing : debugedit-5.0-17.fc41.x86_64 133/154 Installing : curl-8.8.0-3.fc41.x86_64 134/154 Installing : rpm-sequoia-1.7.0-2.fc41.x86_64 135/154 Installing : rpm-libs-4.19.92-5.fc41.x86_64 136/154 Running scriptlet: rpm-4.19.92-5.fc41.x86_64 137/154 Installing : rpm-4.19.92-5.fc41.x86_64 137/154 Installing : efi-srpm-macros-5-12.fc41.noarch 138/154 Installing : lua-srpm-macros-1-14.fc41.noarch 139/154 Installing : zig-srpm-macros-1-3.fc41.noarch 140/154 Installing : rpm-build-libs-4.19.92-5.fc41.x86_64 141/154 Installing : ansible-srpm-macros-1-16.fc41.noarch 142/154 Installing : rust-srpm-macros-26.3-1.fc41.noarch 143/154 Installing : fonts-srpm-macros-1:2.0.5-17.fc41.noarch 144/154 Installing : forge-srpm-macros-0.3.1-2.fc41.noarch 145/154 Installing : go-srpm-macros-3.6.0-3.fc41.noarch 146/154 Installing : python-srpm-macros-3.13-3.fc41.noarch 147/154 Installing : pyproject-srpm-macros-1.13.0-2.fc41.noarch 148/154 Installing : redhat-rpm-config-293-1.fc41.noarch 149/154 Installing : rpm-build-4.19.92-5.fc41.x86_64 150/154 Installing : util-linux-2.40.2-4.fc41.x86_64 151/154 Running scriptlet: util-linux-2.40.2-4.fc41.x86_64 151/154 Installing : authselect-1.5.0-7.fc41.x86_64 152/154 Installing : which-2.21-42.fc41.x86_64 153/154 Installing : info-7.1-3.fc41.x86_64 154/154 Running scriptlet: filesystem-3.18-23.fc41.x86_64 154/154 Running scriptlet: ca-certificates-2024.2.68_v8.0.302-3.fc41.noarch 154/154 Running scriptlet: authselect-libs-1.5.0-7.fc41.x86_64 154/154 Running scriptlet: rpm-4.19.92-5.fc41.x86_64 154/154 Running scriptlet: info-7.1-3.fc41.x86_64 154/154 Verifying : rust-srpm-macros-26.3-1.fc41.noarch 1/154 Verifying : add-determinism-0.3.5-1.fc41.x86_64 2/154 Verifying : alternatives-1.28-3.fc41.x86_64 3/154 Verifying : ansible-srpm-macros-1-16.fc41.noarch 4/154 Verifying : audit-libs-4.0.1-4.fc41.x86_64 5/154 Verifying : authselect-1.5.0-7.fc41.x86_64 6/154 Verifying : authselect-libs-1.5.0-7.fc41.x86_64 7/154 Verifying : basesystem-11-21.fc41.noarch 8/154 Verifying : bash-5.2.26-4.fc41.x86_64 9/154 Verifying : binutils-2.42.50-20.fc41.x86_64 10/154 Verifying : build-reproducibility-srpm-macros-0.3.5-1.fc41.n 11/154 Verifying : bzip2-1.0.8-19.fc41.x86_64 12/154 Verifying : bzip2-libs-1.0.8-19.fc41.x86_64 13/154 Verifying : ca-certificates-2024.2.68_v8.0.302-3.fc41.noarch 14/154 Verifying : coreutils-9.5-7.fc41.x86_64 15/154 Verifying : coreutils-common-9.5-7.fc41.x86_64 16/154 Verifying : cpio-2.15-2.fc41.x86_64 17/154 Verifying : cracklib-2.9.11-6.fc41.x86_64 18/154 Verifying : crypto-policies-20240717-2.git154fd4e.fc41.noarc 19/154 Verifying : curl-8.8.0-3.fc41.x86_64 20/154 Verifying : cyrus-sasl-lib-2.1.28-27.fc41.x86_64 21/154 Verifying : debugedit-5.0-17.fc41.x86_64 22/154 Verifying : diffutils-3.10-7.fc41.x86_64 23/154 Verifying : dwz-0.15-7.fc41.x86_64 24/154 Verifying : ed-1.20.2-2.fc41.x86_64 25/154 Verifying : efi-srpm-macros-5-12.fc41.noarch 26/154 Verifying : elfutils-0.191-8.fc41.x86_64 27/154 Verifying : elfutils-debuginfod-client-0.191-8.fc41.x86_64 28/154 Verifying : elfutils-default-yama-scope-0.191-8.fc41.noarch 29/154 Verifying : elfutils-libelf-0.191-8.fc41.x86_64 30/154 Verifying : elfutils-libs-0.191-8.fc41.x86_64 31/154 Verifying : fedora-gpg-keys-41-0.2.noarch 32/154 Verifying : fedora-release-41-0.16.noarch 33/154 Verifying : fedora-release-common-41-0.16.noarch 34/154 Verifying : fedora-release-identity-basic-41-0.16.noarch 35/154 Verifying : fedora-repos-41-0.2.noarch 36/154 Verifying : fedora-repos-rawhide-41-0.2.noarch 37/154 Verifying : file-5.45-7.fc41.x86_64 38/154 Verifying : file-libs-5.45-7.fc41.x86_64 39/154 Verifying : filesystem-3.18-23.fc41.x86_64 40/154 Verifying : findutils-1:4.10.0-4.fc41.x86_64 41/154 Verifying : fonts-srpm-macros-1:2.0.5-17.fc41.noarch 42/154 Verifying : forge-srpm-macros-0.3.1-2.fc41.noarch 43/154 Verifying : fpc-srpm-macros-1.3-13.fc41.noarch 44/154 Verifying : gawk-5.3.0-4.fc41.x86_64 45/154 Verifying : gdb-minimal-14.2-15.fc41.x86_64 46/154 Verifying : gdbm-1:1.23-7.fc41.x86_64 47/154 Verifying : gdbm-libs-1:1.23-7.fc41.x86_64 48/154 Verifying : ghc-srpm-macros-1.9.1-2.fc41.noarch 49/154 Verifying : glibc-2.39.9000-35.fc41.x86_64 50/154 Verifying : glibc-common-2.39.9000-35.fc41.x86_64 51/154 Verifying : glibc-gconv-extra-2.39.9000-35.fc41.x86_64 52/154 Verifying : glibc-minimal-langpack-2.39.9000-35.fc41.x86_64 53/154 Verifying : gmp-1:6.3.0-2.fc41.x86_64 54/154 Verifying : gnat-srpm-macros-6-6.fc41.noarch 55/154 Verifying : go-srpm-macros-3.6.0-3.fc41.noarch 56/154 Verifying : grep-3.11-9.fc41.x86_64 57/154 Verifying : gzip-1.13-2.fc41.x86_64 58/154 Verifying : info-7.1-3.fc41.x86_64 59/154 Verifying : jansson-2.13.1-10.fc41.x86_64 60/154 Verifying : kernel-srpm-macros-1.0-24.fc41.noarch 61/154 Verifying : keyutils-libs-1.6.3-4.fc41.x86_64 62/154 Verifying : krb5-libs-1.21.3-2.fc41.x86_64 63/154 Verifying : libacl-2.3.2-2.fc41.x86_64 64/154 Verifying : libarchive-3.7.4-3.fc41.x86_64 65/154 Verifying : libattr-2.5.2-4.fc41.x86_64 66/154 Verifying : libblkid-2.40.2-4.fc41.x86_64 67/154 Verifying : libbrotli-1.1.0-5.fc41.x86_64 68/154 Verifying : libcap-2.70-4.fc41.x86_64 69/154 Verifying : libcap-ng-0.8.5-3.fc41.x86_64 70/154 Verifying : libcom_err-1.47.1-3.fc41.x86_64 71/154 Verifying : libcurl-8.8.0-3.fc41.x86_64 72/154 Verifying : libeconf-0.6.2-3.fc41.x86_64 73/154 Verifying : libevent-2.1.12-14.fc41.x86_64 74/154 Verifying : libfdisk-2.40.2-4.fc41.x86_64 75/154 Verifying : libffi-3.4.6-2.fc41.x86_64 76/154 Verifying : libgcc-14.1.1-7.fc41.x86_64 77/154 Verifying : libgomp-14.1.1-7.fc41.x86_64 78/154 Verifying : libidn2-2.3.7-2.fc41.x86_64 79/154 Verifying : libmount-2.40.2-4.fc41.x86_64 80/154 Verifying : libnghttp2-1.62.1-2.fc41.x86_64 81/154 Verifying : libnsl2-2.0.1-2.fc41.x86_64 82/154 Verifying : libpkgconf-2.1.1-2.fc41.x86_64 83/154 Verifying : libpsl-0.21.5-4.fc41.x86_64 84/154 Verifying : libpwquality-1.4.5-11.fc41.x86_64 85/154 Verifying : libselinux-3.7-5.fc41.x86_64 86/154 Verifying : libsemanage-3.7-2.fc41.x86_64 87/154 Verifying : libsepol-3.7-2.fc41.x86_64 88/154 Verifying : libsmartcols-2.40.2-4.fc41.x86_64 89/154 Verifying : libssh-0.10.6-6.fc41.x86_64 90/154 Verifying : libssh-config-0.10.6-6.fc41.noarch 91/154 Verifying : libstdc++-14.1.1-7.fc41.x86_64 92/154 Verifying : libtasn1-4.19.0-9.fc41.x86_64 93/154 Verifying : libtirpc-1.3.5-0.fc41.x86_64 94/154 Verifying : libtool-ltdl-2.4.7-12.fc41.x86_64 95/154 Verifying : libunistring-1.1-8.fc41.x86_64 96/154 Verifying : libutempter-1.2.1-15.fc41.x86_64 97/154 Verifying : libuuid-2.40.2-4.fc41.x86_64 98/154 Verifying : libverto-0.3.2-9.fc41.x86_64 99/154 Verifying : libxcrypt-4.4.36-7.fc41.x86_64 100/154 Verifying : libxml2-2.12.8-2.fc41.x86_64 101/154 Verifying : libzstd-1.5.6-2.fc41.x86_64 102/154 Verifying : lua-libs-5.4.6-6.fc41.x86_64 103/154 Verifying : lua-srpm-macros-1-14.fc41.noarch 104/154 Verifying : lz4-libs-1.10.0-1.fc41.x86_64 105/154 Verifying : mpfr-4.2.1-5.fc41.x86_64 106/154 Verifying : ncurses-base-6.5-2.20240629.fc41.noarch 107/154 Verifying : ncurses-libs-6.5-2.20240629.fc41.x86_64 108/154 Verifying : ocaml-srpm-macros-10-3.fc41.noarch 109/154 Verifying : openblas-srpm-macros-2-18.fc41.noarch 110/154 Verifying : openldap-2.6.8-4.fc41.x86_64 111/154 Verifying : openssl-libs-1:3.2.2-5.fc41.x86_64 112/154 Verifying : p11-kit-0.25.5-3.fc41.x86_64 113/154 Verifying : p11-kit-trust-0.25.5-3.fc41.x86_64 114/154 Verifying : package-notes-srpm-macros-0.5-12.fc41.noarch 115/154 Verifying : pam-1.6.1-4.fc41.x86_64 116/154 Verifying : pam-libs-1.6.1-4.fc41.x86_64 117/154 Verifying : patch-2.7.6-25.fc41.x86_64 118/154 Verifying : pcre2-10.44-1.fc41.1.x86_64 119/154 Verifying : pcre2-syntax-10.44-1.fc41.1.noarch 120/154 Verifying : perl-srpm-macros-1-56.fc41.noarch 121/154 Verifying : pkgconf-2.1.1-2.fc41.x86_64 122/154 Verifying : pkgconf-m4-2.1.1-2.fc41.noarch 123/154 Verifying : pkgconf-pkg-config-2.1.1-2.fc41.x86_64 124/154 Verifying : popt-1.19-7.fc41.x86_64 125/154 Verifying : publicsuffix-list-dafsa-20240107-4.fc41.noarch 126/154 Verifying : pyproject-srpm-macros-1.13.0-2.fc41.noarch 127/154 Verifying : python-srpm-macros-3.13-3.fc41.noarch 128/154 Verifying : qt5-srpm-macros-5.15.14-3.fc41.noarch 129/154 Verifying : qt6-srpm-macros-6.7.2-3.fc41.noarch 130/154 Verifying : readline-8.2-9.fc41.x86_64 131/154 Verifying : redhat-rpm-config-293-1.fc41.noarch 132/154 Verifying : rpm-4.19.92-5.fc41.x86_64 133/154 Verifying : rpm-build-4.19.92-5.fc41.x86_64 134/154 Verifying : rpm-build-libs-4.19.92-5.fc41.x86_64 135/154 Verifying : rpm-libs-4.19.92-5.fc41.x86_64 136/154 Verifying : rpm-sequoia-1.7.0-2.fc41.x86_64 137/154 Verifying : sed-4.9-3.fc41.x86_64 138/154 Verifying : setup-2.15.0-5.fc41.noarch 139/154 Verifying : shadow-utils-2:4.15.1-9.fc41.x86_64 140/154 Verifying : sqlite-libs-3.46.0-3.fc41.x86_64 141/154 Verifying : systemd-libs-256.3-2.fc41.x86_64 142/154 Verifying : tar-2:1.35-4.fc41.x86_64 143/154 Verifying : unzip-6.0-64.fc41.x86_64 144/154 Verifying : util-linux-2.40.2-4.fc41.x86_64 145/154 Verifying : util-linux-core-2.40.2-4.fc41.x86_64 146/154 Verifying : which-2.21-42.fc41.x86_64 147/154 Verifying : xxhash-libs-0.8.2-3.fc41.x86_64 148/154 Verifying : xz-1:5.6.2-2.fc41.x86_64 149/154 Verifying : xz-libs-1:5.6.2-2.fc41.x86_64 150/154 Verifying : zig-srpm-macros-1-3.fc41.noarch 151/154 Verifying : zip-3.0-41.fc41.x86_64 152/154 Verifying : zlib-ng-compat-2.1.7-2.fc41.x86_64 153/154 Verifying : zstd-1.5.6-2.fc41.x86_64 154/154 Installed products updated. Installed: add-determinism-0.3.5-1.fc41.x86_64 alternatives-1.28-3.fc41.x86_64 ansible-srpm-macros-1-16.fc41.noarch audit-libs-4.0.1-4.fc41.x86_64 authselect-1.5.0-7.fc41.x86_64 authselect-libs-1.5.0-7.fc41.x86_64 basesystem-11-21.fc41.noarch bash-5.2.26-4.fc41.x86_64 binutils-2.42.50-20.fc41.x86_64 build-reproducibility-srpm-macros-0.3.5-1.fc41.noarch bzip2-1.0.8-19.fc41.x86_64 bzip2-libs-1.0.8-19.fc41.x86_64 ca-certificates-2024.2.68_v8.0.302-3.fc41.noarch coreutils-9.5-7.fc41.x86_64 coreutils-common-9.5-7.fc41.x86_64 cpio-2.15-2.fc41.x86_64 cracklib-2.9.11-6.fc41.x86_64 crypto-policies-20240717-2.git154fd4e.fc41.noarch curl-8.8.0-3.fc41.x86_64 cyrus-sasl-lib-2.1.28-27.fc41.x86_64 debugedit-5.0-17.fc41.x86_64 diffutils-3.10-7.fc41.x86_64 dwz-0.15-7.fc41.x86_64 ed-1.20.2-2.fc41.x86_64 efi-srpm-macros-5-12.fc41.noarch elfutils-0.191-8.fc41.x86_64 elfutils-debuginfod-client-0.191-8.fc41.x86_64 elfutils-default-yama-scope-0.191-8.fc41.noarch elfutils-libelf-0.191-8.fc41.x86_64 elfutils-libs-0.191-8.fc41.x86_64 fedora-gpg-keys-41-0.2.noarch fedora-release-41-0.16.noarch fedora-release-common-41-0.16.noarch fedora-release-identity-basic-41-0.16.noarch fedora-repos-41-0.2.noarch fedora-repos-rawhide-41-0.2.noarch file-5.45-7.fc41.x86_64 file-libs-5.45-7.fc41.x86_64 filesystem-3.18-23.fc41.x86_64 findutils-1:4.10.0-4.fc41.x86_64 fonts-srpm-macros-1:2.0.5-17.fc41.noarch forge-srpm-macros-0.3.1-2.fc41.noarch fpc-srpm-macros-1.3-13.fc41.noarch gawk-5.3.0-4.fc41.x86_64 gdb-minimal-14.2-15.fc41.x86_64 gdbm-1:1.23-7.fc41.x86_64 gdbm-libs-1:1.23-7.fc41.x86_64 ghc-srpm-macros-1.9.1-2.fc41.noarch glibc-2.39.9000-35.fc41.x86_64 glibc-common-2.39.9000-35.fc41.x86_64 glibc-gconv-extra-2.39.9000-35.fc41.x86_64 glibc-minimal-langpack-2.39.9000-35.fc41.x86_64 gmp-1:6.3.0-2.fc41.x86_64 gnat-srpm-macros-6-6.fc41.noarch go-srpm-macros-3.6.0-3.fc41.noarch grep-3.11-9.fc41.x86_64 gzip-1.13-2.fc41.x86_64 info-7.1-3.fc41.x86_64 jansson-2.13.1-10.fc41.x86_64 kernel-srpm-macros-1.0-24.fc41.noarch keyutils-libs-1.6.3-4.fc41.x86_64 krb5-libs-1.21.3-2.fc41.x86_64 libacl-2.3.2-2.fc41.x86_64 libarchive-3.7.4-3.fc41.x86_64 libattr-2.5.2-4.fc41.x86_64 libblkid-2.40.2-4.fc41.x86_64 libbrotli-1.1.0-5.fc41.x86_64 libcap-2.70-4.fc41.x86_64 libcap-ng-0.8.5-3.fc41.x86_64 libcom_err-1.47.1-3.fc41.x86_64 libcurl-8.8.0-3.fc41.x86_64 libeconf-0.6.2-3.fc41.x86_64 libevent-2.1.12-14.fc41.x86_64 libfdisk-2.40.2-4.fc41.x86_64 libffi-3.4.6-2.fc41.x86_64 libgcc-14.1.1-7.fc41.x86_64 libgomp-14.1.1-7.fc41.x86_64 libidn2-2.3.7-2.fc41.x86_64 libmount-2.40.2-4.fc41.x86_64 libnghttp2-1.62.1-2.fc41.x86_64 libnsl2-2.0.1-2.fc41.x86_64 libpkgconf-2.1.1-2.fc41.x86_64 libpsl-0.21.5-4.fc41.x86_64 libpwquality-1.4.5-11.fc41.x86_64 libselinux-3.7-5.fc41.x86_64 libsemanage-3.7-2.fc41.x86_64 libsepol-3.7-2.fc41.x86_64 libsmartcols-2.40.2-4.fc41.x86_64 libssh-0.10.6-6.fc41.x86_64 libssh-config-0.10.6-6.fc41.noarch libstdc++-14.1.1-7.fc41.x86_64 libtasn1-4.19.0-9.fc41.x86_64 libtirpc-1.3.5-0.fc41.x86_64 libtool-ltdl-2.4.7-12.fc41.x86_64 libunistring-1.1-8.fc41.x86_64 libutempter-1.2.1-15.fc41.x86_64 libuuid-2.40.2-4.fc41.x86_64 libverto-0.3.2-9.fc41.x86_64 libxcrypt-4.4.36-7.fc41.x86_64 libxml2-2.12.8-2.fc41.x86_64 libzstd-1.5.6-2.fc41.x86_64 lua-libs-5.4.6-6.fc41.x86_64 lua-srpm-macros-1-14.fc41.noarch lz4-libs-1.10.0-1.fc41.x86_64 mpfr-4.2.1-5.fc41.x86_64 ncurses-base-6.5-2.20240629.fc41.noarch ncurses-libs-6.5-2.20240629.fc41.x86_64 ocaml-srpm-macros-10-3.fc41.noarch openblas-srpm-macros-2-18.fc41.noarch openldap-2.6.8-4.fc41.x86_64 openssl-libs-1:3.2.2-5.fc41.x86_64 p11-kit-0.25.5-3.fc41.x86_64 p11-kit-trust-0.25.5-3.fc41.x86_64 package-notes-srpm-macros-0.5-12.fc41.noarch pam-1.6.1-4.fc41.x86_64 pam-libs-1.6.1-4.fc41.x86_64 patch-2.7.6-25.fc41.x86_64 pcre2-10.44-1.fc41.1.x86_64 pcre2-syntax-10.44-1.fc41.1.noarch perl-srpm-macros-1-56.fc41.noarch pkgconf-2.1.1-2.fc41.x86_64 pkgconf-m4-2.1.1-2.fc41.noarch pkgconf-pkg-config-2.1.1-2.fc41.x86_64 popt-1.19-7.fc41.x86_64 publicsuffix-list-dafsa-20240107-4.fc41.noarch pyproject-srpm-macros-1.13.0-2.fc41.noarch python-srpm-macros-3.13-3.fc41.noarch qt5-srpm-macros-5.15.14-3.fc41.noarch qt6-srpm-macros-6.7.2-3.fc41.noarch readline-8.2-9.fc41.x86_64 redhat-rpm-config-293-1.fc41.noarch rpm-4.19.92-5.fc41.x86_64 rpm-build-4.19.92-5.fc41.x86_64 rpm-build-libs-4.19.92-5.fc41.x86_64 rpm-libs-4.19.92-5.fc41.x86_64 rpm-sequoia-1.7.0-2.fc41.x86_64 rust-srpm-macros-26.3-1.fc41.noarch sed-4.9-3.fc41.x86_64 setup-2.15.0-5.fc41.noarch shadow-utils-2:4.15.1-9.fc41.x86_64 sqlite-libs-3.46.0-3.fc41.x86_64 systemd-libs-256.3-2.fc41.x86_64 tar-2:1.35-4.fc41.x86_64 unzip-6.0-64.fc41.x86_64 util-linux-2.40.2-4.fc41.x86_64 util-linux-core-2.40.2-4.fc41.x86_64 which-2.21-42.fc41.x86_64 xxhash-libs-0.8.2-3.fc41.x86_64 xz-1:5.6.2-2.fc41.x86_64 xz-libs-1:5.6.2-2.fc41.x86_64 zig-srpm-macros-1-3.fc41.noarch zip-3.0-41.fc41.x86_64 zlib-ng-compat-2.1.7-2.fc41.x86_64 zstd-1.5.6-2.fc41.x86_64 Complete! Finish: installing minimal buildroot with dnf Start: creating root cache Finish: creating root cache Finish: chroot init INFO: Installed packages: INFO: add-determinism-0.3.5-1.fc41.x86_64 alternatives-1.28-3.fc41.x86_64 ansible-srpm-macros-1-16.fc41.noarch audit-libs-4.0.1-4.fc41.x86_64 authselect-1.5.0-7.fc41.x86_64 authselect-libs-1.5.0-7.fc41.x86_64 basesystem-11-21.fc41.noarch bash-5.2.26-4.fc41.x86_64 binutils-2.42.50-20.fc41.x86_64 build-reproducibility-srpm-macros-0.3.5-1.fc41.noarch bzip2-1.0.8-19.fc41.x86_64 bzip2-libs-1.0.8-19.fc41.x86_64 ca-certificates-2024.2.68_v8.0.302-3.fc41.noarch coreutils-9.5-7.fc41.x86_64 coreutils-common-9.5-7.fc41.x86_64 cpio-2.15-2.fc41.x86_64 cracklib-2.9.11-6.fc41.x86_64 crypto-policies-20240717-2.git154fd4e.fc41.noarch curl-8.8.0-3.fc41.x86_64 cyrus-sasl-lib-2.1.28-27.fc41.x86_64 debugedit-5.0-17.fc41.x86_64 diffutils-3.10-7.fc41.x86_64 dwz-0.15-7.fc41.x86_64 ed-1.20.2-2.fc41.x86_64 efi-srpm-macros-5-12.fc41.noarch elfutils-0.191-8.fc41.x86_64 elfutils-debuginfod-client-0.191-8.fc41.x86_64 elfutils-default-yama-scope-0.191-8.fc41.noarch elfutils-libelf-0.191-8.fc41.x86_64 elfutils-libs-0.191-8.fc41.x86_64 fedora-gpg-keys-41-0.2.noarch fedora-release-41-0.16.noarch fedora-release-common-41-0.16.noarch fedora-release-identity-basic-41-0.16.noarch fedora-repos-41-0.2.noarch fedora-repos-rawhide-41-0.2.noarch file-5.45-7.fc41.x86_64 file-libs-5.45-7.fc41.x86_64 filesystem-3.18-23.fc41.x86_64 findutils-4.10.0-4.fc41.x86_64 fonts-srpm-macros-2.0.5-17.fc41.noarch forge-srpm-macros-0.3.1-2.fc41.noarch fpc-srpm-macros-1.3-13.fc41.noarch gawk-5.3.0-4.fc41.x86_64 gdb-minimal-14.2-15.fc41.x86_64 gdbm-1.23-7.fc41.x86_64 gdbm-libs-1.23-7.fc41.x86_64 ghc-srpm-macros-1.9.1-2.fc41.noarch glibc-2.39.9000-35.fc41.x86_64 glibc-common-2.39.9000-35.fc41.x86_64 glibc-gconv-extra-2.39.9000-35.fc41.x86_64 glibc-minimal-langpack-2.39.9000-35.fc41.x86_64 gmp-6.3.0-2.fc41.x86_64 gnat-srpm-macros-6-6.fc41.noarch go-srpm-macros-3.6.0-3.fc41.noarch grep-3.11-9.fc41.x86_64 gzip-1.13-2.fc41.x86_64 info-7.1-3.fc41.x86_64 jansson-2.13.1-10.fc41.x86_64 kernel-srpm-macros-1.0-24.fc41.noarch keyutils-libs-1.6.3-4.fc41.x86_64 krb5-libs-1.21.3-2.fc41.x86_64 libacl-2.3.2-2.fc41.x86_64 libarchive-3.7.4-3.fc41.x86_64 libattr-2.5.2-4.fc41.x86_64 libblkid-2.40.2-4.fc41.x86_64 libbrotli-1.1.0-5.fc41.x86_64 libcap-2.70-4.fc41.x86_64 libcap-ng-0.8.5-3.fc41.x86_64 libcom_err-1.47.1-3.fc41.x86_64 libcurl-8.8.0-3.fc41.x86_64 libeconf-0.6.2-3.fc41.x86_64 libevent-2.1.12-14.fc41.x86_64 libfdisk-2.40.2-4.fc41.x86_64 libffi-3.4.6-2.fc41.x86_64 libgcc-14.1.1-7.fc41.x86_64 libgomp-14.1.1-7.fc41.x86_64 libidn2-2.3.7-2.fc41.x86_64 libmount-2.40.2-4.fc41.x86_64 libnghttp2-1.62.1-2.fc41.x86_64 libnsl2-2.0.1-2.fc41.x86_64 libpkgconf-2.1.1-2.fc41.x86_64 libpsl-0.21.5-4.fc41.x86_64 libpwquality-1.4.5-11.fc41.x86_64 libselinux-3.7-5.fc41.x86_64 libsemanage-3.7-2.fc41.x86_64 libsepol-3.7-2.fc41.x86_64 libsmartcols-2.40.2-4.fc41.x86_64 libssh-0.10.6-6.fc41.x86_64 libssh-config-0.10.6-6.fc41.noarch libstdc++-14.1.1-7.fc41.x86_64 libtasn1-4.19.0-9.fc41.x86_64 libtirpc-1.3.5-0.fc41.x86_64 libtool-ltdl-2.4.7-12.fc41.x86_64 libunistring-1.1-8.fc41.x86_64 libutempter-1.2.1-15.fc41.x86_64 libuuid-2.40.2-4.fc41.x86_64 libverto-0.3.2-9.fc41.x86_64 libxcrypt-4.4.36-7.fc41.x86_64 libxml2-2.12.8-2.fc41.x86_64 libzstd-1.5.6-2.fc41.x86_64 lua-libs-5.4.6-6.fc41.x86_64 lua-srpm-macros-1-14.fc41.noarch lz4-libs-1.10.0-1.fc41.x86_64 mpfr-4.2.1-5.fc41.x86_64 ncurses-base-6.5-2.20240629.fc41.noarch ncurses-libs-6.5-2.20240629.fc41.x86_64 ocaml-srpm-macros-10-3.fc41.noarch openblas-srpm-macros-2-18.fc41.noarch openldap-2.6.8-4.fc41.x86_64 openssl-libs-3.2.2-5.fc41.x86_64 p11-kit-0.25.5-3.fc41.x86_64 p11-kit-trust-0.25.5-3.fc41.x86_64 package-notes-srpm-macros-0.5-12.fc41.noarch pam-1.6.1-4.fc41.x86_64 pam-libs-1.6.1-4.fc41.x86_64 patch-2.7.6-25.fc41.x86_64 pcre2-10.44-1.fc41.1.x86_64 pcre2-syntax-10.44-1.fc41.1.noarch perl-srpm-macros-1-56.fc41.noarch pkgconf-2.1.1-2.fc41.x86_64 pkgconf-m4-2.1.1-2.fc41.noarch pkgconf-pkg-config-2.1.1-2.fc41.x86_64 popt-1.19-7.fc41.x86_64 publicsuffix-list-dafsa-20240107-4.fc41.noarch pyproject-srpm-macros-1.13.0-2.fc41.noarch python-srpm-macros-3.13-3.fc41.noarch qt5-srpm-macros-5.15.14-3.fc41.noarch qt6-srpm-macros-6.7.2-3.fc41.noarch readline-8.2-9.fc41.x86_64 redhat-rpm-config-293-1.fc41.noarch rpm-4.19.92-5.fc41.x86_64 rpm-build-4.19.92-5.fc41.x86_64 rpm-build-libs-4.19.92-5.fc41.x86_64 rpm-libs-4.19.92-5.fc41.x86_64 rpm-sequoia-1.7.0-2.fc41.x86_64 rust-srpm-macros-26.3-1.fc41.noarch sed-4.9-3.fc41.x86_64 setup-2.15.0-5.fc41.noarch shadow-utils-4.15.1-9.fc41.x86_64 sqlite-libs-3.46.0-3.fc41.x86_64 systemd-libs-256.3-2.fc41.x86_64 tar-1.35-4.fc41.x86_64 unzip-6.0-64.fc41.x86_64 util-linux-2.40.2-4.fc41.x86_64 util-linux-core-2.40.2-4.fc41.x86_64 which-2.21-42.fc41.x86_64 xxhash-libs-0.8.2-3.fc41.x86_64 xz-5.6.2-2.fc41.x86_64 xz-libs-5.6.2-2.fc41.x86_64 zig-srpm-macros-1-3.fc41.noarch zip-3.0-41.fc41.x86_64 zlib-ng-compat-2.1.7-2.fc41.x86_64 zstd-1.5.6-2.fc41.x86_64 Start: buildsrpm Start: rpmbuild -bs Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1721779200 Wrote: /builddir/build/SRPMS/python-pysmt-0.9.5-8.fc41.src.rpm Finish: rpmbuild -bs cp: preserving permissions for ‘/var/lib/copr-rpmbuild/results/chroot_scan/var/lib/mock/fedora-39-x86_64-1721841947.901545/root/var/log’: No such file or directory INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-39-x86_64-1721841947.901545/root/var/log/dnf.log /var/lib/mock/fedora-39-x86_64-1721841947.901545/root/var/log/dnf.librepo.log /var/lib/mock/fedora-39-x86_64-1721841947.901545/root/var/log/dnf.rpm.log Finish: buildsrpm INFO: Done(/var/lib/copr-rpmbuild/workspace/workdir-28kdmrhb/python-pysmt/python-pysmt.spec) Config(child) 0 minutes 18 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-pysmt-0.9.5-8.fc41.src.rpm) Config(fedora-39-x86_64) Start: chroot init INFO: mounting tmpfs at /var/lib/mock/fedora-39-x86_64-1721841947.901545/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 from host and used with --installroot: rpm-4.19.1.1-1.fc39.x86_64 rpm-sequoia-1.6.0-1.fc39.x86_64 python3-dnf-4.21.0-1.fc39.noarch python3-dnf-plugins-core-4.8.0-1.fc39.noarch yum-4.21.0-1.fc39.noarch dnf5-5.1.17-1.fc39.x86_64 dnf5-plugins-5.1.17-1.fc39.x86_64 Finish: chroot init Start: build phase for python-pysmt-0.9.5-8.fc41.src.rpm Start: build setup for python-pysmt-0.9.5-8.fc41.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1721779200 Wrote: /builddir/build/SRPMS/python-pysmt-0.9.5-8.fc41.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 44 kB/s | 1.5 kB 00:00 Additional repo http_kojipkgs_fedoraproject_org 69 kB/s | 3.5 kB 00:00 fedora 1.1 MB/s | 29 kB 00:00 updates 719 kB/s | 18 kB 00:00 Dependencies resolved. ======================================================================================================================= Package Arch Version Repository Size ======================================================================================================================= Installing: python3-devel x86_64 3.13.0~b4-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 356 k python3-setuptools noarch 69.2.0-7.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.4 M python3-six noarch 1.16.0-23.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 41 k Installing dependencies: expat x86_64 2.6.2-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 113 k libb2 x86_64 0.98.1-12.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 26 k mpdecimal x86_64 2.5.1-16.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 89 k pyproject-rpm-macros noarch 1.13.0-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 42 k python-pip-wheel noarch 24.1.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 1.2 M python-rpm-macros noarch 3.13-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 18 k python3 x86_64 3.13.0~b4-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 27 k python3-libs x86_64 3.13.0~b4-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 8.8 M python3-packaging noarch 24.1-2.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 116 k python3-rpm-generators noarch 14-11.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 29 k python3-rpm-macros noarch 3.13-3.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 12 k tzdata noarch 2024a-9.fc41 http_kojipkgs_fedoraproject_org_repos_rawhide_latest_basearch 431 k Transaction Summary ======================================================================================================================= Install 15 Packages Total size: 13 M Total download size: 41 k Installed size: 54 M Downloading Packages: [SKIPPED] expat-2.6.2-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] libb2-0.98.1-12.fc41.x86_64.rpm: Already downloaded [SKIPPED] mpdecimal-2.5.1-16.fc41.x86_64.rpm: Already downloaded [SKIPPED] pyproject-rpm-macros-1.13.0-2.fc41.noarch.rpm: Already downloaded [SKIPPED] python-pip-wheel-24.1.1-2.fc41.noarch.rpm: Already downloaded [SKIPPED] python-rpm-macros-3.13-3.fc41.noarch.rpm: Already downloaded [SKIPPED] python3-3.13.0~b4-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] python3-devel-3.13.0~b4-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] python3-libs-3.13.0~b4-2.fc41.x86_64.rpm: Already downloaded [SKIPPED] python3-packaging-24.1-2.fc41.noarch.rpm: Already downloaded [SKIPPED] python3-rpm-generators-14-11.fc41.noarch.rpm: Already downloaded [SKIPPED] python3-rpm-macros-3.13-3.fc41.noarch.rpm: Already downloaded [SKIPPED] python3-setuptools-69.2.0-7.fc41.noarch.rpm: Already downloaded [SKIPPED] tzdata-2024a-9.fc41.noarch.rpm: Already downloaded (15/15): python3-six-1.16.0-23.fc41.noarch.rpm 633 kB/s | 41 kB 00:00 -------------------------------------------------------------------------------- Total 599 kB/s | 41 kB 00:00 Running transaction check Transaction check succeeded. Running transaction test Transaction test succeeded. Running transaction Preparing : 1/1 Installing : python-rpm-macros-3.13-3.fc41.noarch 1/15 Installing : python3-rpm-macros-3.13-3.fc41.noarch 2/15 Installing : pyproject-rpm-macros-1.13.0-2.fc41.noarch 3/15 Installing : tzdata-2024a-9.fc41.noarch 4/15 Installing : python-pip-wheel-24.1.1-2.fc41.noarch 5/15 Installing : mpdecimal-2.5.1-16.fc41.x86_64 6/15 Installing : libb2-0.98.1-12.fc41.x86_64 7/15 Installing : expat-2.6.2-2.fc41.x86_64 8/15 Installing : python3-3.13.0~b4-2.fc41.x86_64 9/15 Installing : python3-libs-3.13.0~b4-2.fc41.x86_64 10/15 Installing : python3-packaging-24.1-2.fc41.noarch 11/15 Installing : python3-rpm-generators-14-11.fc41.noarch 12/15 Installing : python3-devel-3.13.0~b4-2.fc41.x86_64 13/15 Installing : python3-setuptools-69.2.0-7.fc41.noarch 14/15 Installing : python3-six-1.16.0-23.fc41.noarch 15/15 Running scriptlet: python3-six-1.16.0-23.fc41.noarch 15/15 Verifying : expat-2.6.2-2.fc41.x86_64 1/15 Verifying : libb2-0.98.1-12.fc41.x86_64 2/15 Verifying : mpdecimal-2.5.1-16.fc41.x86_64 3/15 Verifying : pyproject-rpm-macros-1.13.0-2.fc41.noarch 4/15 Verifying : python-pip-wheel-24.1.1-2.fc41.noarch 5/15 Verifying : python-rpm-macros-3.13-3.fc41.noarch 6/15 Verifying : python3-3.13.0~b4-2.fc41.x86_64 7/15 Verifying : python3-devel-3.13.0~b4-2.fc41.x86_64 8/15 Verifying : python3-libs-3.13.0~b4-2.fc41.x86_64 9/15 Verifying : python3-packaging-24.1-2.fc41.noarch 10/15 Verifying : python3-rpm-generators-14-11.fc41.noarch 11/15 Verifying : python3-rpm-macros-3.13-3.fc41.noarch 12/15 Verifying : python3-setuptools-69.2.0-7.fc41.noarch 13/15 Verifying : python3-six-1.16.0-23.fc41.noarch 14/15 Verifying : tzdata-2024a-9.fc41.noarch 15/15 Installed products updated. Installed: expat-2.6.2-2.fc41.x86_64 libb2-0.98.1-12.fc41.x86_64 mpdecimal-2.5.1-16.fc41.x86_64 pyproject-rpm-macros-1.13.0-2.fc41.noarch python-pip-wheel-24.1.1-2.fc41.noarch python-rpm-macros-3.13-3.fc41.noarch python3-3.13.0~b4-2.fc41.x86_64 python3-devel-3.13.0~b4-2.fc41.x86_64 python3-libs-3.13.0~b4-2.fc41.x86_64 python3-packaging-24.1-2.fc41.noarch python3-rpm-generators-14-11.fc41.noarch python3-rpm-macros-3.13-3.fc41.noarch python3-setuptools-69.2.0-7.fc41.noarch python3-six-1.16.0-23.fc41.noarch tzdata-2024a-9.fc41.noarch Complete! Finish: build setup for python-pysmt-0.9.5-8.fc41.src.rpm Start: rpmbuild python-pysmt-0.9.5-8.fc41.src.rpm Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1721779200 Executing(%mkbuilddir): /bin/sh -e /var/tmp/rpm-tmp.clrZ7b + umask 022 + cd /builddir/build/BUILD/python-pysmt-0.9.5-build + test -d /builddir/build/BUILD/python-pysmt-0.9.5-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/python-pysmt-0.9.5-build + /usr/bin/rm -rf /builddir/build/BUILD/python-pysmt-0.9.5-build + /usr/bin/mkdir -p /builddir/build/BUILD/python-pysmt-0.9.5-build + /usr/bin/mkdir -p /builddir/build/BUILD/python-pysmt-0.9.5-build/SPECPARTS + RPM_EC=0 ++ jobs -p + exit 0 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.VEZZgv + umask 022 + cd /builddir/build/BUILD/python-pysmt-0.9.5-build + cd /builddir/build/BUILD/python-pysmt-0.9.5-build + rm -rf pysmt-0.9.5 + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/PySMT-0.9.5.tar.gz + STATUS=0 + '[' 0 -ne 0 ']' + cd pysmt-0.9.5 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + rm -rf pysmt.egg-info + sed -i -e '/^#!\//, 1d' pysmt/cmd/shell.py pysmt/constants.py + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.4NF4DU + umask 022 + cd /builddir/build/BUILD/python-pysmt-0.9.5-build + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd pysmt-0.9.5 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + /usr/bin/python3 setup.py build '--executable=/usr/bin/python3 -sP' running build running build_py creating build creating build/lib creating build/lib/pysmt copying pysmt/__init__.py -> build/lib/pysmt copying pysmt/__main__.py -> build/lib/pysmt copying pysmt/configuration.py -> build/lib/pysmt copying pysmt/decorators.py -> build/lib/pysmt copying pysmt/environment.py -> build/lib/pysmt copying pysmt/exceptions.py -> build/lib/pysmt copying pysmt/factory.py -> build/lib/pysmt copying pysmt/fnode.py -> build/lib/pysmt copying pysmt/formula.py -> build/lib/pysmt copying pysmt/logics.py -> build/lib/pysmt copying pysmt/operators.py -> build/lib/pysmt copying pysmt/oracles.py -> build/lib/pysmt copying pysmt/parsing.py -> build/lib/pysmt copying pysmt/printers.py -> build/lib/pysmt copying pysmt/rewritings.py -> build/lib/pysmt copying pysmt/shortcuts.py -> build/lib/pysmt copying pysmt/simplifier.py -> build/lib/pysmt copying pysmt/substituter.py -> build/lib/pysmt copying pysmt/type_checker.py -> build/lib/pysmt copying pysmt/typing.py -> build/lib/pysmt copying pysmt/utils.py -> build/lib/pysmt copying pysmt/constants.py -> build/lib/pysmt creating build/lib/pysmt/cmd copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd copying pysmt/cmd/install.py -> build/lib/pysmt/cmd copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd creating build/lib/pysmt/smtlib copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/utils.py -> build/lib/pysmt/smtlib creating build/lib/pysmt/solvers copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers copying pysmt/solvers/options.py -> build/lib/pysmt/solvers copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers creating build/lib/pysmt/test copying pysmt/test/__init__.py -> build/lib/pysmt/test copying pysmt/test/examples.py -> build/lib/pysmt/test copying pysmt/test/test_array.py -> build/lib/pysmt/test copying pysmt/test/test_back.py -> build/lib/pysmt/test copying pysmt/test/test_bdd.py -> build/lib/pysmt/test copying pysmt/test/test_bv.py -> build/lib/pysmt/test copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test copying pysmt/test/test_cnf.py -> build/lib/pysmt/test copying pysmt/test/test_configuration.py -> build/lib/pysmt/test copying pysmt/test/test_constants.py -> build/lib/pysmt/test copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test copying pysmt/test/test_dwf.py -> build/lib/pysmt/test copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test copying pysmt/test/test_env.py -> build/lib/pysmt/test copying pysmt/test/test_euf.py -> build/lib/pysmt/test copying pysmt/test/test_formula.py -> build/lib/pysmt/test copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test copying pysmt/test/test_imports.py -> build/lib/pysmt/test copying pysmt/test/test_int.py -> build/lib/pysmt/test copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test copying pysmt/test/test_lira.py -> build/lib/pysmt/test copying pysmt/test/test_logics.py -> build/lib/pysmt/test copying pysmt/test/test_models.py -> build/lib/pysmt/test copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test copying pysmt/test/test_nia.py -> build/lib/pysmt/test copying pysmt/test/test_nlira.py -> build/lib/pysmt/test copying pysmt/test/test_oracles.py -> build/lib/pysmt/test copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test copying pysmt/test/test_printing.py -> build/lib/pysmt/test copying pysmt/test/test_qe.py -> build/lib/pysmt/test copying pysmt/test/test_regressions.py -> build/lib/pysmt/test copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test copying pysmt/test/test_simplify.py -> build/lib/pysmt/test copying pysmt/test/test_size.py -> build/lib/pysmt/test copying pysmt/test/test_solving.py -> build/lib/pysmt/test copying pysmt/test/test_sorts.py -> build/lib/pysmt/test copying pysmt/test/test_string.py -> build/lib/pysmt/test copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test copying pysmt/test/test_walkers.py -> build/lib/pysmt/test creating build/lib/pysmt/walkers copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers creating build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers creating build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser creating build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_model_validation.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_uf.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib running egg_info creating PySMT.egg-info writing PySMT.egg-info/PKG-INFO writing dependency_links to PySMT.egg-info/dependency_links.txt writing entry points to PySMT.egg-info/entry_points.txt writing top-level names to PySMT.egg-info/top_level.txt writing manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' adding license file 'LICENSE' adding license file 'NOTICE' writing manifest file 'PySMT.egg-info/SOURCES.txt' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.HzYVr0 + umask 022 + cd /builddir/build/BUILD/python-pysmt-0.9.5-build + '[' /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT '!=' / ']' + rm -rf /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT ++ dirname /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT + mkdir -p /builddir/build/BUILD/python-pysmt-0.9.5-build + mkdir /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CFLAGS + CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + export CXXFLAGS + FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn' + export RUSTFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + export LDFLAGS + LT_SYS_LIBRARY_PATH=/usr/lib64: + export LT_SYS_LIBRARY_PATH + CC=gcc + export CC + CXX=g++ + export CXX + cd pysmt-0.9.5 + CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer ' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes ' + /usr/bin/python3 setup.py install -O1 --skip-build --root /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT --prefix /usr running install /usr/lib/python3.13/site-packages/setuptools/_distutils/cmd.py:66: SetuptoolsDeprecationWarning: setup.py install is deprecated. !! ******************************************************************************** Please avoid running ``setup.py`` directly. Instead, use pypa/build, pypa/installer or other standards-based tools. Follow the current Python packaging guidelines when building Python RPM packages. See https://blog.ganssle.io/articles/2021/10/setup-py-deprecated.html and https://docs.fedoraproject.org/en-US/packaging-guidelines/Python/ for details. ******************************************************************************** !! self.initialize_options() running install_lib creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13 creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/__main__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/configuration.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/decorators.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/environment.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/exceptions.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/factory.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/fnode.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/formula.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/logics.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/operators.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/oracles.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/parsing.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/printers.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/rewritings.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/shortcuts.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/simplifier.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/substituter.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/type_checker.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/typing.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/utils.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt copying build/lib/pysmt/constants.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/check_version.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/install.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvc4.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/script.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/solver.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/utils.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/cvc4.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/options.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/examples.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_array.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_back.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_bdd.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_cnf.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_configuration.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_constants.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_dwf.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_env.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_euf.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_formula.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_imports.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_int.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_lira.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_logics.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_models.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_native_qe.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_nia.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_nlira.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_oracles.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_printing.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_qe.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_regressions.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_simplify.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_size.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_solving.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_sorts.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_string.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_unsat_cores.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_walker_ext.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test copying build/lib/pysmt/test/test_walkers.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_model_validation.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib creating /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__init__.py to __init__.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__main__.py to __main__.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/configuration.py to configuration.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/decorators.py to decorators.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/environment.py to environment.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/exceptions.py to exceptions.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/factory.py to factory.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/fnode.py to fnode.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/formula.py to formula.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/logics.py to logics.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/operators.py to operators.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/oracles.py to oracles.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/parsing.py to parsing.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/printers.py to printers.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/rewritings.py to rewritings.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/shortcuts.py to shortcuts.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/simplifier.py to simplifier.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/substituter.py to substituter.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/type_checker.py to type_checker.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/typing.py to typing.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/utils.py to utils.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/constants.py to constants.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/__init__.py to __init__.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/check_version.py to check_version.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/install.py to install.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/shell.py to shell.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__init__.py to __init__.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/base.py to base.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/bdd.py to bdd.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py to btor.cpython-313.pyc /usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\(' byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/cvc4.py to cvc4.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/msat.py to msat.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/pico.py to pico.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/yices.py to yices.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/z3.py to z3.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__init__.py to __init__.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/annotations.py to annotations.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/commands.py to commands.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/printers.py to printers.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/script.py to script.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/solver.py to solver.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/utils.py to utils.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/__init__.py to __init__.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/parser.py to parser.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__init__.py to __init__.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/bdd.py to bdd.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/btor.py to btor.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/cvc4.py to cvc4.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/eager.py to eager.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/interpolation.py to interpolation.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/msat.py to msat.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/options.py to options.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/pico.py to pico.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/portfolio.py to portfolio.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/qelim.py to qelim.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/smtlib.py to smtlib.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/solver.py to solver.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/yices.py to yices.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/z3.py to z3.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__init__.py to __init__.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/examples.py to examples.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_array.py to test_array.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_back.py to test_back.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_bdd.py to test_bdd.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_bv.py to test_bv.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_bv_simplification.py to test_bv_simplification.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_cnf.py to test_cnf.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_configuration.py to test_configuration.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_constants.py to test_constants.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_cvc4_quantifiers.py to test_cvc4_quantifiers.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_dwf.py to test_dwf.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_eager_model.py to test_eager_model.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_env.py to test_env.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_euf.py to test_euf.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_formula.py to test_formula.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_hr_parsing.py to test_hr_parsing.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_imports.py to test_imports.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_int.py to test_int.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_interpolation.py to test_interpolation.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_lira.py to test_lira.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_logics.py to test_logics.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_models.py to test_models.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_native_qe.py to test_native_qe.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_nia.py to test_nia.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_nlira.py to test_nlira.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_oracles.py to test_oracles.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_portfolio.py to test_portfolio.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_printing.py to test_printing.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_qe.py to test_qe.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_regressions.py to test_regressions.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_rewritings.py to test_rewritings.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_shannon_expansion.py to test_shannon_expansion.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_simplify.py to test_simplify.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_size.py to test_size.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_solving.py to test_solving.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_sorts.py to test_sorts.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_string.py to test_string.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_typechecker.py to test_typechecker.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_unsat_cores.py to test_unsat_cores.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_walker_ext.py to test_walker_ext.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/test_walkers.py to test_walkers.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__init__.py to __init__.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/parser_utils.py to parser_utils.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_annotations.py to test_annotations.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_fuzzed.py to test_fuzzed.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_generic_wrapper.py to test_generic_wrapper.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_griggio.py to test_griggio.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_model_validation.py to test_model_validation.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_examples.py to test_parser_examples.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_extensibility.py to test_parser_extensibility.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_lra.py to test_parser_lra.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_arrays.py to test_parser_qf_arrays.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_lia.py to test_parser_qf_lia.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_lira.py to test_parser_qf_lira.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_lra.py to test_parser_qf_lra.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_nia.py to test_parser_qf_nia.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_nra.py to test_parser_qf_nra.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_uf.py to test_parser_qf_uf.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_qf_ufbv.py to test_parser_qf_ufbv.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_parser_type_error.py to test_parser_type_error.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/test_smtlibscript.py to test_smtlibscript.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__init__.py to __init__.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/dag.py to dag.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/generic.py to generic.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/identitydag.py to identitydag.cpython-313.pyc byte-compiling /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/tree.py to tree.cpython-313.pyc writing byte-compilation script '/tmp/tmpighdm3a7.py' /usr/bin/python3 /tmp/tmpighdm3a7.py /usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\(' removing /tmp/tmpighdm3a7.py running install_egg_info running egg_info writing PySMT.egg-info/PKG-INFO writing dependency_links to PySMT.egg-info/dependency_links.txt writing entry points to PySMT.egg-info/entry_points.txt writing top-level names to PySMT.egg-info/top_level.txt reading manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' adding license file 'LICENSE' adding license file 'NOTICE' writing manifest file 'PySMT.egg-info/SOURCES.txt' Copying PySMT.egg-info to /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/PySMT-0.9.5-py3.13.egg-info running install_scripts Installing pysmt-install script to /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/bin + rm -rfv /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/bin/__pycache__ + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/brp-remove-la-files + env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j2 Bytecompiling .py files below /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13 using python3.13 /usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\(' /usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\(' + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/bin/add-determinism --brp -j2 /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/__init__.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/__init__.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/bdd.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/base.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/pico.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/yices.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/z3.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/btor.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/cvc4.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/installers/__pycache__/msat.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/__pycache__/check_version.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/__pycache__/install.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/__pycache__/__init__.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/__pycache__/__init__.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/cmd/__pycache__/shell.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/__pycache__/parser.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/parser/__pycache__/parser.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/commands.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/annotations.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/utils.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/utils.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/printers.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/script.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/script.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/solver.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/printers.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/smtlib/__pycache__/solver.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/bdd.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/bdd.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/btor.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/btor.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/cvc4.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/eager.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/interpolation.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/cvc4.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/options.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/msat.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/pico.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/smtlib.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/pico.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/msat.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/solver.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/portfolio.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/portfolio.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/qelim.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/solver.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/yices.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/yices.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/z3.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/solvers/__pycache__/z3.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/parser_utils.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/parser_utils.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_griggio.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_annotations.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_examples.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_fuzzed.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_extensibility.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_lra.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_generic_wrapper.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_arrays.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_model_validation.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_lia.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_lira.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_lra.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_ufbv.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_nia.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_type_error.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_nra.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_parser_qf_uf.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/smtlib/__pycache__/test_smtlibscript.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/examples.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_back.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_bdd.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_array.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_cnf.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_cnf.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_configuration.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_bv.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_constants.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_cvc4_quantifiers.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_dwf.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_eager_model.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_env.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_euf.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_interpolation.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_lira.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_logics.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_models.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_models.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_formula.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_bv_simplification.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_native_qe.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_nia.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_nlira.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_oracles.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_hr_parsing.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_imports.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_int.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_portfolio.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_printing.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_qe.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_shannon_expansion.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_simplify.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_regressions.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_size.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_unsat_cores.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_rewritings.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_walker_ext.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_solving.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_walkers.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_sorts.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_solving.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_string.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/test/__pycache__/test_typechecker.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/generic.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/__init__.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/identitydag.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/__init__.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/tree.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/walkers/__pycache__/dag.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/__main__.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/configuration.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/configuration.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/constants.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/decorators.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/__init__.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/environment.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/exceptions.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/environment.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/logics.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/factory.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/operators.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/operators.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/logics.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/factory.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/oracles.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/fnode.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/parsing.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/oracles.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/printers.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/printers.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/fnode.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/rewritings.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/formula.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/rewritings.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/formula.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/shortcuts.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/shortcuts.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/simplifier.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/substituter.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/type_checker.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/simplifier.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/type_checker.cpython-313.opt-1.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/typing.cpython-313.pyc: replacing with normalized version /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/utils.cpython-313.pyc: rewriting with normalized contents /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/lib/python3.13/site-packages/pysmt/__pycache__/typing.cpython-313.opt-1.pyc: replacing with normalized version Scanned 25 directories and 384 files, processed 161 inodes, 161 modified (70 replaced + 91 rewritten), 0 unsupported format, 0 errors Processing files: python3-pysmt-0.9.5-8.fc41.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.v2jjVw + umask 022 + cd /builddir/build/BUILD/python-pysmt-0.9.5-build + cd pysmt-0.9.5 + DOCDIR=/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt + cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/README.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt + cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/CHANGES.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt + cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/api_ref.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt + cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/development.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt + cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/getting_started.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt + cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/index.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt + cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/tutorials.rst /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt + cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/docs/tutorials /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/doc/python3-pysmt + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.DYjQzi + umask 022 + cd /builddir/build/BUILD/python-pysmt-0.9.5-build + cd pysmt-0.9.5 + LICENSEDIR=/builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/licenses/python3-pysmt + export LC_ALL=C.UTF-8 + LC_ALL=C.UTF-8 + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/licenses/python3-pysmt + cp -pr /builddir/build/BUILD/python-pysmt-0.9.5-build/pysmt-0.9.5/LICENSE /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT/usr/share/licenses/python3-pysmt + RPM_EC=0 ++ jobs -p + exit 0 Provides: python-pysmt = 0.9.5-8.fc41 python3-pysmt = 0.9.5-8.fc41 python3.13-pysmt = 0.9.5-8.fc41 python3.13dist(pysmt) = 0.9.5 python3dist(pysmt) = 0.9.5 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.13 Obsoletes: python-pysmt < 0.9.5-8.fc41 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILD/python-pysmt-0.9.5-build/BUILDROOT Wrote: /builddir/build/RPMS/python3-pysmt-0.9.5-8.fc41.noarch.rpm Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.gzIgcR + umask 022 + cd /builddir/build/BUILD/python-pysmt-0.9.5-build + test -d /builddir/build/BUILD/python-pysmt-0.9.5-build + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w /builddir/build/BUILD/python-pysmt-0.9.5-build + rm -rf /builddir/build/BUILD/python-pysmt-0.9.5-build + RPM_EC=0 ++ jobs -p + exit 0 Finish: rpmbuild python-pysmt-0.9.5-8.fc41.src.rpm Finish: build phase for python-pysmt-0.9.5-8.fc41.src.rpm INFO: chroot_scan: 3 files copied to /var/lib/copr-rpmbuild/results/chroot_scan INFO: /var/lib/mock/fedora-39-x86_64-1721841947.901545/root/var/log/dnf.log /var/lib/mock/fedora-39-x86_64-1721841947.901545/root/var/log/dnf.librepo.log /var/lib/mock/fedora-39-x86_64-1721841947.901545/root/var/log/dnf.rpm.log INFO: Done(/var/lib/copr-rpmbuild/results/python-pysmt-0.9.5-8.fc41.src.rpm) Config(child) 0 minutes 11 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": "python-pysmt", "epoch": null, "version": "0.9.5", "release": "8.fc41", "arch": "src" }, { "name": "python3-pysmt", "epoch": null, "version": "0.9.5", "release": "8.fc41", "arch": "noarch" } ] } RPMResults finished