Filförteckning för paketet cvc4-dbgsym i sid för arkitekturen ia64

/usr/lib/debug/.build-id/43/55debb65552c40adf5a8998f49a03bd5977d0d.debug
/usr/share/doc/cvc4-dbgsym