Package: libcvc5parser1-dbgsym (1.1.2-2 and others) [debports]

[ Source:  ]

debug symbols for libcvc5parser1

Other Packages Related to libcvc5parser1-dbgsym

• dep: libcvc5parser1 (= 1.0.5-3) [riscv64]

  automated theorem prover for SMT problems (parser runtime)

  dep: libcvc5parser1 (= 1.1.2-2+b3) [not riscv64]

Download libcvc5parser1-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.1.2-2+b3	3,953.1 kB	4,123.0 kB	[list of files]
hppa (unofficial port)	1.1.2-2+b3	3,846.2 kB	4,005.0 kB	[list of files]
loong64 (unofficial port)	1.1.2-2+b3	3,937.9 kB	4,111.0 kB	[list of files]
m68k (unofficial port)	1.1.2-2+b3	3,396.8 kB	3,541.0 kB	[list of files]
ppc64 (unofficial port)	1.1.2-2+b3	3,956.5 kB	4,153.0 kB	[list of files]
riscv64 (unofficial port)	1.0.5-3	4,881.4 kB	5,226.0 kB	[list of files]
sparc64 (unofficial port)	1.1.2-2+b3	3,827.8 kB	4,004.0 kB	[list of files]
x32 (unofficial port)	1.1.2-2+b3	3,929.4 kB	4,111.0 kB	[list of files]