libz3-dev (4.13.3-1.1)

3 versions available in kali/kali-last-snapshot/main/armhf

Details

Core information at a glance

Distribution
kali
Origin
kali-last-snapshot
Repository
https://http.kali.org/kali
Codename
kali-last-snapshot
Component
main
Source
z3
Architecture
armhf
Section
libdevel
Priority
optional
Maintainer
LLVM Packaging Team <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
600 B
Size expected
104.5 kB
Size actual
104.5 kB
Size match

Dependencies

Required package dependencies

  • libz3-4 (= 4.13.3-1.1)

Suggested packages

Recommended additional packages

  • None

Description

theorem prover from Microsoft Research - development files

Tags

Package classification tags

devel::library
role::devel-lib

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5a50fe175…45142396
SHA-15fd1427a…5cdacca4
SHA-256b24a7a7b…1d381df1
SHA-51269fcd746…a6805350

Contents

Files and directories included

.
usr
usr/include
usr/include/z3++.h
usr/include/z3.h
usr/include/z3_algebraic.h
usr/include/z3_api.h
usr/include/z3_ast_containers.h
usr/include/z3_fixedpoint.h
usr/include/z3_fpa.h
usr/include/z3_macros.h
usr/include/z3_optimization.h
usr/include/z3_polynomial.h
usr/include/z3_rcf.h
usr/include/z3_spacer.h
usr/include/z3_v1.h
usr/include/z3_version.h
usr/lib
usr/lib/arm-linux-gnueabihf
usr/lib/arm-linux-gnueabihf/pkgconfig
usr/lib/arm-linux-gnueabihf/pkgconfig/z3.pc
usr/share
usr/share/doc
usr/share/doc/libz3-dev
usr/share/doc/libz3-dev/changelog.Debian.gz
usr/share/doc/libz3-dev/changelog.gz
usr/share/doc/libz3-dev/copyright
usr/lib/arm-linux-gnueabihf/libz3.so