Package: libz3-jni
Source: z3
Priority: extra
Section: universe/java
Installed-Size: 237
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.13.3-1build1
Depends: libz3-dev (= 4.13.3-1build1), 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-1build1_amd64.deb
Size: 42536
MD5sum: 8df52f1e1fdc837dbce2c8f511f7c959
SHA1: 74f6c98534adaf77e8616d656eab37560bab2b80
SHA256: 6d3dd53ea748382fbd2c46b089c0f6811615624f21a4312eed5062f95582f716
SHA512: 6769f6cc4fabb3ca8d9cece70a18c8adb62b8c4698be1f3946b837d4432c16dbc24ebe36f84025c3f8cb12fc82f792245666f2e19411f8918dc62835c0fc6190
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - JNI library
Description-md5: a4bb3d721f15ea9bcfdcea02b5b7912d
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Multi-Arch: same
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug