Package: libz3-java
Architecture: i386
Version: 4.4.1-0.3build4
Multi-Arch: foreign
Priority: extra
Section: universe/java
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 164
Depends: libz3-jni (>= 4.4.1-0.3build4), libz3-jni (<< 4.4.1-0.3build4.1~), libz3-dev
Filename: pool/universe/z/z3/libz3-java_4.4.1-0.3build4_i386.deb
Size: 143552
MD5sum: 4b024b1c169bc0c6912693fbee07920f
SHA1: 9252395ad55d0c32fcc40cde789a0dc5804891e1
SHA256: 84e513725cde09416cdc35286f2cc89000462d572d7eb5e258255dbca0119038
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - java bindings
Description-md5: 44bfca0bbae34bef41c3d87f6522222e