Source
z3
Version
4.8.7-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 28 Jun 2021 07:42:46 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Tue, 26 May 2020 02:27:52 +0000
SHA1 of .buildinfo
979191a2311d26fa112abbd5adb683746a464a68

Binaries

libz3-4 (libz3-4_4.8.7-4_arm64.deb)
SHA1: da9f18c8a97821653a60d659a3ea913f9e7e2830
SHA256: 0298b8f539d1ab1e627c22315c6e2ed8edcbb33138b41d3aacc44e942acdf8ef

Size: 5,890,184 bytes
libz3-dev (libz3-dev_4.8.7-4_arm64.deb)
SHA1: 6398e91bc23f4625ce7567d44eb33e57f577df29
SHA256: 54d5bb33a4da6b3a690befe689c54734313fe4c158040e1363faf90fb3b99d79

Size: 87,308 bytes
libz3-java (libz3-java_4.8.7-4_arm64.deb)
SHA1: ad274c6df431c7a3e9bb601bb6e81357065e98d2
SHA256: 96b713c2b527906b5792514ba34007cebd1d71ec3dde9eb5d653b11a397f6e18

Size: 153,724 bytes
libz3-jni (libz3-jni_4.8.7-4_arm64.deb)
SHA1: fcbacba660092a8ca05c079bcd1a43e2448717a6
SHA256: 4485ef4aaccffff08e4387aba473252a430973e70a9a00cee1551e237081c442

Size: 30,744 bytes
python3-z3 (python3-z3_4.8.7-4_arm64.deb)
SHA1: 28f1456b761f2a9aa62bd0be27bddd714bd6405b
SHA256: 426b5b63b2feb96fdb4991ae7bb2a9e6f6fe5fc63ea085d5fc1c849d161a7c11

Size: 76,520 bytes
z3 (z3_4.8.7-4_arm64.deb)
SHA1: 422e4a9f9811627c1143913c991c6ce84335cbc9
SHA256: 3a35c3eb7d72d759eb2097e2bf6753ccb1ada34257ab1150865ee2ce420c0deb

Size: 5,890,692 bytes

Other checksums

z3-dbgsym_4.8.7-4_arm64.deb
SHA1: b4a98801d370abb25d27905d0acf8884455a60ac
Size: 114,808,836 bytes
libz3-jni-dbgsym_4.8.7-4_arm64.deb
SHA1: 2448293f231441a8b295b5253e0440f22954fbc2
Size: 177,580 bytes
libz3-4-dbgsym_4.8.7-4_arm64.deb
SHA1: 412d28b944dada471023c68bc87f69dd469734c9
Size: 113,459,348 bytes

Submissions

Submitted
Tue, 26 May 2020 02:27:54 +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="1578952552"