Pakket: libz3-4-dbgsym (4.13.3-1 en anderen) [debports]

Verwijzigingen voor libz3-4-dbgsym

Niet gevonden

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

theorem prover from Microsoft Research - runtime libraries

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

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	4.13.3-1	168.700,3 kB	171.764,0 kB	[overzicht]
hppa (unofficial port)	4.13.3-1	165.339,9 kB	168.273,0 kB	[overzicht]
ia64 (unofficial port)	4.8.12-3.1	149.484,5 kB	152.438,0 kB	[overzicht]
loong64 (unofficial port)	4.13.3-1	169.176,4 kB	172.235,0 kB	[overzicht]
m68k (unofficial port)	4.13.3-1	154.589,9 kB	157.399,0 kB	[overzicht]
ppc64 (unofficial port)	4.13.3-1	170.088,4 kB	173.241,0 kB	[overzicht]
riscv64 (unofficial port)	4.8.12-3.1	116.037,5 kB	119.753,0 kB	[overzicht]
sparc64 (unofficial port)	4.13.3-1	164.954,1 kB	168.095,0 kB	[overzicht]
x32 (unofficial port)	4.13.3-1	168.014,5 kB	171.238,0 kB	[overzicht]