Source
z3
Version
4.8.12-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 12 Sep 2021 17:17:47 +0000
Build-Path
/build/1st/z3-4.8.12

First submitted
Sun, 12 Sep 2021 17:34:43 +0000
SHA1 of .buildinfo
309df31a327db8165c221463e323fa6fc8164dd6

Binaries

libz3-4 (libz3-4_4.8.12-1_amd64.deb)
SHA1: 5ffe47ac5eedb7c28a789c7d9725633ea1ae9bf7
SHA256: 4b4287893fea5fd908401fc78f96b3ca603fa2742d85ee8f7f778b3f34cc10b2

Size: 6,997,688 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_amd64.deb)
SHA1: 5e967858da2aeb253e83113b7dcecb66f6494c75
SHA256: 9726f47b35d53089af0c76b98f5f78c035dcd7a68bcbdd0e654fd1c8b607c8f9

Size: 142,807,696 bytes
libz3-dev (libz3-dev_4.8.12-1_amd64.deb)
SHA1: 4a9e6b9d22b7df2ec1a3494226f4b1f193ff43be
SHA256: 485ccb95d3e72f0177e37296809a84046f100a769d528e7787d1edf139b3746c

Size: 91,860 bytes
libz3-java (libz3-java_4.8.12-1_amd64.deb)
SHA1: 7f3e805c540dfdfa7802c9f9b704cdf12d8337a8
SHA256: 0d34a1c8e243abfb4eeafa76e958a22e49facbb0f5edca12ac7273b99f95b4d5

Size: 159,952 bytes
libz3-jni (libz3-jni_4.8.12-1_amd64.deb)
SHA1: bc1d0aba74ac536036732f07c9bdb1c36835d172
SHA256: 4ae433877bbb4065e6d9ddee31343e0a8cec7d70f12f14c59330c433e845fcff

Size: 32,940 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_amd64.deb)
SHA1: 7d020498c1e7f6c88e90ab5f9d7a5c607c4b4e4c
SHA256: 0276816f4f19f8bf8b50c9e981d49bc8843b44ef958bd125b6bc62cbc6405334

Size: 179,768 bytes
python3-z3 (python3-z3_4.8.12-1_amd64.deb)
SHA1: 543c575e97e0a60133674cc2b1c5e0d2b04aab81
SHA256: fcdf515ed83b0807fd3c5abb82137c636aaa28bee51107b307488bf388e091e6

Size: 78,336 bytes
z3 (z3_4.8.12-1_amd64.deb)
SHA1: a9a53b4a5a2534cb347c2cd5451ced76fc6cc205
SHA256: 2725fce87bec2c1cdc95a9d09ce6cf1ec726330eee56079b9c30099d8b5971cc

Size: 7,012,312 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_amd64.deb)
SHA1: 61bdf352f2e7ddf8a04cdb3c79e53e594aaaf3bf
SHA256: 53e72f4510c63bb5ab5c371859c9df8ae40d29a7f7cdd21431bd378a58d62fa4

Size: 144,531,264 bytes

Other checksums

Submissions

Submitted
Sun, 12 Sep 2021 17:34:43 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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