[ sid ]

[ Source: ]

Package: libcvc5-1-dbgsym (1.1.2-2) [debports]

Links for libcvc5-1-dbgsym

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

Similar packages:

debug symbols for libcvc5-1

Other Packages Related to libcvc5-1-dbgsym

depends

recommends

suggests

enhances

dep: libcvc5-1 (= 1.1.2-2)

automated theorem prover for SMT problems (runtime)

Download libcvc5-1-dbgsym

Download for all available architectures
Architecture	Package Size	Installed Size	Files
m68k (unofficial port)	163,439.9 kB	166,293.0 kB	[list of files]