File list of package why3-dbgsym in sid of architecture alpha

/usr/lib/debug/.build-id/59/5a32bf754c68635e55984575471b62113b6a5d.debug
/usr/lib/debug/.build-id/cd/0094829d146a28b7784cfa74d6c96327d4e730.debug
/usr/lib/debug/.dwz/alpha-linux-gnu/why3.debug
/usr/share/doc/why3-dbgsym