Zoznam súborov balíka python3-cvc5 v resolute architektúry amd64

/usr/lib/python3/dist-packages/cvc5-1.3.2.dist-info/INSTALLER
/usr/lib/python3/dist-packages/cvc5-1.3.2.dist-info/METADATA
/usr/lib/python3/dist-packages/cvc5-1.3.2.dist-info/REQUESTED
/usr/lib/python3/dist-packages/cvc5-1.3.2.dist-info/WHEEL
/usr/lib/python3/dist-packages/cvc5-1.3.2.dist-info/direct_url.json
/usr/lib/python3/dist-packages/cvc5-1.3.2.dist-info/top_level.txt
/usr/lib/python3/dist-packages/cvc5/__init__.py
/usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-314-x86_64-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