Paket: cadical-dbgsym (1.7.4-1 ve diğerleri) [debports]

cadical-dbgsym için bağlantılar

Bulunamadı

dep: cadical (= 1.5.3-2) [riscv64]

Simplified Satisfiability Solver

dep: cadical (= 1.7.4-1) [riscv64 değil]

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	1.7.4-1	10.034,9 kB	10.248,0 kB	[dosya listesi]
hppa (resmi olmayan port)	1.7.4-1	6.870,5 kB	7.066,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	1.7.4-1	7.877,3 kB	8.099,0 kB	[dosya listesi]
m68k (resmi olmayan port)	1.7.4-1	6.669,1 kB	6.859,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	1.7.4-1	7.094,4 kB	7.321,0 kB	[dosya listesi]
riscv64 (resmi olmayan port)	1.5.3-2	6.374,3 kB	6.591,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	1.7.4-1	5.582,8 kB	5.902,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	1.7.4-1	9.863,4 kB	10.072,0 kB	[dosya listesi]
x32 (resmi olmayan port)	1.7.4-1	9.959,6 kB	10.153,0 kB	[dosya listesi]