Package: libz3-java
Priority: extra
Section: universe/java
Installed-Size: 157
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Architecture: all
Source: z3
Version: 4.4.0-5
Depends: libz3-jni (>= 4.4.0-5), libz3-jni (<< 4.4.0-5.1~), libz3-dev
Filename: pool/universe/z/z3/libz3-java_4.4.0-5_all.deb
Size: 137208
MD5sum: aa14f591eba140610b79219e4f18dd0e
SHA1: e83cf71df9265c6ed3f8f0ac13d946061f56d9ac
SHA256: d82a89855714a292413857cd93a94f46ce87f1c3ad17caef04d37235b6e73257
Description: theorem prover from Microsoft Research - java bindings
Multi-Arch: foreign
Homepage: https://github.com/Z3Prover/z3
Description-md5: 44bfca0bbae34bef41c3d87f6522222e
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu