Package: libz3-dev
Architecture: amd64
Version: 4.8.12-3.1build1
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: 532
Depends: libz3-4 (= 4.8.12-3.1build1)
Filename: pool/universe/z/z3/libz3-dev_4.8.12-3.1build1_amd64.deb
Size: 72222
MD5sum: f3211264d7ba431606d4e1b40b8ca21c
SHA1: 3f29b20b08b058128a7d054c5d5bf6251ebac120
SHA256: 743566bb4a115cd64a1083bdbc6442a64ff9bef59a17ec22cd2506024ce35103
SHA512: 18c4b65f2af5da993c7f911266d8050f6f8dd93671a478c23313beb1e56184a0762537ad40ed0d3cf57325404fcef95d9ca53a0917f52c0702142bb37fb513a5
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - development files
Description-md5: cc721e9da8dbcbc4af793aa1adc1595d