Bestandenoverzicht voor pakket boolector-dbgsym in sid voor het platform sh4

/usr/lib/debug/.build-id/ff/862fe968f3cca193d9774a9575e19ebe91b43d.debug
/usr/share/doc/boolector-dbgsym