[ sid ]

[ Paquet source : ]

Paquet : libcvc4-4-dbgsym (1.5-1) [debports]

Liens pour libcvc4-4-dbgsym

Ressources Debian :

Rapports de bogues

Télécharger le paquet source :

Introuvable

Responsables :

Paquets similaires :

debug symbols for libcvc4-4

Autres paquets associés à libcvc4-4-dbgsym

dépendances

recommandations

suggestions

enhances

dep: libcvc4-4 (= 1.5-1)

automated theorem prover for SMT problems (runtime)

Télécharger libcvc4-4-dbgsym

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
hppa (portage non officiel)	96 221,8 ko	98 529,0 ko	[liste des fichiers]