Liste des fichiers du paquet cvc4-dbgsym dans sid pour l'architecture ia64

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