[ sid ]
Balík: coqide-dbgsym (8.17.0+dfsg-1 a iné) [debports]
Odkazy pre coqide-dbgsym
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
Podobné balíky:
debug symbols for coqide
Ostatné balíky súvisiace s balíkom coqide-dbgsym
|
|
|
|
-
- dep: coqide (= 8.17.0+dfsg-1+b2)
- asistent dôkazov logiky vyššieho rádu (rozhranie GTK)
Stiahnuť coqide-dbgsym
Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|---|
ppc64 (neoficiálny port) | 8.17.0+dfsg-1+b2 | 610.2 kB | 2,789.0 kB | [zoznam súborov] |
riscv64 (neoficiálny port) | 8.17.0+dfsg-1+b2 | 641.2 kB | 2,701.0 kB | [zoznam súborov] |