[ sid ]
Paket: cvc5-dbgsym (1.0.5-3) [debports]
Länkar för cvc5-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for cvc5
Andra paket besläktade med cvc5-dbgsym
|
|
|
|
-
- dep: cvc5 (= 1.0.5-3)
- automated theorem prover for SMT problems
Hämta cvc5-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
riscv64 (inofficiell anpassning) | 1.637,2 kbyte | 1.732,0 kbyte | [filförteckning] |