[ sid ]
Paket: coqide-dbgsym (8.17.0+dfsg-1 och andra) [debports]
Länkar för coqide-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for coqide
Andra paket besläktade med coqide-dbgsym
|
|
|
|
-
- dep: coqide (= 8.17.0+dfsg-1+b2)
- proof assistant for higher-order logic (gtk interface)
Hämta coqide-dbgsym
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| riscv64 (inofficiell anpassning) | 8.17.0+dfsg-1+b2 | 641,2 kbyte | 2.701,0 kbyte | [filförteckning] |