Package: libz3-jni
Architecture: amd64
Version: 4.8.12-3.1build1
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: 212
Depends: libz3-dev (= 4.8.12-3.1build1), libc6 (>= 2.4), libz3-4 (>= 4.8.12)
Filename: pool/universe/z/z3/libz3-jni_4.8.12-3.1build1_amd64.deb
Size: 37828
MD5sum: 34b86a6f8627c05a47fc392a5d27f5a8
SHA1: dd5f7cda4bcb54144c33af6d4556aee3f4649c29
SHA256: 3f45e9dba9839df376e0000f3b7dfee7d75e33871f0b98e53b508bb6f834beb9
SHA512: d11cf8ed132aff4c98b5e319964d3132f9680ceeab307e639ba35963f12d7f5b822e6516245011e7037a520936298a3c7639adbae12ea85a741b6e0f2156bd3d
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - JNI library
Description-md5: a4bb3d721f15ea9bcfdcea02b5b7912d