[ sid ]
Paketti: libz3-jni-dbgsym (4.8.12-3.1 ja muut) [debports]
Links for libz3-jni-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for libz3-jni
Muut pakettiin libz3-jni-dbgsym liittyvät paketit
|
|
|
|
-
- dep: libz3-jni (= 4.8.12-3.1+b2)
- theorem prover from Microsoft Research - JNI library
Imuroi libz3-jni-dbgsym
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| alpha (epävirallinen siirros) | 4.8.12-3.1+b2 | 179.6 kt | 265.0 kt | [tiedostoluettelo] |