Package - libz3-4

Package:  libz3-4
apt-get install libz3-4
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/z/z3/libz3-4_4.13.3-1_amd64.deb (Size: 8.2MiB)

PropertyValue
Packagelibz3-4
Sourcez3
Version4.13.3-1
Installed-Size27142
MaintainerLLVM Packaging Team
Architectureamd64
Replaceslibz3-dev (<< 4.4.1)
Dependslibc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 14)
Breakslibz3-dev (<< 4.4.1)
Descriptiontheorem prover from Microsoft Research - runtime libraries
Description-md5bb22dda4e1a1c393001bbd9d7a0b56d9
Multi-Archsame
Homepagehttps://github.com/Z3Prover/z3
Tagrole::shared-lib
Sectionlibs
Priorityoptional
Filenamepool/main/z/z3/libz3-4_4.13.3-1_amd64.deb
Size8560036
MD5sum1c9abad2a783eb84b1898e06fd260f82
SHA25671383373523ef62d47eccf660cf6535c3febcbb3f88e54cb7a43124014b57359

Files in package

  • /usr/lib/x86_64-linux-gnu/libz3.so.4
  • /usr/share/doc/libz3-4/changelog.Debian.gz
  • /usr/share/doc/libz3-4/changelog.gz
  • /usr/share/doc/libz3-4/copyright