Package: libz3-java
Architecture: amd64
Version: 4.13.3-1
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: 204
Depends: libz3-jni (>= 4.13.3-1), libz3-jni (<< 4.13.3-1.1~), libz3-dev (= 4.13.3-1)
Filename: pool/universe/z/z3/libz3-java_4.13.3-1_amd64.deb
Size: 181116
MD5sum: 9e4c44510d1d02d24707feae048f8513
SHA1: 00ef36dbfd710106f8f2c20acf3bd2a2e2dc2a0d
SHA256: 677aa5b6c7159a57902e2d31fbb016a0b7346fb9f8b5c5d305f0f8fa74fbbfa6
SHA512: a845fd2cd00ac7bf7291d79cf2a967e90499d121d8547a828267b78d4492517a4cfed828c18b14c6ba4d01958c5a7ef1ecb5c4870e4ff66cdee7310cb56f185c
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - java bindings
Description-md5: d505595c221a87b96fe612e44ba98229