[ sid ]
Paketti: cvc4-dbgsym (1.5-1) [debports]
Links for cvc4-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for cvc4
Muut pakettiin cvc4-dbgsym liittyvät paketit
|
|
|
|
-
- dep: cvc4 (= 1.5-1)
- automated theorem prover for SMT problems
Imuroi cvc4-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
hppa (epävirallinen siirros) | 3,100.0 kt | 3,236.0 kt | [tiedostoluettelo] |