Package: libz3-dev
Source: z3
Priority: extra
Section: universe/libdevel
Installed-Size: 600
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.13.3-1.1
Depends: libz3-4 (= 4.13.3-1.1)
Filename: pool/universe/z/z3/libz3-dev_4.13.3-1.1_amd64.deb
Size: 80262
SHA512: fa4a2d74d24a3aae63f979a09e8682c1ef9af7b26b1d9ba313dbede4c5b2e1d8c36c6036bde3c42b4f8f362071a3e44091bd3d428828ead15c8be3c61759b0c0
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - development files
Description-md5: cc721e9da8dbcbc4af793aa1adc1595d
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Multi-Arch: same
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug