[ sid ]

[ Source: ]

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

Links for libcvc4-4-dbgsym

Debian-palvelut:

Vikailmoitukset

Imuroi lähdekoodipaketti :

Ei löytynyt

Ylläpitäjät:

Samankaltaisia paketteja:

debug symbols for libcvc4-4

Muut pakettiin libcvc4-4-dbgsym liittyvät paketit

depends

recommends

suggests

enhances

dep: libcvc4-4 (= 1.5-1)

automated theorem prover for SMT problems (runtime)

Imuroi libcvc4-4-dbgsym

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
hppa (epävirallinen siirros)	96,221.8 kt	98,529.0 kt	[tiedostoluettelo]