Source
z3
Version
4.8.12-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 11 Sep 2021 17:40:52 +0000
Build-Path
/build/z3-hTnxHr/z3-4.8.12

First submitted
Sat, 11 Sep 2021 18:15:49 +0000
SHA1 of .buildinfo
7ac674e5e740f36a8c83f796c7a76f2e08c2613e

Binaries

libz3-4 (libz3-4_4.8.12-1_arm64.deb)
SHA1: 8e0f98fa42fb69a37ff157f4fdbdcdc0ece2b86e
SHA256: 0d007921b6345f3bdec342a00d73036310c5020e4f65fc8a338d0768852d1c6f

Size: 6,165,036 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_arm64.deb)
SHA1: 73eccc6c9475705292c471265a4569bffa97cbf8
SHA256: 0cddff117736424af1fd025e1ef2d7f3dcc2a824a3e4d4b62650876644c09e77

Size: 140,248,276 bytes
libz3-dev (libz3-dev_4.8.12-1_arm64.deb)
SHA1: 98b13452bad20124a9a01c37327ec3f8ed18172b
SHA256: 89db8f3d3228371407566376f19956d1ddf19cdbd68658f18b2e8cf48f5a61f6

Size: 91,864 bytes
libz3-java (libz3-java_4.8.12-1_arm64.deb)
SHA1: f5a122c9dad6d621695f0f03d1443b4da97019f7
SHA256: 78620232592a3641011c8525646183dec8cbc7cf034bf6a2566ab76a028620db

Size: 159,952 bytes
libz3-jni (libz3-jni_4.8.12-1_arm64.deb)
SHA1: c11b20acd2f68ddf3ff3c9005297e732f84b9584
SHA256: 25d5b9c4daff80d868e1e71c2a79701b24bef081022c0fcc631fb0b00414c578

Size: 31,396 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_arm64.deb)
SHA1: 2a0f4754f6dce3647bff7f748ca789117fa872a7
SHA256: f55c0fc7d2152354b7fd0cbd8cee6398b455ca9cad8dd3d674f9062f83722f56

Size: 178,348 bytes
python3-z3 (python3-z3_4.8.12-1_arm64.deb)
SHA1: d410124b54aaad58344f6f5c58a4697ebd9093e2
SHA256: aa00e436e7f83306658285e7bcdf6a324d04bf3086a32cb395cfc820def333a9

Size: 78,336 bytes
z3 (z3_4.8.12-1_arm64.deb)
SHA1: a454174e9d7deb45faa579683ccf26587b1157e6
SHA256: 111672e659e698fb129857425440b48d05abee61f5aa3a55a94d59a23e525c67

Size: 6,174,732 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_arm64.deb)
SHA1: a8a3f827e39c121acc0650287324814ba3934079
SHA256: bb6cfa6c34e4a876cc665f5db236977bcb5893702498c196da2e9cf1511c3844

Size: 141,932,112 bytes

Other checksums

Submissions

Submitted
Sat, 11 Sep 2021 18:15:50 +0000
Signed by
0x9635BBF7FA2F0B37

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1631375903"