trixie 发行版中 armel 硬件架构下的 python3-cvc5 软件包文件清单

/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-312-arm-linux-gnueabi.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.armel.gz
/usr/share/doc/python3-cvc5/changelog.Debian.gz
/usr/share/doc/python3-cvc5/copyright