Source
z3
Version
4.8.9-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 29 Sep 2020 22:36:24 +0000
Build-Path
/build/z3-4.8.9

First submitted
Wed, 30 Sep 2020 02:43:27 +0000
SHA1 of .buildinfo
c6f56e582e29172b51dd0a66be0719062f8db155

Binaries

libz3-4 (libz3-4_4.8.9-1_armhf.deb)
SHA1: 71515690f9fde8fd8930e8799ff11e3094dc2ff6
SHA256: 0f6c95efc929a7ac4e1892f28ed2d8d5b5ab2a37843d4ff50655e1f56cc1b2a8

Size: 5,818,900 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.9-1_armhf.deb)
SHA1: d5f00c4c34b7ef3f8facdf3f90002663c010462e
SHA256: 213047d95d3b3b193fabb6fab5a728b7ba669a62133d2dadfaeba072b78bb9cb

Size: 123,577,620 bytes
libz3-dev (libz3-dev_4.8.9-1_armhf.deb)
SHA1: 3ccfaa407a2f424d7aa5f0e799a71d73b8bd473b
SHA256: 20f18462e2555d830432ecc2541d12e09084783307f09ed42a9f62ff3e85af5d

Size: 90,760 bytes
libz3-java (libz3-java_4.8.9-1_armhf.deb)
SHA1: 5bc0fef0b1635626bf2137cebb6eb9c637deb79b
SHA256: 5d162b4e14f42e872aabe16408b35cf79dfd49b35f6ed3134ebc7b72a2098387

Size: 154,580 bytes
libz3-jni (libz3-jni_4.8.9-1_armhf.deb)
SHA1: 83dd0cab8578acdd99966b814c0117619c24fe92
SHA256: 0e1fa4c5e755838d3b656e9b23013225bf9cc9eac8b59d7a6e266d9a15d8faee

Size: 30,428 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.9-1_armhf.deb)
SHA1: 46b4d2ac1641c7a153d0d15993b0e3fa7447160e
SHA256: 0bcd6b28c891ee04c4babacf82c811f1d8ffba14c4ab9e6babf4eefc4715578c

Size: 187,200 bytes
python3-z3 (python3-z3_4.8.9-1_armhf.deb)
SHA1: 2d0f1cf7d63f374e44700c369e6fd8b744d7871f
SHA256: 6a54dc366637e6fe86b341e994d3b9c83e1cb59620c6ddc47874258c40f98085

Size: 78,204 bytes
z3 (z3_4.8.9-1_armhf.deb)
SHA1: 1996b6ebc4b5a7745b94e856bef9bc503df0c736
SHA256: 24940c4536b063f6e52939e96ae2f806a86045c489153970cabeee08e35771d9

Size: 5,830,344 bytes
z3-dbgsym (z3-dbgsym_4.8.9-1_armhf.deb)
SHA1: b6982e3b34e7ceca7bc99349beb00d9edb5d6f75
SHA256: f7b838eaf09db66c3c51422b4be1b78e2583d5d84be13498a77cde4756519175

Size: 125,158,128 bytes

Other checksums

Submissions

Submitted
Wed, 30 Sep 2020 02:43:28 +0000
Signed by
0xF8FAD05CE1845E42 wbq0 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1600685745"