[ sid ]
Paket: libcoq-bignums-dbgsym (8.17.0-3 och andra) [debports]
Länkar för libcoq-bignums-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for libcoq-bignums
Andra paket besläktade med libcoq-bignums-dbgsym
|
|
|
|
-
- dep: libcoq-bignums (= 8.17.0-3+b2)
- Coq library for big numbers
Hämta libcoq-bignums-dbgsym
Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|---|
ppc64 (inofficiell anpassning) | 8.17.0-3+b2 | 3,5 kbyte | 25,0 kbyte | [filförteckning] |
riscv64 (inofficiell anpassning) | 8.17.0-3+b2 | 3,5 kbyte | 24,0 kbyte | [filförteckning] |