在 trixie 发行版中 i386 硬件架构下的 picosat 软件包文件清单
/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/include/picosat/picosat.h
/usr/lib/i386-linux-gnu/libpicosat-trace.a
/usr/lib/i386-linux-gnu/libpicosat-trace.so
/usr/lib/i386-linux-gnu/libpicosat-trace.so.1
/usr/lib/i386-linux-gnu/libpicosat-trace.so.1.0.0
/usr/lib/i386-linux-gnu/libpicosat.a
/usr/lib/i386-linux-gnu/libpicosat.so
/usr/lib/i386-linux-gnu/libpicosat.so.1
/usr/lib/i386-linux-gnu/libpicosat.so.1.0.0
/usr/share/doc/picosat/changelog.Debian.gz
/usr/share/doc/picosat/changelog.gz
/usr/share/doc/picosat/copyright
/usr/share/man/man1/picomus.1.gz
/usr/share/man/man1/picosat.1.gz
/usr/share/man/man1/picosat.trace.1.gz