[ sid ]
Paket: libcvc4parser7-dbgsym (1.8-4 och andra) [debports]
Länkar för libcvc4parser7-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for libcvc4parser7
Andra paket besläktade med libcvc4parser7-dbgsym
|
|
|
|
-
- dep: libcvc4parser7 (= 1.8-3) [riscv64]
- automated theorem prover for SMT problems (parser runtime)
- dep: libcvc4parser7 (= 1.8-3+b2) [ia64]
- dep: libcvc4parser7 (= 1.8-4) [ej ia64, riscv64]
Hämta libcvc4parser7-dbgsym
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| alpha (inofficiell anpassning) | 1.8-4 | 5.164,6 kbyte | 5.536,0 kbyte | [filförteckning] |
| ia64 (inofficiell anpassning) | 1.8-3+b2 | 5.490,6 kbyte | 5.856,0 kbyte | [filförteckning] |
| loong64 (inofficiell anpassning) | 1.8-4 | 5.143,9 kbyte | 5.517,0 kbyte | [filförteckning] |
| m68k (inofficiell anpassning) | 1.8-4 | 4.553,1 kbyte | 4.874,0 kbyte | [filförteckning] |
| ppc64 (inofficiell anpassning) | 1.8-4 | 5.185,9 kbyte | 5.592,0 kbyte | [filförteckning] |
| riscv64 (inofficiell anpassning) | 1.8-3 | 4.168,8 kbyte | 4.558,0 kbyte | [filförteckning] |
| sparc64 (inofficiell anpassning) | 1.8-4 | 5.017,5 kbyte | 5.394,0 kbyte | [filförteckning] |
| x32 (inofficiell anpassning) | 1.8-4 | 5.137,8 kbyte | 5.484,0 kbyte | [filförteckning] |