Source
z3
Version
4.8.12-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 12 Sep 2021 12:40:34 +0000
Build-Path
/build/1st/z3-4.8.12

First submitted
Sun, 12 Sep 2021 18:00:03 +0000
SHA1 of .buildinfo
c141fb695bfc4170748fdfbdfd4ebfb3df8782fb

Binaries

libz3-4 (libz3-4_4.8.12-1_armhf.deb)
SHA1: c5cfae548f3c445fd34b16f6081fe29afa9977d9
SHA256: 7c885260ec7a22fbb687ee93393a2045a0f984b2523692afa350250ffa1a4e5a

Size: 6,024,900 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_armhf.deb)
SHA1: 4d7c30d57cb6dfe19ddee6be65cc3ac2b4d7b684
SHA256: f9b8b375e923a8ab944186e1afe6fffe3e2490770f93bbf982c87408668985a9

Size: 135,093,120 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: 3a12bc7b2c792545712674d520fdb09eb551eb5a
SHA256: 3ac5aa6cd3a292363aa0e8eff415e507b5028bf0916eb62acb53e49901a3b9d2

Size: 30,384 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_armhf.deb)
SHA1: 2b1eeeea5d993bfc72679d6693dddc2fef5dc847
SHA256: e50c1dbff9434a6c36bfb49a2a590ef234da0da8ab97638a2c8325037f52d6b6

Size: 186,496 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: 0b9764d888e1c124a039c6b4d777322331df01c5
SHA256: 673fde8cc2619f0dc21226be6782c3eca907cfe5207467b847bce45d110764a0

Size: 6,040,044 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_armhf.deb)
SHA1: 1798c4f03d9063f035c8f8c52f4371ab1c43d405
SHA256: ed1f3aa8f84b4579aa728ed67ce47b4e349f3cdc05b7db85c56cf069e1edfa51

Size: 136,796,016 bytes

Other checksums

Submissions

Submitted
Sun, 12 Sep 2021 18:00:04 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


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