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

[ Source:  ]

debug symbols for libcvc4parser7

Other Packages Related to libcvc4parser7-dbgsym

• dep: libcvc4parser7 (= 1.8-3+b2)

  automated theorem prover for SMT problems (parser runtime)

Download libcvc4parser7-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	1.8-3+b2	5,020.6 kB	5,391.0 kB	[list of files]