Paquet : libcvc5-1-dbgsym (1.1.2-2) [debports]

[ Paquet source :  ]

debug symbols for libcvc5-1

Autres paquets associés à libcvc5-1-dbgsym

• dep: libcvc5-1 (= 1.1.2-2)

  automated theorem prover for SMT problems (runtime)

Télécharger libcvc5-1-dbgsym

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
x32 (portage non officiel)	174 694,3 ko	178 256,0 ko	[liste des fichiers]