Package: libz3-jni
Architecture: i386
Version: 4.4.1-0.3build4
Multi-Arch: same
Priority: extra
Section: universe/java
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 218
Depends: libz3-dev (= 4.4.1-0.3build4), libc6 (>= 2.4), libstdc++6 (>= 4.9), libz3-4
Filename: pool/universe/z/z3/libz3-jni_4.4.1-0.3build4_i386.deb
Size: 40972
MD5sum: e1d12d5c3b1cb0fc485e2577469381a1
SHA1: 2e35014dfd90875efe13ca2631300bf902c0e9ec
SHA256: 4596c2744297c35a8f95151ae7e04ca74860f9d240200edcf9a441975d9bb189
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - JNI library
Description-md5: 4a0ebb4141bc5c2e1d6fcd8ca49ed285