[ sid ]
Paket: libz3-jni-dbgsym (4.8.12-3.1 och andra) [debports]
Länkar för libz3-jni-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for libz3-jni
Andra paket besläktade med libz3-jni-dbgsym
|
|
|
|
-
- dep: libz3-jni (= 4.8.12-3.1+b2)
- theorem prover from Microsoft Research - JNI library
Hämta libz3-jni-dbgsym
Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|---|
alpha (inofficiell anpassning) | 4.8.12-3.1+b2 | 179,6 kbyte | 265,0 kbyte | [filförteckning] |