Package: libz3-jni Architecture: amd64 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: 182 Depends: libz3-dev (= 4.4.1-0.3build4), libc6 (>= 2.4), libz3-4 Filename: pool/universe/z/z3/libz3-jni_4.4.1-0.3build4_amd64.deb Size: 31320 MD5sum: c8670d29ca614bf93250c03a267b4b00 SHA1: 1df895b59cedf72e6159ab96020c3293fd92de31 SHA256: 40322fa8612da0988361592ce149a4976adcfccb08050ab51a319cbce2acbcfe Homepage: https://github.com/Z3Prover/z3 Description: theorem prover from Microsoft Research - JNI library Description-md5: 4a0ebb4141bc5c2e1d6fcd8ca49ed285