File list of package boolector-dbgsym in sid of architecture ia64

/usr/lib/debug/.build-id/d3/3192d25f180dd59ed4860c001f6e072d09c4e3.debug
/usr/share/doc/boolector-dbgsym