Package: libz3-java
Source: z3
Priority: extra
Section: universe/java
Installed-Size: 205
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.13.3-1.1
Depends: libz3-jni (>= 4.13.3-1.1), libz3-jni (<< 4.13.3-1.1.1~), libz3-dev (= 4.13.3-1.1)
Filename: pool/universe/z/z3/libz3-java_4.13.3-1.1_amd64.deb
Size: 181244
SHA512: 2a490cafd0b5e66dc7dd828ecfe1481f8c5a7b07063bd088e4c0bda78960c3304b58ce211b5485805c19133e51740164c489f69591e3905d6f11ce1952f72095
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - java bindings
Description-md5: d505595c221a87b96fe612e44ba98229
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug