libz3-dev (4.13.3-1build1)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: z3
Architecture: arm64
Section: universe/libdevel
Priority: extra
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 602 B
Size expected: 80.3 kB
Size actual: 80.3 kB
Size match

Dependencies

Required package dependencies

libz3-4 (= 4.13.3-1build1)

Suggested packages

Recommended additional packages

None

Description

theorem prover from Microsoft Research - development files

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	c574348a…adee7dde	c574348a…adee7dde
SHA-1	f88a8e9d…5c5118dd	f88a8e9d…5c5118dd
SHA-256	a9dfe5e0…6e4892af	a9dfe5e0…6e4892af
SHA-512	f8c71ecb…f048a77a	f8c71ecb…f048a77a

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/aarch64-linux-gnu
usr/lib/aarch64-linux-gnu/pkgconfig
usr/lib/aarch64-linux-gnu/pkgconfig/z3.pc
usr/share
usr/share/doc
usr/share/doc/libz3-dev
usr/share/doc/libz3-dev/copyright
usr/lib/aarch64-linux-gnu/libz3.so
usr/share/doc/libz3-dev/changelog.Debian.gz