Paket: picosat-dbgsym (965-2 ve diğerleri) [debports]

picosat-dbgsym için bağlantılar

Bulunamadı

dep: picosat (= 965-2) [riscv64 değil]

SAT solver with proof and core support

dep: picosat (= 965-2+b1) [riscv64]

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	965-2	363,7 kB	544,0 kB	[dosya listesi]
hppa (resmi olmayan port)	965-2	357,4 kB	529,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	965-2	454,2 kB	664,0 kB	[dosya listesi]
m68k (resmi olmayan port)	965-2	408,4 kB	478,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	965-2	389,6 kB	586,0 kB	[dosya listesi]
riscv64 (resmi olmayan port)	965-2+b1	358,6 kB	542,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	965-2	428,1 kB	544,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	965-2	439,8 kB	534,0 kB	[dosya listesi]
x32 (resmi olmayan port)	965-2	353,5 kB	514,0 kB	[dosya listesi]