[ sid ]
Paketti: gappa-dbgsym (1.4.1-1) [debports]
Links for gappa-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for gappa
Muut pakettiin gappa-dbgsym liittyvät paketit
|
|
|
|
-
- dep: gappa (= 1.4.1-1)
- Automatic generation of proofs of arithmetic properties
Imuroi gappa-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
hppa (epävirallinen siirros) | 3,672.3 kt | 3,814.0 kt | [tiedostoluettelo] |