Source
z3
Version
4.8.12-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 22 Sep 2021 09:43:13 +0000
Build-Path
/build/z3-4.8.12

First submitted
Wed, 22 Sep 2021 13:28:25 +0000
SHA1 of .buildinfo
bdfcfbeb9abdad4293548a1ab8abe0837af1a2be

Binaries

libz3-4 (libz3-4_4.8.12-1_armhf.deb)
SHA1: bac144293e592deee20bd6a7bfd7027a3cae42bb
SHA256: 2603e53a7241d153f254d2e2e25085354cc8b4868bbd159d1fd8fa571b597e82

Size: 6,023,900 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_armhf.deb)
SHA1: eb3a380dc9d2f9dec8f072e27646c1e7940f83bf
SHA256: f8d9fb8d61a9b75fc0b6e437805e1b5d23045499a1239f681456742e3beb0a5b

Size: 135,094,668 bytes
libz3-dev (libz3-dev_4.8.12-1_armhf.deb)
SHA1: 555737be7aa58df7ef7c5b2f35bc5321b5218441
SHA256: dcb155933af058cc28d7d498f3b46ed6a20fbac6e4bc7d058fff7407c50558e6

Size: 91,864 bytes
libz3-java (libz3-java_4.8.12-1_armhf.deb)
SHA1: eef053e5cdc9682b1438c9772648f1ef82753d05
SHA256: 58e205a0d09518f2859e5eedc8ebde3ab917bbecf964ab868f550eefb002ca71

Size: 159,952 bytes
libz3-jni (libz3-jni_4.8.12-1_armhf.deb)
SHA1: 4aa90350dfcb331232b217fb59802ef4428721e4
SHA256: e9bf46da5cbd02c925cce98d620d1054ec8a659137ca584db56d86734260df53

Size: 30,396 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_armhf.deb)
SHA1: a7a232cd76ebb687ddfa39482366add5382cd1ab
SHA256: 39a3c0d9f48070cf9e9ae1b9b864720ce6170e6d1e91ab04a027fb360eb54a40

Size: 186,592 bytes
python3-z3 (python3-z3_4.8.12-1_armhf.deb)
SHA1: c7ea1842e38a3ce0f4ac41389ad8bd732cc5e2a6
SHA256: c0241e8d2a210b84e3302153434921bb33c2a7945c3685c98548886e8ff8eb63

Size: 78,336 bytes
z3 (z3_4.8.12-1_armhf.deb)
SHA1: c28998d0c1f942d3ea4a2e2cfbd9aa7ac480f7a4
SHA256: d7e48072c4417d1a857f12e76c877814c94b97d4b87e5679b591b66333edc93c

Size: 6,038,880 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_armhf.deb)
SHA1: 06001b14f1557433d5215a49c5bde82ab3fdb9e0
SHA256: 7b6136bc7fa19a8bed5d2c3dd310dd5ece19160a3a4370eacd407b8866124cef

Size: 136,805,816 bytes

Other checksums

Submissions

Submitted
Wed, 22 Sep 2021 13:28:27 +0000
Signed by
0x58023F0702D8EEDD

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1631375903"