[ sid ]
Package: cvc5-dbgsym (1.0.5-3) [debports]
Links for cvc5-dbgsym
Debian Resources:
Download Source Package :
Not foundMaintainers:
Similar packages:
debug symbols for cvc5
Other Packages Related to cvc5-dbgsym
|
|
|
|
-
- dep: cvc5 (= 1.0.5-3)
- automated theorem prover for SMT problems
Download cvc5-dbgsym
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
riscv64 (unofficial port) | 1,637.2 kB | 1,732.0 kB | [list of files] |