Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target aarch64 --nodeps /builddir/build/SPECS/python-pysmt.spec'], chrootPath='/var/lib/mock/openeuler-22.03-aarch64-1681504604.444435/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=True) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target aarch64 --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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False /etc/profile.d/system-info.sh: line 55: ps: command not found Building target platforms: aarch64 Building for target aarch64 Wrote: /builddir/build/SRPMS/python-PySMT-0.9.5-1.src.rpm Child return code was: 0 Mock Version: 3.5 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target aarch64 --nodeps /builddir/build/SPECS/python-pysmt.spec'], chrootPath='/var/lib/mock/openeuler-22.03-aarch64-1681504604.444435/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=True) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target aarch64 --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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False /etc/profile.d/system-info.sh: line 55: ps: command not found Building target platforms: aarch64 Building for target aarch64 Wrote: /builddir/build/SRPMS/python-PySMT-0.9.5-1.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target aarch64 --nodeps /builddir/build/SPECS/python-pysmt.spec'], chrootPath='/var/lib/mock/openeuler-22.03-aarch64-1681504604.444435/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=True) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target aarch64 --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;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False /etc/profile.d/system-info.sh: line 55: ps: command not found Building target platforms: aarch64 Building for target aarch64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.fFzaP5 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf PySMT-0.9.5 + /usr/bin/gzip -dc /builddir/build/SOURCES/PySMT-0.9.5.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd PySMT-0.9.5 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.NEOTXI + umask 022 + cd /builddir/build/BUILD + cd PySMT-0.9.5 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/generic-hardened-ld' + /usr/bin/python3 setup.py build '--executable=/usr/bin/python3 -s' running build running build_py creating build creating build/lib creating build/lib/pysmt copying pysmt/environment.py -> build/lib/pysmt copying pysmt/typing.py -> build/lib/pysmt copying pysmt/fnode.py -> build/lib/pysmt copying pysmt/substituter.py -> build/lib/pysmt copying pysmt/configuration.py -> build/lib/pysmt copying pysmt/formula.py -> build/lib/pysmt copying pysmt/factory.py -> build/lib/pysmt copying pysmt/decorators.py -> build/lib/pysmt copying pysmt/operators.py -> build/lib/pysmt copying pysmt/oracles.py -> build/lib/pysmt copying pysmt/utils.py -> build/lib/pysmt copying pysmt/shortcuts.py -> build/lib/pysmt copying pysmt/__main__.py -> build/lib/pysmt copying pysmt/rewritings.py -> build/lib/pysmt copying pysmt/constants.py -> build/lib/pysmt copying pysmt/logics.py -> build/lib/pysmt copying pysmt/__init__.py -> build/lib/pysmt copying pysmt/type_checker.py -> build/lib/pysmt copying pysmt/exceptions.py -> build/lib/pysmt copying pysmt/parsing.py -> build/lib/pysmt copying pysmt/simplifier.py -> build/lib/pysmt copying pysmt/printers.py -> build/lib/pysmt creating 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 copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd creating 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/options.py -> build/lib/pysmt/solvers copying pysmt/solvers/pico.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/qelim.py -> build/lib/pysmt/solvers copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers copying pysmt/solvers/z3.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/interpolation.py -> build/lib/pysmt/solvers copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers copying pysmt/solvers/cvc4.py -> build/lib/pysmt/solvers creating 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/__init__.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib creating 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 copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers creating build/lib/pysmt/test copying pysmt/test/test_env.py -> build/lib/pysmt/test copying pysmt/test/test_array.py -> build/lib/pysmt/test copying pysmt/test/test_shannon_expansion.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_rewritings.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_int.py -> build/lib/pysmt/test copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test copying pysmt/test/test_cnf.py -> build/lib/pysmt/test copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test copying pysmt/test/test_sorts.py -> build/lib/pysmt/test copying pysmt/test/test_constants.py -> build/lib/pysmt/test copying pysmt/test/test_lira.py -> build/lib/pysmt/test copying pysmt/test/test_walkers.py -> build/lib/pysmt/test copying pysmt/test/test_imports.py -> build/lib/pysmt/test copying pysmt/test/test_nlira.py -> build/lib/pysmt/test copying pysmt/test/test_simplify.py -> build/lib/pysmt/test copying pysmt/test/test_oracles.py -> build/lib/pysmt/test copying pysmt/test/test_regressions.py -> build/lib/pysmt/test copying pysmt/test/examples.py -> build/lib/pysmt/test copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test copying pysmt/test/test_printing.py -> build/lib/pysmt/test copying pysmt/test/test_string.py -> build/lib/pysmt/test copying pysmt/test/test_solving.py -> build/lib/pysmt/test copying pysmt/test/test_bv.py -> build/lib/pysmt/test copying pysmt/test/test_logics.py -> build/lib/pysmt/test copying pysmt/test/test_qe.py -> build/lib/pysmt/test copying pysmt/test/test_euf.py -> build/lib/pysmt/test copying pysmt/test/test_configuration.py -> build/lib/pysmt/test copying pysmt/test/test_models.py -> build/lib/pysmt/test copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test copying pysmt/test/__init__.py -> build/lib/pysmt/test copying pysmt/test/test_back.py -> build/lib/pysmt/test copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test copying pysmt/test/test_size.py -> build/lib/pysmt/test copying pysmt/test/test_bdd.py -> build/lib/pysmt/test copying pysmt/test/test_nia.py -> build/lib/pysmt/test copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test copying pysmt/test/test_dwf.py -> build/lib/pysmt/test creating build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/btor.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 copying pysmt/cmd/installers/msat.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/__init__.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvc4.py -> build/lib/pysmt/cmd/installers creating build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser creating 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_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_model_validation.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/parser_utils.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_griggio.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_smtlibscript.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_extensibility.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_arrays.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_examples.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/__init__.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_uf.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib 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' writing manifest file 'PySMT.egg-info/SOURCES.txt' + sleep 1 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.J4mLra + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64 ++ dirname /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64 + cd PySMT-0.9.5 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protection' + LDFLAGS='-Wl,-z,relro -Wl,-z,now -specs=/usr/lib/rpm/generic-hardened-ld' + /usr/bin/python3 setup.py install -O1 --skip-build --root /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64 running install /usr/lib/python3.9/site-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools. warnings.warn( running install_lib creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9 creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/environment.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/typing.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvc4.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers copying build/lib/pysmt/cmd/check_version.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/install.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd copying build/lib/pysmt/cmd/__init__.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd copying build/lib/pysmt/fnode.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/substituter.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/configuration.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/formula.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/options.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/solvers/cvc4.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers copying build/lib/pysmt/factory.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/decorators.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/solver.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/utils.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/__init__.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/script.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib copying build/lib/pysmt/operators.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/oracles.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/utils.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/shortcuts.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/__main__.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers copying build/lib/pysmt/rewritings.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/constants.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/logics.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/__init__.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/type_checker.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_env.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_array.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_formula.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_int.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_cnf.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_native_qe.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_sorts.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test creating /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_model_validation.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib copying build/lib/pysmt/test/test_constants.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_lira.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_walkers.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_imports.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_nlira.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_simplify.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_oracles.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_regressions.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/examples.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_printing.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_string.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_solving.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_bv.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_logics.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_qe.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_euf.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_configuration.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_models.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_walker_ext.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/__init__.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_back.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_size.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_bdd.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_nia.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_unsat_cores.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/test/test_dwf.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test copying build/lib/pysmt/exceptions.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/parsing.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/simplifier.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt copying build/lib/pysmt/printers.py -> /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/environment.py to environment.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/typing.py to typing.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers/btor.py to btor.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers/pico.py to pico.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers/yices.py to yices.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers/z3.py to z3.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers/msat.py to msat.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers/base.py to base.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers/bdd.py to bdd.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/installers/cvc4.py to cvc4.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/check_version.py to check_version.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/install.py to install.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/shell.py to shell.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/cmd/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/fnode.py to fnode.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/substituter.py to substituter.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/configuration.py to configuration.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/formula.py to formula.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/smtlib.py to smtlib.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/btor.py to btor.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/options.py to options.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/pico.py to pico.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/solver.py to solver.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/yices.py to yices.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/qelim.py to qelim.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/portfolio.py to portfolio.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/z3.py to z3.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/msat.py to msat.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/bdd.py to bdd.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/interpolation.py to interpolation.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/eager.py to eager.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/solvers/cvc4.py to cvc4.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/factory.py to factory.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/decorators.py to decorators.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/parser/parser.py to parser.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/parser/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/solver.py to solver.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/utils.py to utils.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/commands.py to commands.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/script.py to script.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/annotations.py to annotations.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/smtlib/printers.py to printers.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/operators.py to operators.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/oracles.py to oracles.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/utils.py to utils.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/shortcuts.py to shortcuts.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/__main__.py to __main__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers/generic.py to generic.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers/identitydag.py to identitydag.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers/tree.py to tree.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers/dag.py to dag.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/walkers/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/rewritings.py to rewritings.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/constants.py to constants.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/logics.py to logics.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/type_checker.py to type_checker.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_env.py to test_env.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_array.py to test_array.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_shannon_expansion.py to test_shannon_expansion.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_bv_simplification.py to test_bv_simplification.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_eager_model.py to test_eager_model.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_rewritings.py to test_rewritings.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_formula.py to test_formula.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_hr_parsing.py to test_hr_parsing.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_int.py to test_int.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_typechecker.py to test_typechecker.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_cnf.py to test_cnf.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_native_qe.py to test_native_qe.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_sorts.py to test_sorts.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_lira.py to test_parser_qf_lira.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_lra.py to test_parser_lra.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_nia.py to test_parser_qf_nia.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_model_validation.py to test_model_validation.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/parser_utils.py to parser_utils.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_lia.py to test_parser_qf_lia.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_griggio.py to test_griggio.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_annotations.py to test_annotations.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_smtlibscript.py to test_smtlibscript.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_type_error.py to test_parser_type_error.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_extensibility.py to test_parser_extensibility.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_nra.py to test_parser_qf_nra.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_arrays.py to test_parser_qf_arrays.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_ufbv.py to test_parser_qf_ufbv.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_examples.py to test_parser_examples.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_lra.py to test_parser_qf_lra.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_parser_qf_uf.py to test_parser_qf_uf.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_generic_wrapper.py to test_generic_wrapper.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/smtlib/test_fuzzed.py to test_fuzzed.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_constants.py to test_constants.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_lira.py to test_lira.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_walkers.py to test_walkers.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_imports.py to test_imports.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_nlira.py to test_nlira.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_simplify.py to test_simplify.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_oracles.py to test_oracles.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_regressions.py to test_regressions.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/examples.py to examples.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_interpolation.py to test_interpolation.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_printing.py to test_printing.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_string.py to test_string.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_solving.py to test_solving.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_bv.py to test_bv.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_logics.py to test_logics.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_qe.py to test_qe.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_euf.py to test_euf.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_configuration.py to test_configuration.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_models.py to test_models.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_walker_ext.py to test_walker_ext.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/__init__.py to __init__.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_back.py to test_back.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_portfolio.py to test_portfolio.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_size.py to test_size.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_bdd.py to test_bdd.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_nia.py to test_nia.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_cvc4_quantifiers.py to test_cvc4_quantifiers.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_unsat_cores.py to test_unsat_cores.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/test/test_dwf.py to test_dwf.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/exceptions.py to exceptions.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/parsing.py to parsing.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/simplifier.py to simplifier.cpython-39.pyc byte-compiling /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/pysmt/printers.py to printers.cpython-39.pyc writing byte-compilation script '/tmp/tmpjdjqqtls.py' /usr/bin/python3 /tmp/tmpjdjqqtls.py removing /tmp/tmpjdjqqtls.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' writing manifest file 'PySMT.egg-info/SOURCES.txt' Copying PySMT.egg-info to /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9/site-packages/PySMT-0.9.5-py3.9.egg-info running install_scripts Installing pysmt-install script to /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/bin + install -d -m755 /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64//usr/share/doc/python-PySMT + '[' -d doc ']' + '[' -d docs ']' + cp -arf docs /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64//usr/share/doc/python-PySMT + '[' -d example ']' ~/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64 ~/build/BUILD/PySMT-0.9.5 + '[' -d examples ']' + pushd /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64 + '[' -d usr/lib ']' + find usr/lib -type f -printf '/%h/%f\n' + '[' -d usr/lib64 ']' + '[' -d usr/bin ']' + find usr/bin -type f -printf '/%h/%f\n' + '[' -d usr/sbin ']' + touch doclist.lst + '[' -d usr/share/man ']' ~/build/BUILD/PySMT-0.9.5 + popd + mv /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/filelist.lst . + mv /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/doclist.lst . + /usr/bin/find-debuginfo -j4 --strict-build-id -i --build-id-seed 0.9.5-1 --unique-debug-suffix -0.9.5-1.aarch64 --unique-debug-src-base python-PySMT-0.9.5-1.aarch64 -S debugsourcefiles.list /builddir/build/BUILD/PySMT-0.9.5 find: 'debug': No such file or directory + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 1 Bytecompiling .py files below /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64/usr/lib/python3.9 using /usr/bin/python3.9 + /usr/lib/rpm/brp-python-hardlink Processing files: python3-PySMT-0.9.5-1.noarch Provides: python-PySMT python3-PySMT = 0.9.5-1 python3.9dist(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.9 python3.9dist(setuptools) Processing files: python-PySMT-help-0.9.5-1.noarch warning: Empty %files file /builddir/build/BUILD/PySMT-0.9.5/doclist.lst Provides: python-PySMT-help = 0.9.5-1 python3-PySMT-doc Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64 Wrote: /builddir/build/RPMS/python-PySMT-help-0.9.5-1.noarch.rpm Wrote: /builddir/build/RPMS/python3-PySMT-0.9.5-1.noarch.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.zabV3O + umask 022 + cd /builddir/build/BUILD + cd PySMT-0.9.5 + /usr/bin/rm -rf /builddir/build/BUILDROOT/python-PySMT-0.9.5-1.aarch64 + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0