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