Paquet : libcvc4parser4-dbgsym (1.5-1) [debports]

[ Paquet source :  ]

debug symbols for libcvc4parser4

Autres paquets associés à libcvc4parser4-dbgsym

• dep: libcvc4parser4 (= 1.5-1)

  automated theorem prover for SMT problems (parser runtime)

Télécharger libcvc4parser4-dbgsym

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
hppa (portage non officiel)	4 367,3 ko	4 751,0 ko	[liste des fichiers]