[ sid ]
Paket: libcvc5parser1-dbgsym (1.1.2-2 och andra) [debports]
Länkar för libcvc5parser1-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for libcvc5parser1
Andra paket besläktade med libcvc5parser1-dbgsym
|
|
|
|
-
- dep: libcvc5parser1 (= 1.1.2-2+b1)
- automated theorem prover for SMT problems (parser runtime)
Hämta libcvc5parser1-dbgsym
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| x32 (inofficiell anpassning) | 1.1.2-2+b1 | 3.892,7 kbyte | 4.070,0 kbyte | [filförteckning] |