[ sid ]
Paketti: eprover-dbgsym (3.1.0+ds-1) [debports]
Links for eprover-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for eprover
Muut pakettiin eprover-dbgsym liittyvät paketit
|
|
|
|
-
- dep: eprover (= 3.1.0+ds-1)
- Equational theorem prover
Imuroi eprover-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
x32 (epävirallinen siirros) | 130.7 kt | 738.0 kt | [tiedostoluettelo] |