Package: libz3-dev
Architecture: i386
Version: 4.4.1-0.3build4
Multi-Arch: same
Priority: extra
Section: universe/libdevel
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: 454
Depends: libz3-4 (= 4.4.1-0.3build4)
Filename: pool/universe/z/z3/libz3-dev_4.4.1-0.3build4_i386.deb
Size: 64236
MD5sum: 0a2e8760af31e601e9c57349cd312f20
SHA1: 5538a6c690f2dfce4f35d6407fd59da7b8254387
SHA256: 60244ca3b8fa2eed22c470768a784bbbe7ac3915ecd39e2ed1bd3d8bf9a4ed3c
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - development files
Description-md5: dc81d51d606e62b66bd716ab76d0526a