[ sid ]
Paket: libcoq-unicoq-dbgsym (1.6-8.19-2 och andra) [debports]
Länkar för libcoq-unicoq-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for libcoq-unicoq
Andra paket besläktade med libcoq-unicoq-dbgsym
|
|
|
|
-
- dep: libcoq-unicoq (= 1.6-8.17-1+b2) [riscv64]
- enhanced unification algorithm for Coq
- dep: libcoq-unicoq (= 1.6-8.19-2) [ej riscv64]
Hämta libcoq-unicoq-dbgsym
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| loong64 (inofficiell anpassning) | 1.6-8.19-2 | 20,5 kbyte | 72,0 kbyte | [filförteckning] |
| ppc64 (inofficiell anpassning) | 1.6-8.19-2 | 19,7 kbyte | 80,0 kbyte | [filförteckning] |
| riscv64 (inofficiell anpassning) | 1.6-8.17-1+b2 | 17,5 kbyte | 61,0 kbyte | [filförteckning] |