Source
z3
Version
4.8.7-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 26 May 2020 02:26:19 +0000
Build-Path
/build/2/z3-4.8.7/2nd

First submitted
Tue, 26 May 2020 02:27:55 +0000
SHA1 of .buildinfo
7ceedfd63e34fc14eb49208330c605d91ba32d09

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: 243429c8a57302bff41c9669c2a4d46887290b61
SHA256: a7469023ce96a9748a09255e0ea60fa9e0f791d0452f2f1e9c7f5452727abc03

Size: 30,920 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: 9400bbcf24ee294c4edfed1471fcbf3ea4bb09e9
Size: 177,576 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:56 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"