z3_4.8.7-4_amd64.buildinfo (view)

Source
z3
Version
4.8.7-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 16 Feb 2021 05:15:13 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Tue, 14 Jan 2020 22:53:00 +0000
SHA1 of .buildinfo
c8391654c7a1cff29e5772b3c51884ea75d2dc6f

Binaries

libz3-4 (libz3-4_4.8.7-4_amd64.deb)
SHA1: 8ba14668ff0d96da47e16e437554729efb0e057a
SHA256: 83c75f17c768396de13aeec45da3b128adbb589221e57c0e6d053ad6d14ef6a8

Size: 6,789,644 bytes
libz3-dev (libz3-dev_4.8.7-4_amd64.deb)
SHA1: 651416727dcfe43e67854f2bf9304278415b0428
SHA256: 378ff72b7f1b318c52ff387c83f6b6393145394b5a0996f0fcf3608b24ab7ae0

Size: 87,312 bytes
libz3-java (libz3-java_4.8.7-4_amd64.deb)
SHA1: 6095af03a39bb5bf2e0d17e20b8b6fc747e2c9b6
SHA256: bf90e1dfb365d2b21ab155ae6db05b804c73a43977ac39bf8ca5ff80a015d365

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_amd64.deb)
SHA1: 18925c2054eff234dca873fa9e84697a583b2ac8
SHA256: 2a4ef3aa8bf24adb1d92cc9d438f383190a48d211f10161e3eb0325c17b99410

Size: 32,604 bytes
python3-z3 (python3-z3_4.8.7-4_amd64.deb)
SHA1: f5af2628bdb898e195b114c3b1dd421fb0f78158
SHA256: 255f728fc3c3480e8009f5b9a99ba740d2b4ffb845372638652ad6af2465fb8c

Size: 76,520 bytes
z3 (z3_4.8.7-4_amd64.deb)
SHA1: 293a6bf3565d5242608a4f685c865977d90763fb
SHA256: bb584ef0f6f000b0488b1d4708d7a124d8e1f6254c0b72b9838b3d116e784e2c

Size: 6,801,176 bytes

Other checksums

z3-dbgsym_4.8.7-4_amd64.deb
SHA1: ecd4465b49ed1f5fa659d9ac7b841fb33654930b
Size: 117,900,928 bytes
libz3-jni-dbgsym_4.8.7-4_amd64.deb
SHA1: e069c193d4412e0c0265b7c43a877b7aeaa0e5eb
Size: 179,036 bytes
libz3-4-dbgsym_4.8.7-4_amd64.deb
SHA1: 197ad0c3771ed2657f42d9a788ab37afc5492a31
Size: 116,557,892 bytes

Submissions

bkgghzq3
Submitted
Tue, 14 Jan 2020 22:53:01 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578952552"