Package: libz3-java Architecture: amd64 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_amd64.deb Size: 143552 MD5sum: 9ba7addd52b22b469271c10b1d68393d SHA1: 2e4e7c73addc226a047f435956aca4e73742e445 SHA256: 0c1c5591967515d3d5204bf031eaab84d073f4cd293c511e19ce0ee13143063b Homepage: https://github.com/Z3Prover/z3 Description: theorem prover from Microsoft Research - java bindings Description-md5: 44bfca0bbae34bef41c3d87f6522222e