Source
z3
Version
4.8.10-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 5 Mar 2022 11:04:36 +0000
Build-Path
/build/2/z3-4.8.10/2nd

First submitted
Sun, 31 Jan 2021 04:42:50 +0000
SHA1 of .buildinfo
bd4dbf8927564ad8361304ef45b80654b5fccfe0

Binaries

libz3-4 (libz3-4_4.8.10-1_arm64.deb)
SHA1: b82482a9d3dc7c10c353ec80d0b08e201942b3ac
SHA256: ae1ea58ecfdd4b5ec53d734e60ac2df37fddb11888b7730a19335f1a9b09f489

Size: 6,116,964 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.10-1_arm64.deb)
SHA1: be1186d61543c52201be17a24887e106fb299340
SHA256: 9578dc52995dbd1c9e12010520c86501ecccbd9fb8a34e625859f8b6ef2846a1

Size: 132,466,812 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: e7f02cb940c90a2ea8814e5eee063b11ab95ea83
SHA256: 12740b22b8f747b1ae47bd5c45eec3e1c0af119756fb9505c724e6d419db24f2

Size: 30,808 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.10-1_arm64.deb)
SHA1: 941d0c3919c1a5952ddb37fbf11416484e21df23
SHA256: 797e655c9c2d55c187aca487f3ab75dc50c63427dd92c0402d64771189d99fe8

Size: 178,312 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: 50ca96a2974ed29bb58a09ea184895a1cd8a0ec0
SHA256: 53d210e6090825edcb4b0f4673bea5bf29c527d266840f651553e2308251bad9

Size: 6,125,564 bytes
z3-dbgsym (z3-dbgsym_4.8.10-1_arm64.deb)
SHA1: 362efd520055c1720e27a25d7d358eb987aea9bc
SHA256: 2c84b95a81bc8e2cdc5948864a2d9163cdfb2f552a272e0204652a0f2be62d09

Size: 134,123,968 bytes

Other checksums

Submissions

Submitted
Sun, 31 Jan 2021 04:42:50 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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="1611938649"