==> Cloning python-pysmt ... Cloning into 'python-pysmt'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring python-pysmt :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 129k 100 129k 0 0 374k 0 --:--:-- --:--:-- --:--:-- 373k 100 129k 100 129k 0 0 373k 0 --:--:-- --:--:-- --:--:-- 373k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8527k 100 8527k 0 0 19.9M 0 --:--:-- --:--:-- --:--:-- 20.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 139k 100 139k 0 0 410k 0 --:--:-- --:--:-- --:--:-- 411k :: Starting full system upgrade... resolving dependencies... looking for conflicting packages... Packages (1) libnghttp2-1.60.0-1 Total Download Size: 0.10 MiB Total Installed Size: 0.40 MiB Net Upgrade Size: 0.03 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 97k 100 97k 0 0 5672k 0 --:--:-- --:--:-- --:--:-- 5749k checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... upgrading libnghttp2... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Making package: python-pysmt 0.9.5-3 (Fri Apr 4 01:20:08 2025) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (20) python-annotated-types-0.6.0-1 python-autocommand-2.2.2-4 python-fastjsonschema-2.19.1-1 python-inflect-7.0.0-3 python-jaraco.context-4.3.0-3 python-jaraco.functools-4.0.0-1 python-jaraco.text-3.12.0-1 python-more-itertools-10.1.0-1 python-ordered-set-4.1.0-4 python-packaging-23.2-1 python-platformdirs-4.1.0-1 python-pydantic-2.6.3-1 python-pydantic-core-1:2.16.3-1 python-setuptools-1:69.0.3-4 python-tomli-2.0.1-3 python-trove-classifiers-2024.2.22-1 python-typing_extensions-4.10.0-1 python-validate-pyproject-0.13-1 z3-4.12.5-1 python-z3-solver-4.12.5-1 Total Download Size: 12.49 MiB Total Installed Size: 55.44 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 99813 100 99813 0 0 9418k 0 --:--:-- --:--:-- --:--:-- 9747k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 17501 100 17501 0 0 4990k 0 --:--:-- --:--:-- --:--:-- 5696k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 11682 100 11682 0 0 725k 0 --:--:-- --:--:-- --:--:-- 760k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 22922 100 22922 0 0 4066k 0 --:--:-- --:--:-- --:--:-- 4476k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 21709 100 21709 0 0 4112k 0 --:--:-- --:--:-- --:--:-- 4240k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 70217 100 70217 0 0 9591k 0 --:--:-- --:--:-- --:--:-- 9795k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1608k 100 1608k 0 0 85.0M 0 --:--:-- --:--:-- --:--:-- 87.2M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 735k 100 735k 0 0 57.8M 0 --:--:-- --:--:-- --:--:-- 59.8M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 78896 100 78896 0 0 23.3M 0 --:--:-- --:--:-- --:--:-- 25.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 21029 100 21029 0 0 6916k 0 --:--:-- --:--:-- --:--:-- 10.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 16181 100 16181 0 0 2954k 0 --:--:-- --:--:-- --:--:-- 3160k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 104k 100 104k 0 0 5209k 0 --:--:-- --:--:-- --:--:-- 5485k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 32853 100 32853 0 0 5674k 0 --:--:-- --:--:-- --:--:-- 6416k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 28235 100 28235 0 0 3856k 0 --:--:-- --:--:-- --:--:-- 3939k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 51605 100 51605 0 0 7091k 0 --:--:-- --:--:-- --:--:-- 7199k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 15393 100 15393 0 0 2178k 0 --:--:-- --:--:-- --:--:-- 2505k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 73796 100 73796 0 0 11.7M 0 --:--:-- --:--:-- --:--:-- 14.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 774k 100 774k 0 0 62.8M 0 --:--:-- --:--:-- --:--:-- 68.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8750k 100 8750k 0 0 85.2M 0 --:--:-- --:--:-- --:--:-- 85.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 5 267k 5 14093 0 0 41284 0 0:00:06 --:--:-- 0:00:06 41207 100 267k 100 267k 0 0 264k 0 0:00:01 0:00:01 --:--:-- 264k 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-annotated-types... installing python-typing_extensions... installing python-pydantic-core... installing python-pydantic... Optional dependencies for python-pydantic mypy: for type validation with mypy python-dotenv: for .env file support python-email-validator: for email validation python-hypothesis: for hypothesis plugin when using legacy v1 installing python-inflect... installing python-jaraco.text... installing python-ordered-set... installing python-packaging... installing python-platformdirs... installing python-tomli... installing python-fastjsonschema... installing python-trove-classifiers... installing python-validate-pyproject... installing python-setuptools... installing z3... installing python-z3-solver... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (4) python-pyproject-hooks-1.0.0-5 python-build-1.1.1-1 python-installer-0.7.0-4 python-wheel-0.42.0-2 Total Download Size: 0.24 MiB Total Installed Size: 1.25 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 21380 100 21380 0 0 1302k 0 --:--:-- --:--:-- --:--:-- 1391k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 120k 100 120k 0 0 17.7M 0 --:--:-- --:--:-- --:--:-- 19.6M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 43597 100 43597 0 0 4107k 0 --:--:-- --:--:-- --:--:-- 4257k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 66807 100 66807 0 0 9.9M 0 --:--:-- --:--:-- --:--:-- 10.6M 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-virtualenv: Use virtualenv for build isolation installing python-installer... installing python-wheel... Optional dependencies for python-wheel python-keyring: for wheel.signatures python-xdg: for wheel.signatures :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Retrieving sources... -> Downloading python-pysmt-0.9.5.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1112k 0 1112k 0 0 2358k 0 --:--:-- --:--:-- --:--:-- 2358k -> Found python-pysmt-0.9.5-python_312_support.patch ==> WARNING: Skipping verification of source file PGP signatures. ==> Validating source files with sha512sums... python-pysmt-0.9.5.tar.gz ... Passed python-pysmt-0.9.5-python_312_support.patch ... Passed ==> Validating source files with b2sums... python-pysmt-0.9.5.tar.gz ... Passed python-pysmt-0.9.5-python_312_support.patch ... Passed ==> Extracting sources... -> Extracting python-pysmt-0.9.5.tar.gz with bsdtar ==> Starting prepare()... patching file pysmt/smtlib/parser/__init__.py ==> 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 creating build/lib creating build/lib/pysmt copying pysmt/utils.py -> build/lib/pysmt copying pysmt/typing.py -> build/lib/pysmt copying pysmt/type_checker.py -> build/lib/pysmt copying pysmt/substituter.py -> build/lib/pysmt copying pysmt/simplifier.py -> build/lib/pysmt copying pysmt/shortcuts.py -> build/lib/pysmt copying pysmt/rewritings.py -> build/lib/pysmt copying pysmt/printers.py -> build/lib/pysmt copying pysmt/parsing.py -> build/lib/pysmt copying pysmt/oracles.py -> build/lib/pysmt copying pysmt/operators.py -> build/lib/pysmt copying pysmt/logics.py -> build/lib/pysmt copying pysmt/formula.py -> build/lib/pysmt copying pysmt/fnode.py -> build/lib/pysmt copying pysmt/factory.py -> build/lib/pysmt copying pysmt/exceptions.py -> build/lib/pysmt copying pysmt/environment.py -> build/lib/pysmt copying pysmt/decorators.py -> build/lib/pysmt copying pysmt/constants.py -> build/lib/pysmt copying pysmt/configuration.py -> build/lib/pysmt copying pysmt/__main__.py -> build/lib/pysmt copying pysmt/__init__.py -> build/lib/pysmt creating build/lib/pysmt/walkers copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers copying pysmt/walkers/generic.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_walkers.py -> build/lib/pysmt/test copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test copying pysmt/test/test_string.py -> build/lib/pysmt/test copying pysmt/test/test_sorts.py -> build/lib/pysmt/test copying pysmt/test/test_solving.py -> build/lib/pysmt/test copying pysmt/test/test_size.py -> build/lib/pysmt/test copying pysmt/test/test_simplify.py -> build/lib/pysmt/test copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test copying pysmt/test/test_regressions.py -> build/lib/pysmt/test copying pysmt/test/test_qe.py -> build/lib/pysmt/test copying pysmt/test/test_printing.py -> build/lib/pysmt/test copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test copying pysmt/test/test_oracles.py -> build/lib/pysmt/test copying pysmt/test/test_nlira.py -> build/lib/pysmt/test copying pysmt/test/test_nia.py -> build/lib/pysmt/test copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test copying pysmt/test/test_models.py -> build/lib/pysmt/test copying pysmt/test/test_logics.py -> build/lib/pysmt/test copying pysmt/test/test_lira.py -> build/lib/pysmt/test copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test copying pysmt/test/test_int.py -> build/lib/pysmt/test copying pysmt/test/test_imports.py -> build/lib/pysmt/test copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test copying pysmt/test/test_formula.py -> build/lib/pysmt/test copying pysmt/test/test_euf.py -> build/lib/pysmt/test copying pysmt/test/test_env.py -> build/lib/pysmt/test copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test copying pysmt/test/test_dwf.py -> build/lib/pysmt/test copying pysmt/test/test_cvc4_quantifiers.py -> build/lib/pysmt/test copying pysmt/test/test_constants.py -> build/lib/pysmt/test copying pysmt/test/test_configuration.py -> build/lib/pysmt/test copying pysmt/test/test_cnf.py -> build/lib/pysmt/test copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test copying pysmt/test/test_bv.py -> build/lib/pysmt/test copying pysmt/test/test_bdd.py -> build/lib/pysmt/test copying pysmt/test/test_back.py -> build/lib/pysmt/test copying pysmt/test/test_array.py -> build/lib/pysmt/test copying pysmt/test/examples.py -> build/lib/pysmt/test copying pysmt/test/__init__.py -> build/lib/pysmt/test creating 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/solver.py -> build/lib/pysmt/solvers copying pysmt/solvers/smtlib.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/pico.py -> build/lib/pysmt/solvers copying pysmt/solvers/options.py -> build/lib/pysmt/solvers copying pysmt/solvers/msat.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/cvc4.py -> build/lib/pysmt/solvers copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers creating build/lib/pysmt/smtlib copying pysmt/smtlib/utils.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib creating build/lib/pysmt/cmd copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd copying pysmt/cmd/install.py -> build/lib/pysmt/cmd copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd creating 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_qf_ufbv.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_nra.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_lra.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 copying pysmt/test/smtlib/test_parser_qf_arrays.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_extensibility.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_model_validation.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_griggio.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 copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/__init__.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/z3.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/yices.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/cvc4.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/__init__.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' installing to build/bdist.linux-x86_64/wheel running install running install_lib creating build/bdist.linux-x86_64 creating build/bdist.linux-x86_64/wheel creating build/bdist.linux-x86_64/wheel/pysmt creating build/bdist.linux-x86_64/wheel/pysmt/cmd creating build/bdist.linux-x86_64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvc4.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/__init__.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd copying build/lib/pysmt/cmd/check_version.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd copying build/lib/pysmt/cmd/install.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> build/bdist.linux-x86_64/wheel/pysmt/cmd creating build/bdist.linux-x86_64/wheel/pysmt/smtlib creating build/bdist.linux-x86_64/wheel/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.linux-x86_64/wheel/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.linux-x86_64/wheel/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.linux-x86_64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.linux-x86_64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> build/bdist.linux-x86_64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> build/bdist.linux-x86_64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/script.py -> build/bdist.linux-x86_64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/solver.py -> build/bdist.linux-x86_64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/utils.py -> build/bdist.linux-x86_64/wheel/pysmt/smtlib creating build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/cvc4.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/options.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> build/bdist.linux-x86_64/wheel/pysmt/solvers creating build/bdist.linux-x86_64/wheel/pysmt/test creating build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_model_validation.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.linux-x86_64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/__init__.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/examples.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_array.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_back.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_bdd.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_bv.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_cnf.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_configuration.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_constants.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_cvc4_quantifiers.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_dwf.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_env.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_euf.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_formula.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_imports.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_int.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_lira.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_logics.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_models.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_nia.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_nlira.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_oracles.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_printing.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_qe.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_regressions.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_simplify.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_size.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_solving.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_sorts.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_string.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.linux-x86_64/wheel/pysmt/test copying build/lib/pysmt/test/test_walkers.py -> build/bdist.linux-x86_64/wheel/pysmt/test creating build/bdist.linux-x86_64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> build/bdist.linux-x86_64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> build/bdist.linux-x86_64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> build/bdist.linux-x86_64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.linux-x86_64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> build/bdist.linux-x86_64/wheel/pysmt/walkers copying build/lib/pysmt/__init__.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/__main__.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/configuration.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/constants.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/decorators.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/environment.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/exceptions.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/factory.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/fnode.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/formula.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/logics.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/operators.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/oracles.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/parsing.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/printers.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/rewritings.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/shortcuts.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/simplifier.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/substituter.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/type_checker.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/typing.py -> build/bdist.linux-x86_64/wheel/pysmt copying build/lib/pysmt/utils.py -> build/bdist.linux-x86_64/wheel/pysmt running install_egg_info Copying PySMT.egg-info to build/bdist.linux-x86_64/wheel/PySMT-0.9.5-py3.11.egg-info running install_scripts creating build/bdist.linux-x86_64/wheel/PySMT-0.9.5.dist-info/WHEEL creating '/tmp/archlinux-ci/python-pysmt-archlinuxrb-build-IEn3AWPJ/python-pysmt/src/pysmt-0.9.5/dist/.tmp-dvi5yd3j/PySMT-0.9.5-py3-none-any.whl' and adding 'build/bdist.linux-x86_64/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/cvc4.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/cvc4.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_cvc4_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/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.5.dist-info/LICENSE' adding 'PySMT-0.9.5.dist-info/METADATA' adding 'PySMT-0.9.5.dist-info/NOTICE' adding 'PySMT-0.9.5.dist-info/WHEEL' adding 'PySMT-0.9.5.dist-info/entry_points.txt' adding 'PySMT-0.9.5.dist-info/top_level.txt' adding 'PySMT-0.9.5.dist-info/RECORD' removing build/bdist.linux-x86_64/wheel Successfully built PySMT-0.9.5-py3-none-any.whl ==> Entering fakeroot environment... ==> Starting package()... ==> 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.5-3 (Fri Apr 4 01:20:29 2025)