Package: libcvc4-7-dbgsym (1.8-3 and others) [debports]

[ Source:  ]

debug symbols for libcvc4-7

Other Packages Related to libcvc4-7-dbgsym

• dep: libcvc4-7 (= 1.8-3) [riscv64]

  automated theorem prover for SMT problems (runtime)

  dep: libcvc4-7 (= 1.8-3+b2) [ia64]

  dep: libcvc4-7 (= 1.8-3+b3) [not ia64, riscv64]

Download libcvc4-7-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.8-3+b3	198,587.8 kB	201,806.0 kB	[list of files]
ia64 (unofficial port)	1.8-3+b2	205,942.7 kB	209,223.0 kB	[list of files]
loong64 (unofficial port)	1.8-3+b3	197,701.6 kB	201,007.0 kB	[list of files]
m68k (unofficial port)	1.8-3+b3	179,979.6 kB	182,957.0 kB	[list of files]
ppc64 (unofficial port)	1.8-3+b3	197,598.3 kB	201,746.0 kB	[list of files]
riscv64 (unofficial port)	1.8-3	154,992.7 kB	158,306.0 kB	[list of files]
sparc64 (unofficial port)	1.8-3+b3	194,522.7 kB	198,205.0 kB	[list of files]
x32 (unofficial port)	1.8-3+b3	200,737.2 kB	204,877.0 kB	[list of files]