[ sid ]
Paket: libcoq-quickchick-dbgsym (2.0.3-3 och andra) [debports]
Länkar för libcoq-quickchick-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for libcoq-quickchick
Andra paket besläktade med libcoq-quickchick-dbgsym
|
|
|
|
-
- dep: libcoq-quickchick (= 2.0-2+b1) [riscv64]
- randomized testing framework for Coq (plugin)
- dep: libcoq-quickchick (= 2.0.3-3) [ej riscv64]
Hämta libcoq-quickchick-dbgsym
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| loong64 (inofficiell anpassning) | 2.0.3-3 | 71,8 kbyte | 323,0 kbyte | [filförteckning] |
| ppc64 (inofficiell anpassning) | 2.0.3-3 | 66,2 kbyte | 335,0 kbyte | [filförteckning] |
| riscv64 (inofficiell anpassning) | 2.0-2+b1 | 30,4 kbyte | 265,0 kbyte | [filförteckning] |