[ sid ]
Balík: coqprime-tools-dbgsym (8.17-1 a iné) [debports]
Odkazy pre coqprime-tools-dbgsym
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
Podobné balíky:
debug symbols for coqprime-tools
Ostatné balíky súvisiace s balíkom coqprime-tools-dbgsym
|
|
|
|
-
- dep: coqprime-tools (= 8.17-1+b1)
- Primality certification for Coq (tools)
Stiahnuť coqprime-tools-dbgsym
Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|---|
ppc64 (neoficiálny port) | 8.17-1+b1 | 58.0 kB | 96.0 kB | [zoznam súborov] |
riscv64 (neoficiálny port) | 8.17-1+b1 | 57.0 kB | 88.0 kB | [zoznam súborov] |