Mock Version: 5.5
Mock Version: 5.5
Mock Version: 5.5
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target noarch --nodeps /builddir/build/SPECS/python-pysmt.spec'], chrootPath='/var/lib/mock/f41-build-54230-2976/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0xffffff905583b0>timeout=864000uid=997gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.z890hm_r:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.z890hm_r:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '19f8c5189f234368ba50c46d14a3aef5', '-D', '/var/lib/mock/f41-build-54230-2976/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.z890hm_r:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target noarch --nodeps /builddir/build/SPECS/python-pysmt.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: noarch
Building for target noarch
setting SOURCE_DATE_EPOCH=1706227200
Wrote: /builddir/build/SRPMS/python-pysmt-0.9.5-5.fc41.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target noarch --nodeps /builddir/build/SPECS/python-pysmt.spec'], chrootPath='/var/lib/mock/f41-build-54230-2976/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0xffffff905583b0>timeout=864000uid=997gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.z890hm_r:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=False)
Using nspawn with args ['--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.z890hm_r:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']
Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'a1ae97ff95874e17ab6ae88455f95990', '-D', '/var/lib/mock/f41-build-54230-2976/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.z890hm_r:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/mapper/control', '--bind=/dev/fuse', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;<mock-chroot>\\007"', '--setenv=PS1=<mock-chroot> \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target noarch --nodeps /builddir/build/SPECS/python-pysmt.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0', 'SYSTEMD_SECCOMP': '0'} and shell False
Building target platforms: noarch
Building for target noarch
setting SOURCE_DATE_EPOCH=1706227200
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.yJeVpF
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/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
+ rm -rf /builddir/build/BUILD/pysmt-0.9.5-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/pysmt-0.9.5-SPECPARTS
+ /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.WKEMJs
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd pysmt-0.9.5
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ /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/decorators.py -> build/lib/pysmt
copying pysmt/factory.py -> build/lib/pysmt
copying pysmt/shortcuts.py -> build/lib/pysmt
copying pysmt/substituter.py -> build/lib/pysmt
copying pysmt/__init__.py -> build/lib/pysmt
copying pysmt/environment.py -> build/lib/pysmt
copying pysmt/__main__.py -> build/lib/pysmt
copying pysmt/type_checker.py -> build/lib/pysmt
copying pysmt/rewritings.py -> build/lib/pysmt
copying pysmt/utils.py -> build/lib/pysmt
copying pysmt/fnode.py -> build/lib/pysmt
copying pysmt/oracles.py -> build/lib/pysmt
copying pysmt/simplifier.py -> build/lib/pysmt
copying pysmt/typing.py -> build/lib/pysmt
copying pysmt/printers.py -> build/lib/pysmt
copying pysmt/logics.py -> build/lib/pysmt
copying pysmt/operators.py -> build/lib/pysmt
copying pysmt/formula.py -> build/lib/pysmt
copying pysmt/constants.py -> build/lib/pysmt
copying pysmt/parsing.py -> build/lib/pysmt
copying pysmt/configuration.py -> build/lib/pysmt
copying pysmt/exceptions.py -> build/lib/pysmt
creating build/lib/pysmt/test
copying pysmt/test/test_constants.py -> build/lib/pysmt/test
copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test
copying pysmt/test/test_solving.py -> build/lib/pysmt/test
copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test
copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test
copying pysmt/test/__init__.py -> build/lib/pysmt/test
copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test
copying pysmt/test/test_nlira.py -> build/lib/pysmt/test
copying pysmt/test/test_walkers.py -> build/lib/pysmt/test
copying pysmt/test/test_array.py -> build/lib/pysmt/test
copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test
copying pysmt/test/test_regressions.py -> build/lib/pysmt/test
copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test
copying pysmt/test/examples.py -> build/lib/pysmt/test
copying pysmt/test/test_printing.py -> build/lib/pysmt/test
copying pysmt/test/test_int.py -> build/lib/pysmt/test
copying pysmt/test/test_euf.py -> build/lib/pysmt/test
copying pysmt/test/test_dwf.py -> build/lib/pysmt/test
copying pysmt/test/test_nia.py -> build/lib/pysmt/test
copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test
copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test
copying pysmt/test/test_oracles.py -> build/lib/pysmt/test
copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test
copying pysmt/test/test_size.py -> build/lib/pysmt/test
copying pysmt/test/test_bv.py -> build/lib/pysmt/test
copying pysmt/test/test_env.py -> build/lib/pysmt/test
copying pysmt/test/test_qe.py -> build/lib/pysmt/test
copying pysmt/test/test_imports.py -> build/lib/pysmt/test
copying pysmt/test/test_string.py -> build/lib/pysmt/test
copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test
copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test
copying pysmt/test/test_formula.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_lira.py -> build/lib/pysmt/test
copying pysmt/test/test_sorts.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_bdd.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_back.py -> build/lib/pysmt/test
creating build/lib/pysmt/walkers
copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers
copying pysmt/walkers/tree.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
creating build/lib/pysmt/solvers
copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers
copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers
copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers
copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers
copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers
copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers
copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers
copying pysmt/solvers/options.py -> build/lib/pysmt/solvers
copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers
copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers
copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers
copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers
copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers
copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers
copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers
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/script.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib
copying pysmt/smtlib/utils.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/annotations.py -> build/lib/pysmt/smtlib
creating build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_smtlibscript.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_type_error.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_nia.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_fuzzed.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_model_validation.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_generic_wrapper.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_nra.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_lia.py -> build/lib/pysmt/test/smtlib
creating build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/cvc4.py -> 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/msat.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/bdd.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/btor.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
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.ZevpHi
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch
++ dirname /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer -I/usr/lib/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd pysmt-0.9.5
+ CFLAGS='-O2  -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  -fasynchronous-unwind-tables -fno-omit-frame-pointer '
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed   -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld-errors -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1  '
+ /usr/bin/python3 setup.py install -O1 --skip-build --root /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch --prefix /usr
running install
/usr/lib/python3.12/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/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/decorators.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/factory.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_constants.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_native_qe.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_solving.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_hr_parsing.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_rewritings.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_unsat_cores.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_nlira.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_walkers.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_array.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_typechecker.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_regressions.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_interpolation.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/examples.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_printing.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_int.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_euf.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_dwf.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_nia.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_portfolio.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_oracles.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_walker_ext.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_size.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bv.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_env.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_qe.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_imports.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_string.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bv_simplification.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_eager_model.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_formula.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_logics.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_models.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_lira.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_griggio.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/parser_utils.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_annotations.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_model_validation.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib
copying build/lib/pysmt/test/test_sorts.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_cnf.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_configuration.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_bdd.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_shannon_expansion.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_simplify.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/test/test_back.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test
copying build/lib/pysmt/shortcuts.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/substituter.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/environment.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/__main__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/tree.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/dag.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/generic.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers
copying build/lib/pysmt/walkers/identitydag.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers
copying build/lib/pysmt/type_checker.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/rewritings.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/cvc4.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/qelim.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/msat.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/bdd.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/solver.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/pico.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/options.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/yices.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/portfolio.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/smtlib.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/btor.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/z3.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/eager.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/solvers/interpolation.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers
copying build/lib/pysmt/utils.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/fnode.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/oracles.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/simplifier.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/typing.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/printers.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/check_version.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd
copying build/lib/pysmt/cmd/install.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/cvc4.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/base.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/msat.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/bdd.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/pico.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/yices.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/btor.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/z3.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers
copying build/lib/pysmt/cmd/shell.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd
copying build/lib/pysmt/logics.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/operators.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/formula.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/constants.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/script.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib
creating /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/parser/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/parser/parser.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/__init__.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/solver.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/utils.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/commands.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/printers.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib
copying build/lib/pysmt/smtlib/annotations.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib
copying build/lib/pysmt/parsing.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/configuration.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
copying build/lib/pysmt/exceptions.py -> /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/decorators.py to decorators.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/factory.py to factory.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_constants.py to test_constants.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_native_qe.py to test_native_qe.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_solving.py to test_solving.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_hr_parsing.py to test_hr_parsing.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_rewritings.py to test_rewritings.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/__init__.py to __init__.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_unsat_cores.py to test_unsat_cores.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_nlira.py to test_nlira.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_walkers.py to test_walkers.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_array.py to test_array.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_typechecker.py to test_typechecker.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_regressions.py to test_regressions.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_interpolation.py to test_interpolation.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/examples.py to examples.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_printing.py to test_printing.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_int.py to test_int.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_euf.py to test_euf.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_dwf.py to test_dwf.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_nia.py to test_nia.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_portfolio.py to test_portfolio.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_cvc4_quantifiers.py to test_cvc4_quantifiers.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_oracles.py to test_oracles.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_walker_ext.py to test_walker_ext.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_size.py to test_size.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_bv.py to test_bv.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_env.py to test_env.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_qe.py to test_qe.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_imports.py to test_imports.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_string.py to test_string.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_bv_simplification.py to test_bv_simplification.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_eager_model.py to test_eager_model.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_formula.py to test_formula.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_logics.py to test_logics.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_models.py to test_models.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_lira.py to test_lira.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_arrays.py to test_parser_qf_arrays.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_griggio.py to test_griggio.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/__init__.py to __init__.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_extensibility.py to test_parser_extensibility.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_smtlibscript.py to test_smtlibscript.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_examples.py to test_parser_examples.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_type_error.py to test_parser_type_error.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_lra.py to test_parser_lra.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_nia.py to test_parser_qf_nia.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_uf.py to test_parser_qf_uf.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_ufbv.py to test_parser_qf_ufbv.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_fuzzed.py to test_fuzzed.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/parser_utils.py to parser_utils.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_annotations.py to test_annotations.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_model_validation.py to test_model_validation.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_generic_wrapper.py to test_generic_wrapper.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_lra.py to test_parser_qf_lra.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_nra.py to test_parser_qf_nra.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_lira.py to test_parser_qf_lira.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/smtlib/test_parser_qf_lia.py to test_parser_qf_lia.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_sorts.py to test_sorts.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_cnf.py to test_cnf.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_configuration.py to test_configuration.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_bdd.py to test_bdd.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_shannon_expansion.py to test_shannon_expansion.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_simplify.py to test_simplify.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/test/test_back.py to test_back.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/shortcuts.py to shortcuts.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/substituter.py to substituter.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/__init__.py to __init__.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/environment.py to environment.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/__main__.py to __main__.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers/__init__.py to __init__.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers/tree.py to tree.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers/dag.py to dag.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers/generic.py to generic.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/walkers/identitydag.py to identitydag.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/type_checker.py to type_checker.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/rewritings.py to rewritings.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/cvc4.py to cvc4.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/qelim.py to qelim.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/__init__.py to __init__.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/msat.py to msat.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/bdd.py to bdd.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/solver.py to solver.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/pico.py to pico.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/options.py to options.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/yices.py to yices.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/portfolio.py to portfolio.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/smtlib.py to smtlib.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/btor.py to btor.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/z3.py to z3.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/eager.py to eager.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/solvers/interpolation.py to interpolation.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/utils.py to utils.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/fnode.py to fnode.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/oracles.py to oracles.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/simplifier.py to simplifier.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/typing.py to typing.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/printers.py to printers.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/__init__.py to __init__.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/check_version.py to check_version.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/install.py to install.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers/cvc4.py to cvc4.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers/__init__.py to __init__.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers/base.py to base.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers/msat.py to msat.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers/bdd.py to bdd.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers/pico.py to pico.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers/yices.py to yices.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py to btor.cpython-312.pyc
/usr/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\('
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/installers/z3.py to z3.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/cmd/shell.py to shell.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/logics.py to logics.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/operators.py to operators.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/formula.py to formula.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/constants.py to constants.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/script.py to script.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/parser/__init__.py to __init__.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/parser/parser.py to parser.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/__init__.py to __init__.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/solver.py to solver.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/utils.py to utils.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/commands.py to commands.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/printers.py to printers.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/smtlib/annotations.py to annotations.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/parsing.py to parsing.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/configuration.py to configuration.cpython-312.pyc
byte-compiling /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/pysmt/exceptions.py to exceptions.cpython-312.pyc
writing byte-compilation script '/tmp/tmpq7rzy5uu.py'
/usr/bin/python3 /tmp/tmpq7rzy5uu.py
/usr/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\('
removing /tmp/tmpq7rzy5uu.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/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12/site-packages/PySMT-0.9.5-py3.12.egg-info
running install_scripts
Installing pysmt-install script to /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/bin
+ rm -rfv /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/bin/__pycache__
+ /usr/bin/find-debuginfo -j32 --strict-build-id -m -i --build-id-seed 0.9.5-5.fc41 --unique-debug-suffix -0.9.5-5.fc41.noarch --unique-debug-src-base python-pysmt-0.9.5-5.fc41.noarch --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/pysmt-0.9.5
find-debuginfo: starting
Extracting debug info from 0 files
Creating .debug symlinks for symlinks to ELF files
find: ‘debug’: No such file or directory
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j32
Bytecompiling .py files below /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/lib/python3.12 using python3.12
/usr/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\('
/usr/lib/python3.12/site-packages/pysmt/cmd/installers/btor.py:96: SyntaxWarning: invalid escape sequence '\('
+ /usr/lib/rpm/redhat/brp-python-hardlink
Processing files: python3-pysmt-0.9.5-5.fc41.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.qs5fcb
+ umask 022
+ cd /builddir/build/BUILD
+ cd pysmt-0.9.5
+ DOCDIR=/builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/doc/python3-pysmt
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/pysmt-0.9.5/README.rst /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/pysmt-0.9.5/docs/CHANGES.rst /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/pysmt-0.9.5/docs/api_ref.rst /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/pysmt-0.9.5/docs/development.rst /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/pysmt-0.9.5/docs/getting_started.rst /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/pysmt-0.9.5/docs/index.rst /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/pysmt-0.9.5/docs/tutorials.rst /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/doc/python3-pysmt
+ cp -pr /builddir/build/BUILD/pysmt-0.9.5/docs/tutorials /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/doc/python3-pysmt
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.Ij9yP2
+ umask 022
+ cd /builddir/build/BUILD
+ cd pysmt-0.9.5
+ LICENSEDIR=/builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/licenses/python3-pysmt
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/licenses/python3-pysmt
+ cp -pr /builddir/build/BUILD/pysmt-0.9.5/LICENSE /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch/usr/share/licenses/python3-pysmt
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: python-pysmt = 0.9.5-5.fc41 python3-pysmt = 0.9.5-5.fc41 python3.12-pysmt = 0.9.5-5.fc41 python3.12dist(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.12
Obsoletes: python-pysmt < 0.9.5-5.fc41
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/python-pysmt-0.9.5-5.fc41.noarch
Wrote: /builddir/build/RPMS/python3-pysmt-0.9.5-5.fc41.noarch.rpm
Child return code was: 0