[ sid ]
Paket: libcoq-aac-tactics-dbgsym (8.17.0-3 och andra) [debports]
Länkar för libcoq-aac-tactics-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for libcoq-aac-tactics
Andra paket besläktade med libcoq-aac-tactics-dbgsym
|
|
|
|
-
- dep: libcoq-aac-tactics (= 8.17.0-2+b2) [riscv64]
- Coq tactics for reasoning modulo AC (theories)
- dep: libcoq-aac-tactics (= 8.17.0-3) [ppc64]
Hämta libcoq-aac-tactics-dbgsym
Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|---|
ppc64 (inofficiell anpassning) | 8.17.0-3 | 12,5 kbyte | 93,0 kbyte | [filförteckning] |
riscv64 (inofficiell anpassning) | 8.17.0-2+b2 | 12,3 kbyte | 84,0 kbyte | [filförteckning] |