Package: libz3-dev
Architecture: amd64
Version: 4.8.12-1
Multi-Arch: same
Priority: extra
Section: universe/libdevel
Source: z3
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 533
Depends: libz3-4 (= 4.8.12-1)
Filename: pool/universe/z/z3/libz3-dev_4.8.12-1_amd64.deb
Size: 72178
MD5sum: 65c5129122d55969937aa032a4a34ceb
SHA1: eb6fb681d08ec1daced241aa100ec4c3e1eed7c6
SHA256: 5a50bcae93cb3b2a8384300987071571fee795474d25d92e4d26b68cecf881d6
SHA512: d112ba8361daaeb7e1c93dd1dcd2b6dbbce805a009bd7156c86a234f077d74103b399d18137d21be57502c7557fee5152cf5eb540be504d20e0eb607a827ac29
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - development files
Description-md5: dc81d51d606e62b66bd716ab76d0526a