Paket: libz3-4-dbgsym (4.13.3-1 och andra) [debports]

Länkar för libz3-4-dbgsym

Hittades ej

dep: libz3-4 (= 4.13.3-1) [ej ia64, riscv64]

theorem prover from Microsoft Research - runtime libraries

dep: libz3-4 (= 4.8.12-3.1) [ia64, riscv64]

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	4.13.3-1	168.700,3 kbyte	171.764,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	4.13.3-1	165.339,9 kbyte	168.273,0 kbyte	[filförteckning]
ia64 (inofficiell anpassning)	4.8.12-3.1	149.484,5 kbyte	152.438,0 kbyte	[filförteckning]
loong64 (inofficiell anpassning)	4.13.3-1	169.176,4 kbyte	172.235,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	4.13.3-1	154.589,9 kbyte	157.399,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	4.13.3-1	170.088,4 kbyte	173.241,0 kbyte	[filförteckning]
riscv64 (inofficiell anpassning)	4.8.12-3.1	116.037,5 kbyte	119.753,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	4.13.3-1	164.954,1 kbyte	168.095,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	4.13.3-1	168.014,5 kbyte	171.238,0 kbyte	[filförteckning]