Package: libz3-jni
Architecture: amd64
Version: 4.13.3-1
Multi-Arch: same
Priority: extra
Section: universe/java
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 237
Depends: libz3-dev (= 4.13.3-1), libc6 (>= 2.4), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5), libz3-4 (>= 4.13.3)
Filename: pool/universe/z/z3/libz3-jni_4.13.3-1_amd64.deb
Size: 42450
MD5sum: e20023e9c47f223a05242c4499a6028a
SHA1: 6b466172c368c4f60367754cf1e78944faf65e58
SHA256: 7188c93b6cee470afa7ad5ca1f8bca26efbe778db6419bc4906427f1148fcc8a
SHA512: e8e6517b0f1a0846a555dc7fd8e96bba6c9e6ba45d294b3a2573eda6465f323089053aba7b63472309cf0c01b6c4ec18a4c8583c8bd86192b6baa55d07aff2ac
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - JNI library
Description-md5: a4bb3d721f15ea9bcfdcea02b5b7912d