Zoznam súborov balíka python3-cvc5 v questing architektúry arm64

/usr/lib/python3/dist-packages/cvc5-1.1.2.egg-info/PKG-INFO
/usr/lib/python3/dist-packages/cvc5-1.1.2.egg-info/dependency_links.txt
/usr/lib/python3/dist-packages/cvc5-1.1.2.egg-info/not-zip-safe
/usr/lib/python3/dist-packages/cvc5-1.1.2.egg-info/requires.txt
/usr/lib/python3/dist-packages/cvc5-1.1.2.egg-info/top_level.txt
/usr/lib/python3/dist-packages/cvc5/__init__.py
/usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-313-aarch64-linux-gnu.so
/usr/share/doc/python3-cvc5/AUTHORS
/usr/share/doc/python3-cvc5/NEWS.md.gz
/usr/share/doc/python3-cvc5/THANKS
/usr/share/doc/python3-cvc5/changelog.Debian.gz
/usr/share/doc/python3-cvc5/copyright