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-1.1
Depends: libz3-dev (= 4.13.3-1.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.1_amd64.deb
Size: 42552
SHA512: 04a246fdb62d44049f2ce36bbebc34acb3ecc4d8ac729207e9cdaa6cb4bcaeab99606662208a891b6dc71d8805361d027e0db4b6daa4293366d34bc467515bab
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