Source
z3
Version
4.8.7-4
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 15 Jun 2021 11:39:15 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Wed, 13 May 2020 05:52:05 +0000
SHA1 of .buildinfo
c672abe8469d506868ca0524a6c9c47517636432

Binaries

libz3-4 (libz3-4_4.8.7-4_i386.deb)
SHA1: 19c152531a4dc98f51d4f23eb84b85ed3c85f501
SHA256: 59c67bce1c4084c78e08bf7f5fd10c17cbb9e9d123f99a2f4df6ff9d98487332

Size: 7,407,528 bytes
libz3-dev (libz3-dev_4.8.7-4_i386.deb)
SHA1: 232703495847b4b725c77c616bc2f3c8bdf8ee6b
SHA256: 6879b5b045c7a8af1b6c0f4f0d12cff5f4f2592f9622b6727905f203db549651

Size: 87,308 bytes
libz3-java (libz3-java_4.8.7-4_i386.deb)
SHA1: bcde007a2fefeaa20573001079ec5e8037c0176f
SHA256: a78af9f3dad32ca4eaa292aa02042612e0ec767b95b0643a0ad4917bc5a28a4f

Size: 153,724 bytes
libz3-jni (libz3-jni_4.8.7-4_i386.deb)
SHA1: da50055950092f3717420146c14ea0282fc11569
SHA256: 4f76c31b8b9b67397052d983575d01ebcafc1010b3abf37c3e2c53bd6e202c8f

Size: 39,884 bytes
python3-z3 (python3-z3_4.8.7-4_i386.deb)
SHA1: 95e80d18a1a75123495be9f71c04a38d8e007505
SHA256: ae7b834cdf33b017e9090e564eb79b7c17cead351a2eb1c1ad47471e89bde694

Size: 76,520 bytes
z3 (z3_4.8.7-4_i386.deb)
SHA1: 8d7f6b52e12c0ef3747c111831d25de50244af6e
SHA256: a95990774e7585b4925075ffd7ea29bffd0736fe4acfc730e1433d840e69c836

Size: 7,421,828 bytes

Other checksums

z3-dbgsym_4.8.7-4_i386.deb
SHA1: 4fa80d3188e0732da244e1e8213dc81511ed39ef
Size: 108,786,744 bytes
libz3-jni-dbgsym_4.8.7-4_i386.deb
SHA1: 264e6b0d5d151c53184861c605f52807a9b47759
Size: 142,668 bytes
libz3-4-dbgsym_4.8.7-4_i386.deb
SHA1: d9ae07469f74410ec803f67c350bf58434902846
Size: 107,455,320 bytes

Submissions

Submitted
Wed, 13 May 2020 05:52:06 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1578952552"