[ sid ]
Paketti: depqbf-dbgsym (5.01-3) [debports]
Links for depqbf-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for depqbf
Muut pakettiin depqbf-dbgsym liittyvät paketit
|
|
|
|
-
- dep: depqbf (= 5.01-3)
- solver for quantified boolean formulae
Imuroi depqbf-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
m68k (epävirallinen siirros) | 404.5 kt | 438.0 kt | [tiedostoluettelo] |