[ sid ]
Package: libcvc5parser1-dbgsym (1.1.2-2) [debports]
Links for libcvc5parser1-dbgsym
Debian Resources:
Download Source Package :
Not foundMaintainers:
Similar packages:
debug symbols for libcvc5parser1
Other Packages Related to libcvc5parser1-dbgsym
|
|
|
|
-
- dep: libcvc5parser1 (= 1.1.2-2)
- automated theorem prover for SMT problems (parser runtime)
Download libcvc5parser1-dbgsym
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| ppc64 (unofficial port) | 3,918.8 kB | 4,116.0 kB | [list of files] |