在 questing 發行版中 s390x 硬體架構下的 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-313-s390x-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