File list of package libcryptominisat5-5.11t64-dbgsym in sid of architecture alpha

/usr/lib/debug/.build-id/0c/477f08591eeb2f6490b038fb894887076d0251.debug
/usr/share/doc/libcryptominisat5-5.11t64-dbgsym