Package: libz3-dev
Source: z3
Priority: extra
Section: universe/libdevel
Installed-Size: 602
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 4.13.3-1build1
Depends: libz3-4 (= 4.13.3-1build1)
Filename: pool/universe/z/z3/libz3-dev_4.13.3-1build1_amd64.deb
Size: 80272
MD5sum: 35f7751027859ec0dbf820e9f14b0416
SHA1: da3d37643d28985a39204eca15b8a660094b5af4
SHA256: 648acd93c9a3c5a53f611a69eec39d4099167bd7dcd685751a74d277f4a30b62
SHA512: 5a9d543810f7d1f09c69e6b2ce80affcf5bdc0803a1fdf97cb16c72bb6f84697a1e5e67210479c3ceeece09708aa84f5fd6887db0ecf8f43d6ac45f089cc826a
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