Source
z3
Version
4.8.9-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 1 Jan 2021 02:02:41 +0000
Build-Path
/build/2/z3-4.8.9/2nd

First submitted
Fri, 1 Jan 2021 02:03:49 +0000
SHA1 of .buildinfo
36b246da9af9e71061e994d6b3b81573a8aaabc3

Binaries

libz3-4 (libz3-4_4.8.9-1_arm64.deb)
SHA1: 73364c121293325fb4b129be82766681e9d9a678
SHA256: ab46bc1d7ec65469aa5219e2513cddc29fe3349176bf4ddee90297b0f6a3a5d6

Size: 5,972,368 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.9-1_arm64.deb)
SHA1: 3da740a77833e654bedf6ae9e35b69f0098ac714
SHA256: db62319a907e685c3000a0cc262894e883195ea52ef7cbd74b09fc5a17733b3e

Size: 127,632,968 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: 811834613755a5d3f48e18c4b329ccf15cf5f8fc
SHA256: be1c2529aa97dbe8f875edf158644d35ac5df2eb53c96bcca8e925c10e2cf3d0

Size: 154,580 bytes
libz3-jni (libz3-jni_4.8.9-1_arm64.deb)
SHA1: 936cf49d89f6d3788e901d4efbe3aedd2665182d
SHA256: 2eb97b268debaf96a97c11b260b96051a3574573e8bef50eba4535833c6e1074

Size: 31,024 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.9-1_arm64.deb)
SHA1: 912c23aad8aab8ae53031dd60b0dab70cbdfb671
SHA256: f1dcd590791fb3d778f4fb50e0237e64c80cad53134c25f3c4b8ef61b4ae1225

Size: 178,688 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: b3a0111ffbd0cead20ce0a84939febcc1b692e0b
SHA256: a50d4741568d346c6a0cc35e74d416318c686497544a3f2b5f26db01e9bf7d65

Size: 5,978,200 bytes
z3-dbgsym (z3-dbgsym_4.8.9-1_arm64.deb)
SHA1: 5977499506a879892b97b3a0546a70feb86fcef3
SHA256: 9d3ffb563ac310e9c7e1f79655e8b88731e50a5a72718b43911a2e5f6137bdfd

Size: 129,218,852 bytes

Other checksums

Submissions

Submitted
Fri, 1 Jan 2021 02:03:49 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1600685745"