Package: libz3-jni-dbgsym (4.8.12-3.1 and others) [debports]

Links for libz3-jni-dbgsym

Not found

dep: libz3-jni (= 4.8.12-3.1) [alpha, riscv64]

theorem prover from Microsoft Research - JNI library

dep: libz3-jni (= 4.8.12-3.1+b2) [sparc64, x32]

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	4.8.12-3.1	178.7 kB	264.0 kB	[list of files]
riscv64 (unofficial port)	4.8.12-3.1	159.6 kB	247.0 kB	[list of files]
sparc64 (unofficial port)	4.8.12-3.1+b2	164.3 kB	250.0 kB	[list of files]
x32 (unofficial port)	4.8.12-3.1+b2	179.0 kB	253.0 kB	[list of files]