Paket: libcvc4-7-dbgsym (1.8-3 ve diğerleri) [debports]

libcvc4-7-dbgsym için bağlantılar

Bulunamadı

dep: libcvc4-7 (= 1.8-3) [riscv64]

automated theorem prover for SMT problems (runtime)

dep: libcvc4-7 (= 1.8-3+b2) [riscv64 değil]

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	1.8-3+b2	193.552,9 kB	196.797,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	1.8-3+b2	205.942,7 kB	209.223,0 kB	[dosya listesi]
m68k (resmi olmayan port)	1.8-3+b2	179.916,4 kB	182.898,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	1.8-3+b2	192.971,7 kB	197.146,0 kB	[dosya listesi]
riscv64 (resmi olmayan port)	1.8-3	154.992,7 kB	158.306,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	1.8-3+b2	186.608,3 kB	190.255,0 kB	[dosya listesi]
x32 (resmi olmayan port)	1.8-3+b2	190.291,7 kB	194.034,0 kB	[dosya listesi]