Package: z3
Architecture: amd64
Version: 4.13.3-1build1
Priority: extra
Section: universe/science
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: 18943
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14)
Filename: pool/universe/z/z3/z3_4.13.3-1build1_amd64.deb
Size: 6984392
MD5sum: 69263af5d49f7aa2a64a719c0613f25b
SHA1: 805d99db6a427727500515f446738c389f8af1c5
SHA256: 4d980e04f158f7c0aeb1a2d0f02a887d6099e0c910c39c2210bb5c5153dc93c1
SHA512: f35e1d192cb449c8fd3e251ecc84ad72433dd105b2b344ee5dcfb902ad102694c6875e11634e8f19070c011b21e5a0971642d6b268a184a191283e81b6add7d5
Homepage: https://github.com/Z3Prover/z3
Description: theorem prover from Microsoft Research
Description-md5: b7964a14a42d323bd19347c2df64d599