Package: z3-dbgsym (4.13.3-1 and others) [debports]

[ Source:  ]

debug symbols for z3

Other Packages Related to z3-dbgsym

• dep: z3 (= 4.13.3-1) [loong64]

  theorem prover from Microsoft Research

  dep: z3 (= 4.13.3-1+b1) [not ia64, loong64, riscv64]

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

Download z3-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	4.13.3-1+b1	170,343.0 kB	204,429.0 kB	[list of files]
hppa (unofficial port)	4.13.3-1+b1	167,269.9 kB	198,853.0 kB	[list of files]
ia64 (unofficial port)	4.8.12-3.1	151,452.9 kB	154,416.0 kB	[list of files]
loong64 (unofficial port)	4.13.3-1	170,974.4 kB	174,040.0 kB	[list of files]
m68k (unofficial port)	4.13.3-1+b1	158,968.8 kB	187,595.0 kB	[list of files]
ppc64 (unofficial port)	4.13.3-1+b1	171,615.5 kB	209,794.0 kB	[list of files]
riscv64 (unofficial port)	4.8.12-3.1	117,729.2 kB	121,465.0 kB	[list of files]
sparc64 (unofficial port)	4.13.3-1+b1	165,917.3 kB	194,646.0 kB	[list of files]
x32 (unofficial port)	4.13.3-1+b1	169,131.4 kB	176,082.0 kB	[list of files]