Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 31 Jan 2019 19:35:54 +0000
Build-Path
/build/z3-4.4.1

First submitted
Fri, 29 Dec 2017 14:05:09 +0000
SHA1 of .buildinfo
575c8dbecda8290438b976d65517c56e5586ed39

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 8bfb85059a762d4cab89ac70f63a837488615703
SHA256: 1451ea6c56043dd071260793f73455f0cfaca3e25de76667c8b4e3b32cf90d53

Size: 5,199,820 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 53a982cdef4b7c94321e821afcb0b5a311e91c1d
SHA256: 8ea42eb7c1849992f4865c5ed5943c979881e60b9beebb154ca2ca53114715e4

Size: 40,688 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: c4eb3c174bef60cc4a342a21f14bdbc0dfd5f216
SHA256: 6673021c14012110553585a93e9362259b0dae2bbd49f328b6cfeff3b70f2ae0

Size: 79,248 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: 573e4bc3487c45c4614f3c76eda93f796db9725a
SHA256: 21859610b9017363eaee8442dcd5e3af0985557b84c012d2a08cd551574a7534

Size: 143,512 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: 98aa63cd48ff90a3d918959bee2653fd7fd8bab4
SHA256: 0f311673c4002462a7fae68105a64d2308886d322b0c1cb474d9e8e324792b26

Size: 32,056 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: be96865c5f7a9a677cb69927d8625cbf51a4fef1
SHA256: 301adddcb1cc4046efe61a0b92e35e19b5e4b8edd1b2f025ba3757e0b85fadc2

Size: 450,780 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: e530a2f8f7bfcae9be50094f3d4580a0c1007092
SHA256: 6c36b394cc508f7c3339c40ef39237bf3448517f754b471fe429e3d05b22769f

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: 434eaf8371d4d67169524b4aa67d503d51b0faa8
SHA256: e735ea646dd50e79926470449e1df82f7fdb8a020304fa6edf79e37096eed26e

Size: 5,217,500 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: f47d7b42990ede657c8e8c0a738dce2cf967dd94
Size: 77,203,700 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 4e556ad7f83cf52515175784ecd3553ce622c3b2
Size: 183,896 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: a7cce6a1c42c0f01afe3889963e68d72ece96284
Size: 137,340 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 825dce6d871d5f6457601db5b814b36f4393101b
Size: 76,693,636 bytes

Submissions

Submitted
Fri, 29 Dec 2017 14:05:09 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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