Package: libz3-jni Priority: extra Section: universe/java Installed-Size: 182 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Michael Tautschnig <mt@debian.org> Architecture: amd64 Source: z3 Version: 4.4.0-5 Depends: libz3-dev (= 4.4.0-5), libc6 (>= 2.4) Filename: pool/universe/z/z3/libz3-jni_4.4.0-5_amd64.deb Size: 30916 MD5sum: b1d455bc26530f1646b901b0f82cb0a5 SHA1: eff74ec6ef00c700da069b7f894a99c84724b3ab SHA256: 92c06d56a36d80b3c708af7e363b1ef9792f08ec3c41e997ad4cecd7c3db1818 Description: theorem prover from Microsoft Research - JNI library Multi-Arch: same Homepage: https://github.com/Z3Prover/z3 Description-md5: 4a0ebb4141bc5c2e1d6fcd8ca49ed285 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu