Package: libz3-java
Architecture: amd64
Version: 4.8.12-3.1build1
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: 187
Depends: libz3-jni (>= 4.8.12-3.1build1), libz3-jni (<< 4.8.12-3.1build1.1~), libz3-dev
Filename: pool/universe/z/z3/libz3-java_4.8.12-3.1build1_amd64.deb
Size: 162850
MD5sum: 0a1d677c706f50c53c7bcfed3b3e22f8
SHA1: 38bae6c4465b37556f1e56b369b7751b95f2c8c9
SHA256: f0ec22a170baee341959aa93353380d23cc74b1e27b59347c58857beaf6be52d
SHA512: 832110a0b1685f7371cd2c23350e3f5b6956961a125b25097a0bbd8cffd5d27436713f85aad34f9f4ec666b6ed124527439839df8de94bc9e51c0980414b64e2
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - java bindings
Description-md5: d505595c221a87b96fe612e44ba98229