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
Wed, 2 Jun 2021 16:36:59 +0000
Build-Path
/build/z3-4.8.7

First submitted
Thu, 30 Apr 2020 10:36:46 +0000
SHA1 of .buildinfo
4c093f9c7bd0ef6cca6fc7f044353eb4c4dc7ba0

Binaries

libz3-4 (libz3-4_4.8.7-4_amd64.deb)
SHA1: 599eb5031fdb185cdcc4190ec0c5f77b4a58b9d4
SHA256: d1596be9d4acd298489be176658666934ae5f952dde238cf11aebaec70df462b

Size: 6,792,060 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: 71fda598b5d6ed321b83df9ef37d80973277a14c
SHA256: 03b4f55632a502ccc5010c7ef25616e3a8c43d04b7684e3197765ca89c8d5c24

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

Size: 32,552 bytes
python3-z3 (python3-z3_4.8.7-4_amd64.deb)
SHA1: be8d09971b7066ebbc3d3cb7859c67c21f81ef08
SHA256: 5a7633fa6cd4695d94fdf9c03a33d7bc6a0cec045967c18ba786e39b3f6e5d6d

Size: 76,520 bytes
z3 (z3_4.8.7-4_amd64.deb)
SHA1: 9ad0e872ca18a47bc5c8e558b8c807c326981cff
SHA256: 2c482c6d8bcd8ba4dd5a70ade5f115c11e869377c47bf5ab97d4bb47bfbf4e97

Size: 6,800,376 bytes

Other checksums

z3-dbgsym_4.8.7-4_amd64.deb
SHA1: be93860f8bff5b31d0f86f376368af3adfb40196
Size: 117,908,756 bytes
libz3-jni-dbgsym_4.8.7-4_amd64.deb
SHA1: 52c3a769688a62c1e7d7a0af62ddb7031f456262
Size: 178,876 bytes
libz3-4-dbgsym_4.8.7-4_amd64.deb
SHA1: fb640bea378fe130463d5f96be894e9c72698d7a
Size: 116,559,336 bytes

Submissions

re9pbahx
Submitted
Thu, 30 Apr 2020 10:36:46 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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"