Source
z3
Version
4.8.10-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 6 Mar 2022 22:16:50 +0000
Build-Path
/build/z3-4.8.10

First submitted
Mon, 1 Feb 2021 15:54:42 +0000
SHA1 of .buildinfo
f786172b1e74d7eb1ce81e65f848a8a07fd7a676

Binaries

libz3-4 (libz3-4_4.8.10-1_arm64.deb)
SHA1: bbcdd174cab10ba438b7cc8e45d7aedaa25bf78b
SHA256: 28dcda374a7a4a50e8b8ccc1a98b70b90492a0c767847b96d2c35ab81226eece

Size: 6,116,836 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.10-1_arm64.deb)
SHA1: 4045d9692487279d0e674d687686cad81116208a
SHA256: 6e4348081265ad5d30f4348e137c7f47d343fcadfc3dcc7050a2af9c51619f98

Size: 132,462,920 bytes
libz3-dev (libz3-dev_4.8.10-1_arm64.deb)
SHA1: b87303546fe02b2ea9222f9e7a6e9067faf16a03
SHA256: 4739e62c1f39c35f2382f15347b588245a71bd12c8628a8caa6639fdc1774b6c

Size: 90,832 bytes
libz3-java (libz3-java_4.8.10-1_arm64.deb)
SHA1: 9b30fea3175506fc5f5b038da731ff5883049da7
SHA256: b7c32e0e0b0c882324396b1492692570650ea7cfb68448afbe343433d2928d7d

Size: 159,336 bytes
libz3-jni (libz3-jni_4.8.10-1_arm64.deb)
SHA1: ec4a10e3ed644df6860800d042f4ae4e1dfdb995
SHA256: e4a8e2d1d2a34537c041d65524a46e9ebe5bad78dccbc616add669490ec7477f

Size: 30,952 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.10-1_arm64.deb)
SHA1: 8b30eaae51e0ba0205a6d3576d8d8bf038e48157
SHA256: f852bc4077f66c6b4afe65d5fda0fe95d80d67fc1764bde47a2075ebfa3b9af3

Size: 178,396 bytes
python3-z3 (python3-z3_4.8.10-1_arm64.deb)
SHA1: 85e31f556953cc3cb7d3a67bd78fad768930cdd4
SHA256: c57d10338197c81ff261b8c8931b0a51c10df1b78cacb5b3c5c989c63c307b9a

Size: 78,100 bytes
z3 (z3_4.8.10-1_arm64.deb)
SHA1: 964a000fa978db9c3c178e546d451814c4f2700e
SHA256: 016fee74cf299bd09489ccfec8acd77837704c1b744ff5c5a51b6c0861db4789

Size: 6,125,332 bytes
z3-dbgsym (z3-dbgsym_4.8.10-1_arm64.deb)
SHA1: ffe1243b241f7eb32cf9e4523ae0ece4723988ac
SHA256: 07aa4a63691cf170f612ebfa41d759944550d8c4cfb05d135dc2a7cbfa0f63ff

Size: 134,129,344 bytes

Other checksums

Submissions

Submitted
Mon, 1 Feb 2021 15:54:42 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1611938649"