[ sid ]
Balík: eprover-dbgsym (3.1.0+ds-1) [debports]
Odkazy pre eprover-dbgsym
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
Podobné balíky:
debug symbols for eprover
Ostatné balíky súvisiace s balíkom eprover-dbgsym
|
|
|
|
-
- dep: eprover (= 3.1.0+ds-1)
- Equational theorem prover
Stiahnuť eprover-dbgsym
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
sparc64 (neoficiálny port) | 138.5 kB | 918.0 kB | [zoznam súborov] |