[ sid ]

[ Quellcode: ]

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

Links für libcvc4-4-dbgsym

Debian-Ressourcen:

Fehlerberichte

Quellcode-Paket herunterladen:

Nicht gefunden

Betreuer:

Ähnliche Pakete:

debug symbols for libcvc4-4

Andere Pakete mit Bezug zu libcvc4-4-dbgsym

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libcvc4-4 (= 1.5-1)

automated theorem prover for SMT problems (runtime)

libcvc4-4-dbgsym herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
hppa (inoffizielle Portierung)	96.221,8 kB	98.529,0 kB	[Liste der Dateien]