Package: libz3-dev
Architecture: amd64
Version: 4.13.3-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: 602
Depends: libz3-4 (= 4.13.3-1)
Filename: pool/universe/z/z3/libz3-dev_4.13.3-1_amd64.deb
Size: 80148
MD5sum: e4a50afe896614bfb9db9324ae7381e5
SHA1: 2daa5f0abd1d910299c7d23607de24e9419cb47e
SHA256: 2e5ac257bf445377d1fe7a90aba41fcc07b1e8d68599fc8dfb321dd505c9754c
SHA512: d0d1095f3f5138ecac191b87f0225c29e39a3ac7a64624653e6b4b1f948a0440bb7815bc6c4fbcec281549c6bc5e5344d27d0b01977c4c260fb9801e754b4ead
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research - development files
Description-md5: cc721e9da8dbcbc4af793aa1adc1595d