==> Synchronizing chroot copy [/home/leming/armv7/root] -> [leming]...done
==> Making package: python-pysmt 0.9.6-1 (Sun Jun 15 08:56:36 2025)
==> Retrieving sources...
  -> Found python-pysmt-0.9.6.tar.gz
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha512sums...
    python-pysmt-0.9.6.tar.gz ... Passed
==> Validating source files with b2sums...
    python-pysmt-0.9.6.tar.gz ... Passed
==> Making package: python-pysmt 0.9.6-1 (Sun Jun 15 08:56:55 2025)
==> Checking runtime dependencies...
==> Installing missing dependencies...
[?25lresolving dependencies...
looking for conflicting packages...

Packages (12) python-autocommand-2.2.2-7  python-jaraco.collections-5.1.0-1
              python-jaraco.context-6.0.1-1  python-jaraco.functools-4.1.0-1
              python-jaraco.text-4.0.0-2  python-more-itertools-10.7.0-1
              python-packaging-25.0-1  python-platformdirs-4.3.6-2
              python-setuptools-1:80.9.0-1  python-wheel-0.45.1-1  z3-4.15.1-1
              python-z3-solver-4.15.1-1

Total Download Size:   15.78 MiB
Total Installed Size:  62.20 MiB

:: Proceed with installation? [Y/n] 
:: Retrieving packages...
 z3-4.15.1-1-armv7h downloading...
 python-setuptools-1:80.9.0-1-any downloading...
 python-z3-solver-4.15.1-1-armv7h downloading...
 python-packaging-25.0-1-any downloading...
 python-more-itertools-10.7.0-1-any downloading...
 python-wheel-0.45.1-1-any downloading...
 python-platformdirs-4.3.6-2-any downloading...
 python-autocommand-2.2.2-7-any downloading...
 python-jaraco.collections-5.1.0-1-any downloading...
 python-jaraco.text-4.0.0-2-any downloading...
 python-jaraco.functools-4.1.0-1-any downloading...
 python-jaraco.context-6.0.1-1-any downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing python-more-itertools...
installing python-jaraco.functools...
installing python-jaraco.context...
installing python-autocommand...
installing python-jaraco.text...
Optional dependencies for python-jaraco.text
    python-inflect: for show-newlines script
installing python-jaraco.collections...
installing python-packaging...
installing python-platformdirs...
installing python-wheel...
Optional dependencies for python-wheel
    python-keyring: for wheel.signatures
    python-xdg: for wheel.signatures
    python-setuptools: for legacy bdist_wheel subcommand [pending]
installing python-setuptools...
installing z3...
installing python-z3-solver...
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
[?25h==> Checking buildtime dependencies...
==> Installing missing dependencies...
[?25lresolving dependencies...
looking for conflicting packages...

Packages (3) python-pyproject-hooks-1.2.0-3  python-build-1.2.2-3
             python-installer-0.7.0-10

Total Download Size:   0.10 MiB
Total Installed Size:  0.47 MiB

:: Proceed with installation? [Y/n] 
:: Retrieving packages...
 python-build-1.2.2-3-any downloading...
 python-installer-0.7.0-10-any downloading...
 python-pyproject-hooks-1.2.0-3-any downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing python-pyproject-hooks...
installing python-build...
Optional dependencies for python-build
    python-pip: to use as the Python package installer (default)
    python-uv: to use as the Python package installer
    python-virtualenv: to use virtualenv for build isolation
installing python-installer...
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
[?25h==> Retrieving sources...
  -> Found python-pysmt-0.9.6.tar.gz
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
  -> Extracting python-pysmt-0.9.6.tar.gz with bsdtar
==> Starting build()...
* Getting build dependencies for wheel...
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'
* Building wheel...
running bdist_wheel
running build
running build_py
creating build/lib/pysmt
copying pysmt/printers.py -> build/lib/pysmt
copying pysmt/fnode.py -> build/lib/pysmt
copying pysmt/exceptions.py -> build/lib/pysmt
copying pysmt/rewritings.py -> build/lib/pysmt
copying pysmt/parsing.py -> build/lib/pysmt
copying pysmt/substituter.py -> build/lib/pysmt
copying pysmt/formula.py -> build/lib/pysmt
copying pysmt/utils.py -> build/lib/pysmt
copying pysmt/environment.py -> build/lib/pysmt
copying pysmt/__init__.py -> build/lib/pysmt
copying pysmt/factory.py -> build/lib/pysmt
copying pysmt/typing.py -> build/lib/pysmt
copying pysmt/type_checker.py -> build/lib/pysmt
copying pysmt/simplifier.py -> build/lib/pysmt
copying pysmt/constants.py -> build/lib/pysmt
copying pysmt/oracles.py -> build/lib/pysmt
copying pysmt/decorators.py -> build/lib/pysmt
copying pysmt/__main__.py -> build/lib/pysmt
copying pysmt/logics.py -> build/lib/pysmt
copying pysmt/configuration.py -> build/lib/pysmt
copying pysmt/shortcuts.py -> build/lib/pysmt
copying pysmt/operators.py -> build/lib/pysmt
creating build/lib/pysmt/test
copying pysmt/test/test_configuration.py -> build/lib/pysmt/test
copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test
copying pysmt/test/test_qe.py -> build/lib/pysmt/test
copying pysmt/test/test_lira.py -> build/lib/pysmt/test
copying pysmt/test/test_env.py -> build/lib/pysmt/test
copying pysmt/test/test_walkers.py -> build/lib/pysmt/test
copying pysmt/test/test_back.py -> build/lib/pysmt/test
copying pysmt/test/test_bdd.py -> build/lib/pysmt/test
copying pysmt/test/test_cnf.py -> build/lib/pysmt/test
copying pysmt/test/test_nia.py -> build/lib/pysmt/test
copying pysmt/test/test_euf.py -> build/lib/pysmt/test
copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test
copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test
copying pysmt/test/test_oracles.py -> build/lib/pysmt/test
copying pysmt/test/test_solving.py -> build/lib/pysmt/test
copying pysmt/test/test_imports.py -> build/lib/pysmt/test
copying pysmt/test/test_simplify.py -> build/lib/pysmt/test
copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test
copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test
copying pysmt/test/test_cvc_quantifiers.py -> build/lib/pysmt/test
copying pysmt/test/__init__.py -> build/lib/pysmt/test
copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test
copying pysmt/test/examples.py -> build/lib/pysmt/test
copying pysmt/test/test_sorts.py -> build/lib/pysmt/test
copying pysmt/test/test_models.py -> build/lib/pysmt/test
copying pysmt/test/test_printing.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_typechecker.py -> build/lib/pysmt/test
copying pysmt/test/test_array.py -> build/lib/pysmt/test
copying pysmt/test/test_nlira.py -> build/lib/pysmt/test
copying pysmt/test/test_regressions.py -> build/lib/pysmt/test
copying pysmt/test/test_dwf.py -> build/lib/pysmt/test
copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test
copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test
copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test
copying pysmt/test/test_formula.py -> build/lib/pysmt/test
copying pysmt/test/test_int.py -> build/lib/pysmt/test
copying pysmt/test/test_string.py -> build/lib/pysmt/test
copying pysmt/test/test_constants.py -> build/lib/pysmt/test
copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test
copying pysmt/test/test_size.py -> build/lib/pysmt/test
creating 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
copying pysmt/smtlib/utils.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/solver.py -> build/lib/pysmt/smtlib
creating build/lib/pysmt/solvers
copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers
copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers
copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers
copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers
copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers
copying pysmt/solvers/options.py -> build/lib/pysmt/solvers
copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers
copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers
copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers
copying pysmt/solvers/cvcfive.py -> build/lib/pysmt/solvers
copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers
copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers
copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers
copying pysmt/solvers/cvcfour.py -> build/lib/pysmt/solvers
copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers
copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers
creating 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
copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd
creating 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/__init__.py -> build/lib/pysmt/walkers
copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers
copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers
creating build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_annotations.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_model_validation.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_lia.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_lra.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_fuzzed.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_examples.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_smtlibscript.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_arrays.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_generic_wrapper.py -> build/lib/pysmt/test/smtlib
copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib
creating build/lib/pysmt/smtlib/parser
copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser
copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser
creating build/lib/pysmt/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/msat.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/cvcfive.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/cvcfour.py -> build/lib/pysmt/cmd/installers
copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers
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'
/usr/lib/python3.13/site-packages/setuptools/command/build_py.py:212: _Warning: Package 'pysmt.test.configs' is absent from the `packages` configuration.
!!

        ********************************************************************************
        ############################
        # Package would be ignored #
        ############################
        Python recognizes 'pysmt.test.configs' as an importable package[^1],
        but it is absent from setuptools' `packages` configuration.

        This leads to an ambiguous overall configuration. If you want to distribute this
        package, please make sure that 'pysmt.test.configs' is explicitly added
        to the `packages` configuration field.

        Alternatively, you can also rely on setuptools' discovery methods
        (for example by using `find_namespace_packages(...)`/`find_namespace:`
        instead of `find_packages(...)`/`find:`).

        You can read more about "package discovery" on setuptools documentation page:

        - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html

        If you don't want 'pysmt.test.configs' to be distributed and are
        already explicitly excluding 'pysmt.test.configs' via
        `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`,
        you can try to use `exclude_package_data`, or `include-package-data=False` in
        combination with a more fine grained `package-data` configuration.

        You can read more about "package data files" on setuptools documentation page:

        - https://setuptools.pypa.io/en/latest/userguide/datafiles.html


        [^1]: For Python, any directory (with suitable naming) can be imported,
              even if it does not contain any `.py` files.
              On the other hand, currently there is no concept of package data
              directory, all directories are treated like packages.
        ********************************************************************************

!!
  check.warn(importable)
creating build/lib/pysmt/test/configs
copying pysmt/test/configs/config1.ini -> build/lib/pysmt/test/configs
copying pysmt/test/configs/config_bad.ini -> build/lib/pysmt/test/configs
installing to build/bdist.linux-armv7l/wheel
running install
running install_lib
creating build/bdist.linux-armv7l/wheel
creating build/bdist.linux-armv7l/wheel/pysmt
creating build/bdist.linux-armv7l/wheel/pysmt/test
copying build/lib/pysmt/test/test_configuration.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_qe.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_lira.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_env.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_walkers.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_back.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_bdd.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_cnf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_nia.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_euf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
creating build/bdist.linux-armv7l/wheel/pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_model_validation.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.linux-armv7l/wheel/./pysmt/test/smtlib
copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_oracles.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_solving.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_imports.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_simplify.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_cvc_quantifiers.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/examples.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_sorts.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_models.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_printing.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_bv.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_logics.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_array.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_nlira.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_regressions.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_dwf.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_formula.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
creating build/bdist.linux-armv7l/wheel/pysmt/test/configs
copying build/lib/pysmt/test/configs/config1.ini -> build/bdist.linux-armv7l/wheel/./pysmt/test/configs
copying build/lib/pysmt/test/configs/config_bad.ini -> build/bdist.linux-armv7l/wheel/./pysmt/test/configs
copying build/lib/pysmt/test/test_int.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_string.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_constants.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/test/test_size.py -> build/bdist.linux-armv7l/wheel/./pysmt/test
copying build/lib/pysmt/printers.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/fnode.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/exceptions.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/rewritings.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/parsing.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/substituter.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/formula.py -> build/bdist.linux-armv7l/wheel/./pysmt
creating build/bdist.linux-armv7l/wheel/pysmt/smtlib
copying build/lib/pysmt/smtlib/commands.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
copying build/lib/pysmt/smtlib/printers.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
copying build/lib/pysmt/smtlib/utils.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
copying build/lib/pysmt/smtlib/script.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
creating build/bdist.linux-armv7l/wheel/pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib/parser
copying build/lib/pysmt/smtlib/solver.py -> build/bdist.linux-armv7l/wheel/./pysmt/smtlib
copying build/lib/pysmt/utils.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/environment.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/factory.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/typing.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/type_checker.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/simplifier.py -> build/bdist.linux-armv7l/wheel/./pysmt
creating build/bdist.linux-armv7l/wheel/pysmt/solvers
copying build/lib/pysmt/solvers/btor.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/pico.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/eager.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/msat.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/qelim.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/options.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/bdd.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/z3.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/yices.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/cvcfive.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/cvcfour.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/solvers/solver.py -> build/bdist.linux-armv7l/wheel/./pysmt/solvers
copying build/lib/pysmt/constants.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/oracles.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/decorators.py -> build/bdist.linux-armv7l/wheel/./pysmt
creating build/bdist.linux-armv7l/wheel/pysmt/cmd
copying build/lib/pysmt/cmd/install.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd
copying build/lib/pysmt/cmd/shell.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd
copying build/lib/pysmt/cmd/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd
creating build/bdist.linux-armv7l/wheel/pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/cvcfive.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/cvcfour.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd/installers
copying build/lib/pysmt/cmd/check_version.py -> build/bdist.linux-armv7l/wheel/./pysmt/cmd
creating build/bdist.linux-armv7l/wheel/pysmt/walkers
copying build/lib/pysmt/walkers/dag.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers
copying build/lib/pysmt/walkers/generic.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers
copying build/lib/pysmt/walkers/__init__.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers
copying build/lib/pysmt/walkers/tree.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers
copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.linux-armv7l/wheel/./pysmt/walkers
copying build/lib/pysmt/__main__.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/logics.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/configuration.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/shortcuts.py -> build/bdist.linux-armv7l/wheel/./pysmt
copying build/lib/pysmt/operators.py -> build/bdist.linux-armv7l/wheel/./pysmt
running install_egg_info
Copying PySMT.egg-info to build/bdist.linux-armv7l/wheel/./PySMT-0.9.6-py3.13.egg-info
running install_scripts
creating build/bdist.linux-armv7l/wheel/pysmt-0.9.6.dist-info/WHEEL
creating '/build/python-pysmt/src/pysmt-0.9.6/dist/.tmp-0jjyqnw7/pysmt-0.9.6-py3-none-any.whl' and adding 'build/bdist.linux-armv7l/wheel' to it
adding 'pysmt/__init__.py'
adding 'pysmt/__main__.py'
adding 'pysmt/configuration.py'
adding 'pysmt/constants.py'
adding 'pysmt/decorators.py'
adding 'pysmt/environment.py'
adding 'pysmt/exceptions.py'
adding 'pysmt/factory.py'
adding 'pysmt/fnode.py'
adding 'pysmt/formula.py'
adding 'pysmt/logics.py'
adding 'pysmt/operators.py'
adding 'pysmt/oracles.py'
adding 'pysmt/parsing.py'
adding 'pysmt/printers.py'
adding 'pysmt/rewritings.py'
adding 'pysmt/shortcuts.py'
adding 'pysmt/simplifier.py'
adding 'pysmt/substituter.py'
adding 'pysmt/type_checker.py'
adding 'pysmt/typing.py'
adding 'pysmt/utils.py'
adding 'pysmt/cmd/__init__.py'
adding 'pysmt/cmd/check_version.py'
adding 'pysmt/cmd/install.py'
adding 'pysmt/cmd/shell.py'
adding 'pysmt/cmd/installers/__init__.py'
adding 'pysmt/cmd/installers/base.py'
adding 'pysmt/cmd/installers/bdd.py'
adding 'pysmt/cmd/installers/btor.py'
adding 'pysmt/cmd/installers/cvcfive.py'
adding 'pysmt/cmd/installers/cvcfour.py'
adding 'pysmt/cmd/installers/msat.py'
adding 'pysmt/cmd/installers/pico.py'
adding 'pysmt/cmd/installers/yices.py'
adding 'pysmt/cmd/installers/z3.py'
adding 'pysmt/smtlib/__init__.py'
adding 'pysmt/smtlib/annotations.py'
adding 'pysmt/smtlib/commands.py'
adding 'pysmt/smtlib/printers.py'
adding 'pysmt/smtlib/script.py'
adding 'pysmt/smtlib/solver.py'
adding 'pysmt/smtlib/utils.py'
adding 'pysmt/smtlib/parser/__init__.py'
adding 'pysmt/smtlib/parser/parser.py'
adding 'pysmt/solvers/__init__.py'
adding 'pysmt/solvers/bdd.py'
adding 'pysmt/solvers/btor.py'
adding 'pysmt/solvers/cvcfive.py'
adding 'pysmt/solvers/cvcfour.py'
adding 'pysmt/solvers/eager.py'
adding 'pysmt/solvers/interpolation.py'
adding 'pysmt/solvers/msat.py'
adding 'pysmt/solvers/options.py'
adding 'pysmt/solvers/pico.py'
adding 'pysmt/solvers/portfolio.py'
adding 'pysmt/solvers/qelim.py'
adding 'pysmt/solvers/smtlib.py'
adding 'pysmt/solvers/solver.py'
adding 'pysmt/solvers/yices.py'
adding 'pysmt/solvers/z3.py'
adding 'pysmt/test/__init__.py'
adding 'pysmt/test/examples.py'
adding 'pysmt/test/test_array.py'
adding 'pysmt/test/test_back.py'
adding 'pysmt/test/test_bdd.py'
adding 'pysmt/test/test_bv.py'
adding 'pysmt/test/test_bv_simplification.py'
adding 'pysmt/test/test_cnf.py'
adding 'pysmt/test/test_configuration.py'
adding 'pysmt/test/test_constants.py'
adding 'pysmt/test/test_cvc_quantifiers.py'
adding 'pysmt/test/test_dwf.py'
adding 'pysmt/test/test_eager_model.py'
adding 'pysmt/test/test_env.py'
adding 'pysmt/test/test_euf.py'
adding 'pysmt/test/test_formula.py'
adding 'pysmt/test/test_hr_parsing.py'
adding 'pysmt/test/test_imports.py'
adding 'pysmt/test/test_int.py'
adding 'pysmt/test/test_interpolation.py'
adding 'pysmt/test/test_lira.py'
adding 'pysmt/test/test_logics.py'
adding 'pysmt/test/test_models.py'
adding 'pysmt/test/test_native_qe.py'
adding 'pysmt/test/test_nia.py'
adding 'pysmt/test/test_nlira.py'
adding 'pysmt/test/test_oracles.py'
adding 'pysmt/test/test_portfolio.py'
adding 'pysmt/test/test_printing.py'
adding 'pysmt/test/test_qe.py'
adding 'pysmt/test/test_regressions.py'
adding 'pysmt/test/test_rewritings.py'
adding 'pysmt/test/test_shannon_expansion.py'
adding 'pysmt/test/test_simplify.py'
adding 'pysmt/test/test_size.py'
adding 'pysmt/test/test_solving.py'
adding 'pysmt/test/test_sorts.py'
adding 'pysmt/test/test_string.py'
adding 'pysmt/test/test_typechecker.py'
adding 'pysmt/test/test_unsat_cores.py'
adding 'pysmt/test/test_walker_ext.py'
adding 'pysmt/test/test_walkers.py'
adding 'pysmt/test/configs/config1.ini'
adding 'pysmt/test/configs/config_bad.ini'
adding 'pysmt/test/smtlib/__init__.py'
adding 'pysmt/test/smtlib/parser_utils.py'
adding 'pysmt/test/smtlib/test_annotations.py'
adding 'pysmt/test/smtlib/test_fuzzed.py'
adding 'pysmt/test/smtlib/test_generic_wrapper.py'
adding 'pysmt/test/smtlib/test_griggio.py'
adding 'pysmt/test/smtlib/test_model_validation.py'
adding 'pysmt/test/smtlib/test_parser_examples.py'
adding 'pysmt/test/smtlib/test_parser_extensibility.py'
adding 'pysmt/test/smtlib/test_parser_lra.py'
adding 'pysmt/test/smtlib/test_parser_qf_arrays.py'
adding 'pysmt/test/smtlib/test_parser_qf_lia.py'
adding 'pysmt/test/smtlib/test_parser_qf_lira.py'
adding 'pysmt/test/smtlib/test_parser_qf_lra.py'
adding 'pysmt/test/smtlib/test_parser_qf_nia.py'
adding 'pysmt/test/smtlib/test_parser_qf_nra.py'
adding 'pysmt/test/smtlib/test_parser_qf_uf.py'
adding 'pysmt/test/smtlib/test_parser_qf_ufbv.py'
adding 'pysmt/test/smtlib/test_parser_type_error.py'
adding 'pysmt/test/smtlib/test_smtlibscript.py'
adding 'pysmt/walkers/__init__.py'
adding 'pysmt/walkers/dag.py'
adding 'pysmt/walkers/generic.py'
adding 'pysmt/walkers/identitydag.py'
adding 'pysmt/walkers/tree.py'
adding 'pysmt-0.9.6.dist-info/licenses/LICENSE'
adding 'pysmt-0.9.6.dist-info/licenses/NOTICE'
adding 'pysmt-0.9.6.dist-info/METADATA'
adding 'pysmt-0.9.6.dist-info/WHEEL'
adding 'pysmt-0.9.6.dist-info/entry_points.txt'
adding 'pysmt-0.9.6.dist-info/top_level.txt'
adding 'pysmt-0.9.6.dist-info/RECORD'
removing build/bdist.linux-armv7l/wheel
Successfully built pysmt-0.9.6-py3-none-any.whl
==> Entering fakeroot environment...
==> Starting package()...
/usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:97: SyntaxWarning: invalid escape sequence '\('
/usr/lib/python3.13/site-packages/pysmt/cmd/installers/btor.py:97: SyntaxWarning: invalid escape sequence '\('
==> Tidying install...
  -> Removing libtool files...
  -> Purging unwanted files...
  -> Removing static library files...
  -> Stripping unneeded symbols from binaries and libraries...
  -> Compressing man and info pages...
==> Checking for packaging issues...
==> Creating package "python-pysmt"...
  -> Generating .PKGINFO file...
  -> Generating .BUILDINFO file...
  -> Generating .MTREE file...
  -> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: python-pysmt 0.9.6-1 (Sun Jun 15 08:57:29 2025)
==> Cleaning up...