Paketti: libz3-4-dbgsym (4.13.3-1 ja muut) [debports]

Links for libz3-4-dbgsym

Ei löytynyt

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

theorem prover from Microsoft Research - runtime libraries

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

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	4.13.3-1	168,700.3 kt	171,764.0 kt	[tiedostoluettelo]
hppa (epävirallinen siirros)	4.13.3-1	165,339.9 kt	168,273.0 kt	[tiedostoluettelo]
ia64 (epävirallinen siirros)	4.8.12-3.1	149,484.5 kt	152,438.0 kt	[tiedostoluettelo]
loong64 (epävirallinen siirros)	4.13.3-1	169,176.4 kt	172,235.0 kt	[tiedostoluettelo]
m68k (epävirallinen siirros)	4.13.3-1	154,589.9 kt	157,399.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	4.13.3-1	170,088.4 kt	173,241.0 kt	[tiedostoluettelo]
riscv64 (epävirallinen siirros)	4.8.12-3.1	116,037.5 kt	119,753.0 kt	[tiedostoluettelo]
sparc64 (epävirallinen siirros)	4.13.3-1	164,954.1 kt	168,095.0 kt	[tiedostoluettelo]
x32 (epävirallinen siirros)	4.13.3-1	168,014.5 kt	171,238.0 kt	[tiedostoluettelo]