Список файлов пакета python3-cvc5 в sid для архитектуры armhf

/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-311-arm-linux-gnueabihf.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