Package: libz3-jni
Priority: extra
Section: universe/java
Installed-Size: 219
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: i386
Source: z3
Version: 4.4.0-5
Depends: libz3-dev (= 4.4.0-5), libc6 (>= 2.4), libstdc++6 (>= 4.1.1)
Filename: pool/universe/z/z3/libz3-jni_4.4.0-5_i386.deb
Size: 40718
MD5sum: fecfb006379fba2c6ec507b38bd6286c
SHA1: 4e95464eab559474e8eb76aef23add05ad3e045c
SHA256: cce3b28ffcfca678fb3ae7be1288b398d8624733248503d3fed65524316030d9
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