Package - libz3-jni
Primary informations
Download package: http://deb.debian.org/debian/pool/main/z/z3/libz3-jni_4.13.3-1_amd64.deb (Size: 36.6KiB)| Property | Value |
|---|---|
| Package | libz3-jni |
| Source | z3 |
| Version | 4.13.3-1 |
| Installed-Size | 228 |
| Maintainer | LLVM Packaging Team |
| Architecture | amd64 |
| Depends | libz3-dev (= 4.13.3-1), libc6 (>= 2.4), libgcc-s1 (>= 3.0), libstdc++6 (>= 5), libz3-4 (>= 4.13.3) |
| Description | theorem prover from Microsoft Research - JNI library |
| Description-md5 | a4bb3d721f15ea9bcfdcea02b5b7912d |
| Multi-Arch | same |
| Homepage | https://github.com/Z3Prover/z3 |
| Section | java |
| Priority | optional |
| Filename | pool/main/z/z3/libz3-jni_4.13.3-1_amd64.deb |
| Size | 37436 |
| MD5sum | a858ff8437057de94c07b77c50136102 |
| SHA256 | 5ee40bd00e619aee19f38f21c0be00c3b065caadfd68fc61e91a17ac11a4f741 |
Files in package
- /usr/lib/x86_64-linux-gnu/jni/libz3java.so
- /usr/share/doc/libz3-jni