在 trixie 发行版中 riscv64 硬件架构下的 libocas-dev 软件包文件清单
/usr/include/libocas.h /usr/include/libqp.h /usr/lib/riscv64-linux-gnu/libocas.a /usr/lib/riscv64-linux-gnu/libocas.so /usr/share/doc/libocas-dev/README.Debian /usr/share/doc/libocas-dev/changelog.Debian.gz /usr/share/doc/libocas-dev/changelog.Debian.riscv64.gz /usr/share/doc/libocas-dev/changelog.gz /usr/share/doc/libocas-dev/copyright