Source
z3
Version
4.8.12-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 16 Oct 2022 07:14:32 +0000
Build-Path
/build/2/z3-4.8.12/2nd

First submitted
Mon, 13 Sep 2021 00:54:20 +0000
SHA1 of .buildinfo
9d8c4f0fab885e69d6ed132bbc58cd5eef56a469

Binaries

libz3-4 (libz3-4_4.8.12-1_arm64.deb)
SHA1: 1a0d668419b39cfc2dc19777bbfee805dc66dfef
SHA256: 43d4fefceb1a225cf142075715557eac0e6321a289b1e04d1ab70377a23d3dc8

Size: 6,164,664 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_arm64.deb)
SHA1: 5b6d749e770da6fd55f773bcdf1f4f5f91b810ae
SHA256: aaa7a52db7b4e827a9b6313c7893b80c55f4037f7c5fe56c8bb498b04317a5c1

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: 34af7c0f894f7189af673b34b104b2fe7e243fda
SHA256: f6c2d97934d0a39ae368d029c38eb901ecb7a87e6876f43f5a03a206af3c7fc0

Size: 31,280 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_arm64.deb)
SHA1: 3f2312285c10609bc07a6fefff59bee120784e01
SHA256: 38340cafd2d78f8062f9c5834d129890fff82ce2572fb9a7efc02673c3660515

Size: 178,328 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: e8bd86c5225e4ff81c8610088bf0e829d56f6d97
SHA256: 69427bb76e088f7ce9d23c1ccbd495e5c52ccfdd4d816d40eccfaae48fcbe278

Size: 6,174,576 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_arm64.deb)
SHA1: 5abf4a3e5ccf7cbe4520ec3eb88915ceab88341d
SHA256: 4a6cbbf04832061e90b234fc33286e0320615293f47d933c28838b507b9c25d9

Size: 141,932,112 bytes

Other checksums

Submissions

Submitted
Mon, 13 Sep 2021 00:54:21 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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="1631375903"