Source
z3
Version
4.8.9-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 1 Nov 2021 23:37:56 +0000
Build-Path
/build/z3-4.8.9

First submitted
Tue, 29 Sep 2020 19:00:24 +0000
SHA1 of .buildinfo
771c004a74a8d31d1c9162e3a8c2c537c9da2683

Binaries

libz3-4 (libz3-4_4.8.9-1_arm64.deb)
SHA1: 6e84c540ee585d24d89e2bfdd07faf14bb459ec7
SHA256: 9097b6f00760f97f025f41de0164d73b57810c71c62938bd758d7b93ab14b615

Size: 5,988,792 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.9-1_arm64.deb)
SHA1: 22724e84dd5eea0148b75ecb7495808f5e28514f
SHA256: 53a42e01bec05363b2bb16d2e4e03993738de9a72dfc0ae7c2c20ed6f645f181

Size: 127,668,824 bytes
libz3-dev (libz3-dev_4.8.9-1_arm64.deb)
SHA1: 9739fc36e1f6e2c4c71d7cf8318593a58b105f89
SHA256: 843d76547e44fd5b7dfe24096c9dfca424464d350db053ac5b01ce8fe23de529

Size: 90,756 bytes
libz3-java (libz3-java_4.8.9-1_arm64.deb)
SHA1: fc40daedbc30ffcd330840b2a7431ee38af53c83
SHA256: e674dcb4bee3eaa7cd7bf1f8892bb0af402a1e082fdbb467585fd63b11144d4a

Size: 154,580 bytes
libz3-jni (libz3-jni_4.8.9-1_arm64.deb)
SHA1: 74c803ba2bfce0ab2ed88e564ce62f8f52362295
SHA256: 9f6c2710de2c4592c1ac8d50ca617512d08fe57cee7415284b2900e7ad506dd4

Size: 31,100 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.9-1_arm64.deb)
SHA1: fa014293e3ab4a9aa0d308ae8203a74f6af666fb
SHA256: 293a7a00a2a8f72a8ff89cfb42be6585c1ad9108e3cc0d5d72f3cb630cd886f3

Size: 178,820 bytes
python3-z3 (python3-z3_4.8.9-1_arm64.deb)
SHA1: 2ab27590fb7d5cf0a0ff2e4457536d4f861e4627
SHA256: ba059bab95ffae600e6f1b9095ba788c57ffdae9691be17d6ff4ef5c920247bf

Size: 78,204 bytes
z3 (z3_4.8.9-1_arm64.deb)
SHA1: c4e6f3982f9644990197518701b1fc2675c9f93a
SHA256: 28029fbb8856552b548c2b17fcb209b16342db4677a9847334ab6b6fe847c025

Size: 5,997,232 bytes
z3-dbgsym (z3-dbgsym_4.8.9-1_arm64.deb)
SHA1: fd0f3de31ad52099d1d5b104ac34b64378f8d994
SHA256: 745f991361987e418592cd4a7b57f94fe9db09beb4981675cda1fb4ebd41cde5

Size: 129,265,420 bytes

Other checksums

Submissions

Submitted
Tue, 29 Sep 2020 19:00:25 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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="1600685745"