openssl-3.3.2: copying /opt/pkg/share/examples/openssl/openssl.cnf to /opt/pkg/etc/openssl/openssl.cnf
pkg_add: package `nbpatch-20151107' was already installed as dependency, now marked as installed manually
pkg_add: package `cwrappers-20220403' already recorded as installed
pkg_add: Failed to write lib/python3.13/site-packages/pysmt/test/test_simplify.py for py313-smt-0.9.6: Can't create 'lib/python3.13/site-packages/pysmt/test/test_simplify.py'
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/test_simplify.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_simplify.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_simplify.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/test_size.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_size.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_size.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/test_solving.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_solving.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_solving.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/test_sorts.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_sorts.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_sorts.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/test_string.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_string.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_string.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/test_typechecker.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_typechecker.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_typechecker.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/test_unsat_cores.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_unsat_cores.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_unsat_cores.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/test_walker_ext.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_walker_ext.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_walker_ext.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/test_walkers.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_walkers.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/test/__pycache__/test_walkers.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/type_checker.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/__pycache__/type_checker.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/__pycache__/type_checker.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/typing.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/__pycache__/typing.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/__pycache__/typing.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/utils.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/__pycache__/utils.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/__pycache__/utils.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__init__.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__pycache__/__init__.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__pycache__/__init__.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/dag.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__pycache__/dag.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__pycache__/dag.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/generic.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__pycache__/generic.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__pycache__/generic.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/identitydag.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__pycache__/identitydag.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__pycache__/identitydag.cpython-313.opt-1.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/tree.py: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__pycache__/tree.cpython-313.pyc: No such file or directory
pkg_add: Couldn't remove /opt/pkg/lib/python3.13/site-packages/pysmt/walkers/__pycache__/tree.cpython-313.opt-1.pyc: No such file or directory
pkg_add: package `python313-3.13.0' was already installed as dependency, now marked as installed manually
pkg_add: 1 package addition failed